Source author record

Christian Herrmann

Christian Herrmann appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.LO math.RA Computational Complexity Biomolecules cond-mat.mes-hall cond-mat.soft Logic in Computer Science physics.optics Quantitative Methods

Catalog footprint

What is connected

9works

9topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

FRET nanoscopy enables seamless imaging of molecular assemblies with sub-nanometer resolution

By circumventing the optical diffraction limit, super-resolved fluorescence microscopies enable the study of larger cellular structures and molecular assemblies. However, fluorescence nanoscopy currently lacks the spatiotemporal resolution to resolve distances on the size of individual molecules and reveal the conformational fine structure and dynamics of molecular complexes. Here we establish FRET nanoscopy by combining colocalization STED microscopy with multiparameter FRET spectroscopy. We simultaneously localize donor and acceptor dyes of single FRET pairs with nanometer resolution and quantitatively measure intramolecular distances with sub-nanometer precision over a large dynamic range. While FRET provides isotropic 3D distance information, colocalization measures the projected distance onto the image plane. The combined information allows us to directly determine its 3D orientation using Pythagoras's theorem. Studying two DNA model systems and the human guanylate binding protein hGBP1, we demonstrate that FRET nanoscopy unravels the interplay between their spatial organization and local molecular conformation in a complex environment.

preprint2021arXiv

On the complexity of equational decision problems for finite height(ortho)complemented modular lattices

We study the computational complexity of satisfiability problems for classes of simple finite height (ortho)complemented modular lattices $L$. For single finite $L$, these problems are shown tobe $\mc{NP}$-complete; for $L$ of height at least $3$, equivalent to a feasibility problem for the division ring associated with $L$. Moreover, it is shown that the equational theory of the class of subspace ortholattices as well as endomorphism *-rings (with pseudo-inversion) of finite dimensional Hilbert spaces is complete for the complement of the Boolean part of the nondeterministic Blum-Shub-Smale model of real computation without constants. This results extends to the category of finite dimensional Hilbert spaces, enriched by pseudo-inversion.

preprint2020arXiv

Representations of *-regular rings and their ortholattices of projections

We show that a subdirectly irreducible *-regular ring admits a representation within some inner product space provided so does its ortholattice of projections.

preprint2020arXiv

Test sets for tautologies in modular quantum logic

As defined by Dunn, Moss, and Wang, an universal test set in an ortholattice $L$ is a subset $T$ such that each term takes value $1$, only, if it does so under all substitutions from $T$. Generalizing their result for ortholattices of subspaces of finite dimensional Hilbert spaces, we show that no infinite modular ortholattice of finite dimension admits a finite universal test set. On the other hand, answering a question of the same authors, we provide a countable universal test set for the ortholattice of projections of any type II$_1$ von Neumann algebra factor as well as for von Neumann's algebraic construction of a continuous geometry. These universal test sets consist of elements having rational normalized dimension with denominator a power of $2$.

preprint2016arXiv

Linear representations of regular rings and complemented modular lattices with involution

Faithful representations of regular $\ast$-rings and modular complemented lattices with involution within orthosymmetric sesquilinear spaces are studied within the framework of Universal Algebra. In particular, the correspondence between classes of spaces and classes of representables is analyzed; for a class of spaces which is closed under ultraproducts and non-degenerate finite dimensional subspaces, the latter are shown to be closed under complemented [regular] subalgebras, homomorphic images, and ultraproducts and being generated by those members which are associated with finite dimensional spaces. Under natural restrictions, this is refined to a $1$-$1$-correspondence between the two types of classes.

preprint2016arXiv

On the consistency problem for modular lattices and related structures

The consistency problem for a class of algebraic structures asks for an algorithm to decide for any given conjunction of equations whether it admits a non-trivial satisfying assignment within some member of the class. By Adyan (1955) and Rabin (1958) it is known unsolvable for (the class of) groups and, recently, by Bridson and Wilton (2015) for finite groups. We derive unsolvability for (finite) modular lattices and various subclasses; in particular, the class of all subspace lattices of finite dimensional vector spaces over a fixed or arbitrary field of characteristic $0$. The lattice results are used to prove unsolvability of the consistency problem for (finite) rings and (finite) representable relation algebras. These results in turn apply to equations between simple expressions in Grassmann-Cayley algebra and to functional and embedded multivalued dependencies in databases.

preprint2015arXiv

Proatomic modular ortholattices: Representation and equational theory

We study modular ortholattices in the variety generated by the finite dimensional ones from an equational and geometric point of view. We relate this to coordinatization results.

preprint2013arXiv

Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines

Nondeterministic polynomial-time Blum-Shub-Smale Machines over the reals give rise to a discrete complexity class between NP and PSPACE. Several problems, mostly from real algebraic geometry / polynomial systems, have been shown complete (under many-one reduction by polynomial-time Turing machines) for this class. We exhibit a new one based on questions about expressions built from cross products only.

preprint2012arXiv

Computational Complexity of Quantum Satisfiability

Quantum logic was introduced in 1936 by Garrett Birkhoff and John von Neumann as a framework for capturing the logical peculiarities of quantum observables. It generalizes, and on 1-dimensional Hilbert space coincides with, Boolean propositional logic. We introduce the weak and strong satisfiability problem for quantum logic terms. It turns out that in dimension two both are also NP-complete. For higher-dimensional spaces R^d and C^d with d>2 fixed, on the other hand, we show both problems to be complete for the nondeterministic Blum-Shub-Smale model of real computation. This provides a unified view on both Turing and real BSS complexity theory; and extends the still relatively scarce family of NP_R-complete problems with one perhaps closest in spirit to the classical Cook-Levin Theorem. Our investigations on the dimensions a term is weakly/strongly satisfiable in lead to satisfiability problems in indefinite finite and finally in infinite dimension. Here, strong satisfiability turns out as polynomial-time equivalent to the feasibility of noncommutative integer polynomial equations