Source author record

Christian Kern

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

ResearcherUnclaimed source record

cond-mat.mtrl-sci physics.class-ph cond-mat.mes-hall Logic in Computer Science physics.optics

Catalog footprint

What is connected

4works

5topics

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.

preprint2021arXiv

Tracking Brownian motion in three dimensions and characterization of individual nanoparticles using a fiber-based high-finesse microcavity

The dynamics of nanosystems in solution contain a wealth of information with relevance for diverse fields ranging from materials science to biology and biomedical applications. When nanosystems are marked with fluorophores or strong scatterers, it is possible to track their position and reveal internal motion with high spatial and temporal resolution. However, markers can be toxic, expensive, or change the object's intrinsic properties. Here, we simultaneously measure dispersive frequency shifts of three transverse modes of a high-finesse microcavity to obtain the three-dimensional path of unlabeled SiO$_2$ nanospheres with $300$$\mathrmμ$s temporal and down to $8$nm spatial resolution. This allows us to quantitatively determine properties such as the polarizability, hydrodynamic radius, and effective refractive index. The fiber-based cavity is integrated in a direct-laser-written microfluidic device that enables the precise control of the fluid with ultra-small sample volumes. Our approach enables quantitative nanomaterial characterization and the analysis of biomolecular motion at high bandwidth.

preprint2015arXiv

Hall-effect sign-inversion in a realizable 3D metamaterial

In 2009, Briane and Milton proved mathematically the existence of three-dimensional isotropic metamaterials with a classical Hall coefficient which is negative with respect to that of all of the metamaterial constituents. Here, we significantly simplify their blueprint towards an architecture composed of only a single constituent material in vacuum/air, which can be seen as a special type of porosity. We show that the sign of the Hall voltage is determined by a separation parameter between adjacent tori. This qualitative behavior is robust even for only a small number of metamaterial unit cells. The combination of simplification and robustness brings experimental verifications of this striking sign-inversion into reach.

preprint2015arXiv

Parallel Hall effect from 3D single-component metamaterials

We propose a class of three-dimensional metamaterial architectures composed of a single doped semiconductor (e.g., n-Si) in air or vacuum that lead to unusual effective behavior of the classical Hall effect. Using an anisotropic structure, we numerically demonstrate a Hall voltage that is parallel---rather than orthogonal---to the external static magnetic-field vector ("parallel Hall effect"). The sign of this parallel Hall voltage can be determined by a structure parameter. Together with the previously demonstrated positive or negative orthogonal Hall voltage, we demonstrate four different sign combinations

preprint2011arXiv

Computing the Reveals Relation in Occurrence Nets

Petri net unfoldings are a useful tool to tackle state-space explosion in verification and related tasks. Moreover, their structure allows to access directly the relations of causal precedence, concurrency, and conflict between events. Here, we explore the data structure further, to determine the following relation: event a is said to reveal event b iff the occurrence of a implies that b inevitably occurs, too, be it before, after, or concurrently with a. Knowledge of reveals facilitates in particular the analysis of partially observable systems, in the context of diagnosis, testing or verification; it can also be used to generate more concise representations of behaviours via abstractions. The reveals relation was previously introduced in the context of fault diagnosis, where it was shown that the reveals relation was decidable: for a given pair a,b in the unfolding U of a safe Petri net N, a finite prefix P of U is sufficient to decide whether or not a reveals b. In this paper, we first considerably improve the bound on |P|. We then show that there exists an efficient algorithm for computing the relation on a given prefix. We have implemented the algorithm and report on experiments.