arXiv Science⌕ Search

arXiv subjects

Christian Herrmann

Publications and source records attributed to Christian Herrmann.

At least 19 recordsLinked to original sources
arXiv2026

ROS2 Connect: A new ROS2 over WAN Solution

The Robot Operating System 2 (ROS2) has become a widely adopted framework for the development of distributed robotic systems. However, its communication architecture, based on DDS and RTPS, relies on multicast discovery mechanisms that are typically unavailable in wide-area network (WAN) environments, making remote operation challenging. This work presents ROS2 Connect, a WebSocket-based communication framework that enables transparent and secure ROS2 interaction across routed networks without requiring modifications to network infrastructure or DDS configurations. The proposed client-server architecture supports bidirectional exchange of topics, services, actions, and system data while integrating authentication and access control mechanisms. Experimental evaluation over a real WAN connection demonstrates significantly lower latency, higher stability, and improved scalability compared to existing solutions, including DDS Router, rosbridge and Zenoh. Initial results show that ROS2 Connect provides a reliable foundation for teleoperation and distributed robotics applications over wide-area networks.

cs.RO↗
arXiv2024

S-Glued sums of lattices

For many equation-theoretical questions about modular lattices, Hall and Dilworth give a useful construction: Let $L_0$ be a lattice with largest element $u_0$, $L_1$ be a lattice disjoint from $L_0$ with smallest element $v_1$, and $a \in L_0$, $b \in L_1$ such that the intervals $[a, u_0]$ and $[v_1, b]$ are isomorphic. Then, after identifying those intervals you obtain $L_0 \cup L_1$, a lattice structure whose partial order is the transitive relation generated by the partial orders of $L_0$ and $L_1$. It is modular if $L_0$ and $L_1$ are modular. Since in this construction the index set $\{0, 1\}$ is essentially a chain, this work presents a method -- termed S-glued -- whereby a general family $L_x\ (x \in S)$ of lattices can specify a lattice with the small-scale lattice structure determined by the $L_x$ and the large-scale structure determined by $S$. A crucial application is representing finite-length modular lattices using projective geometries.

math.CO↗
arXiv2024

Direct finiteness of representable regular rings with involution: A counterexample

Bruns and Roddy constructed a $3$-generated modular ortholattice $L$ which cannot be embedded into any complete modular ortholattice. Motivated by their approach, we use shift operators to construct a $*$-regular $*$-ring $R$ of endomorphisms of an inner product space (which can be chosen as the Hilbert space $\ell^2$) such that direct finiteness fails for $R$.

math.RA↗
arXiv2024

On the equational theory of finite modular lattices

It is shown that there is $N$ such that there is no algorithm to decide for identities in at most $N$ variables validity in the class of finite modular lattices. This is based on Slobodskoi's result that the Restricted Word Problem is unsolvable for the class of finite groups and relies on Freese's technique of capturing group presentations within free modular lattices.

math.LO↗
arXiv2023

Perspectivity in complemented modular lattices and regular rings

Based on an analogue for systems of partial isomorphisms between lower sections in a complemented modular lattice we prove that principal right ideals $aR \cong bR$ in a (von Neumann) regular ring $R$ are perspective if $aR \cap bR$ is of finite height in $L(R)$. This is applied to derive, for existence-varieties $\mathcal{V}$ of regular rings, equivalence of unit-regularity and direct finiteness, both conceived as a property shared by all members of $\mathcal{V}$.

math.RA↗
arXiv2021

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.

physics.optics↗
arXiv2020

Integrative dynamic structural biology unveils conformers essential for the oligomerization of a large GTPase

Guanylate binding proteins (GBPs) are soluble dynamin-like proteins with structured domains that undergo a conformational transition for GTP-controlled oligomerization to exert their function as part of the innate immune system of mammalian cells - attacking intra-cellular parasites by disrupting their membranes. The structural basis and mechanism of this process is unknown. Therefore, we apply neutron spin echo, X-ray scattering, fluorescence, and EPR spectroscopy as techniques for integrative dynamic structural biology to human GBP1 (hGBP1). We mapped hGBP1's essential dynamics from nanoseconds to milliseconds by motional spectra of sub-domains. We find a GTP-independent flexibility of the C-terminal effector domain in the $\mu$s-regime and structurally characterize conformers being essential that hGBP1 can open like a pocketknife for oligomerization. This unveils the intrinsic flexibility, a GTP-triggered association of the GTPase-domains and assembly-dependent GTP-hydrolysis as functional design principles of hGBP1 that control its reversible oligomerization in polar assemblies and the subsequent formation of condensates.

physics.bio-ph↗
arXiv2020

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$.

math.LO↗
arXiv2019

A Note on the "Third Life of Quantum Logic"

The purpose of this note is to discuss some of the questions raised by Dunn, J. Michael; Moss, Lawrence S.; Wang, Zhenghan in Editors' introduction: the third life of quantum logic: quantum logic inspired by quantum computing.

math.LO↗
arXiv2019

(Co)isotropic triples and poset representations

We study triples of coisotropic or isotropic subspaces in symplectic vector spaces; in particular, we classify indecomposable structures of this kind. The classification depends on the ground field, which we only assume to be perfect and not of characteristic 2. Our work uses the theory of representations of partially ordered sets with (order reversing) involution; for (co)isotropic triples, the relevant poset is "$2 + 2 + 2$" consisting of three independent ordered pairs, with the involution exchanging the members of each pair. A key feature of the classification is that any indecomposable (co)isotropic triple is either "split" or "non-split". The latter is the case when the poset representation underlying an indecomposable (co)isotropic triple is itself indecomposable. Otherwise, in the "split" case, the underlying representation is decomposable and necessarily the direct sum of a dual pair of indecomposable poset representations; the (co)isotropic triple is a "symplectification". In the course of the paper we develop the framework of "symplectic poset representations", which can be applied to a range of problems of symplectic linear algebra. The classification of linear Hamiltonian vector fields, up to conjugation, is an example; we briefly explain the connection between these and (co)isotropic triples. The framework lends itself equally well to studying poset representations on spaces carrying a non-degenerate symmetric bilinear form; we mainly keep our focus, however, on the symplectic side.

math.SG↗
arXiv2019

Varieties of *-regular rings

Given a subdirectly irreducible *-regular ring R, we show that R is a homomorphic image of a regular *-subring of an ultraproduct of the (simple) eRe, e in the minimal ideal of R. Moreover, unit-regularity is shown for every member of the variety generated by artinian *-regular rings (endowed with unit and pseudo-inversion.

math.RA↗
arXiv2019

Direct finiteness of representable regular rings with involution

For von Neumann *-regular rings R of endomorphisms (the involution given by taking adjoints) of inner product spaces we provide a condition on r in R (in terms of action of r on finite dimensional subspaces) for r being a unit. It remains open whether this result can be used to prove direct finiteness of R. This was claimed in earlier versions but no proof was given.

math.RA↗
arXiv2018

Definable relations in finite dimensional subspace lattices with involution. Part II: Quantifier free and homogeneous descriptions

For finite dimensional hermitean inner product spaces $V$, over $*$-fields $F$, and in the presence of orthogonal bases providing form elements in the prime subfield of $F$, we show that quantifier free definable relations in the subspace lattice $L(V)$ with involution by taking orthogonals, admit quantifier free descriptions within $F$, also in terms of Grassmann-Pl\"ucker coordinates.In the latter setting, homogeneous descriptions are obtained if one allows quantification type $\Sigma_1$. In absence of involution, these results remain valid.

math.LO↗
arXiv2018

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.

math.LO↗