Researcher profile

Tobias Heindel

Tobias Heindel contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

9 published item(s)

preprint2022arXiv

A Quantum Key Distribution Testbed using a Plug&Play Telecom-wavelength Single-Photon Source

Deterministic solid-state quantum light sources are considered key building blocks for future communication networks. While several proof-of-principle experiments of quantum communication using such sources have been realized, most of them required large setups often involving liquid helium infrastructure or bulky closed-cycle cryotechnology. In this work, we report on the first quantum key distribution (QKD) testbed using a compact benchtop quantum dot single-photon source operating at telecom wavelengths. The plug\&play device emits single-photon pulses at O-band wavelengths ($1321\,$nm) and is based on a directly fiber-pigtailed deterministically-fabricated quantum dot device integrated into a compact Stirling cryocooler. The Stirling is housed in a 19-inch rack module including all accessories required for stand-alone operation. Implemented in a simple QKD testbed emulating the BB84 protocol with polarization coding, we achieve an antibunching of $g^{(2)}(0) = 0.10\pm0.01$ and a raw key rate of up to $(4.72\pm0.13)\,$kHz using an external pump laser. In this setting, we further evaluate the performance of our source in terms of the quantum bit error ratios, secure key rates, and tolerable losses expected in full implementations of QKD also accounting for finite key size effects. Furthermore, we investigate optimal settings for a two-dimensional temporal acceptance window applied on receiver side, resulting in predicted tolerable losses up to $23.19\,$dB. Not least, we compare our results with previous proof-of-concept QKD experiments using quantum dot single-photon sources. Our study represents an important step forward in the development of fiber-based quantum-secured communication networks exploiting sub-Poissonian quantum light sources.

preprint2021arXiv

Quantum Communication Using Semiconductor Quantum Dots

Worldwide enormous efforts are directed towards the development of the so-called quantum internet. Turning this long sought-after dream into reality is a great challenge that will require breakthroughs in quantum communication and computing. To establish a global, quantum-secured communication infrastructure, photonic quantum technologies will doubtlessly play a major role, by providing and interfacing essential quantum resources, e.g., flying- and stationary qubits or quantum memories. Over the last decade, significant progress has been made in the engineering of on-demand quantum light sources based on semiconductor quantum dots, which enable the generation of close-to-ideal single- and entangled-photon states, useful for quantum cryptography tasks. This review focuses on implementations of, and building blocks for, quantum communication using quantum-light sources based on epitaxial semiconductor quantum dots. After reviewing the main notions of quantum cryptography (section 1) and introducing the devices used for single-photon and entangled-photon generation (section 2), it provides an overview of experimental implementations of cryptographic protocols using quantum dot based quantum light sources (section 3). Furthermore, recent progress towards quantum-secured communication networks as well as building blocks thereof is summarized (section 4). The article closes with an outlook, discussing future perspectives in the field and identifying the main challenges to be solved.

preprint2021arXiv

Swing-up of quantum emitter population using detuned pulses

The controlled preparation of the excited state in a quantum emitter is a prerequisite for its usage as single-photon sources - a key building block for quantum technologies. In this paper we propose a coherent excitation scheme using off-resonant pulses. In the usual Rabi scheme, these pulses would not lead to a significant occupation. This is overcome by using a frequency modulated pulse to swing up the excited state population. The same effect can be obtained using two pulses with different strong detunings of the same sign. We theoretically analyze the applicability of the scheme to a semiconductor quantum dot. In this case the excitation is several meV below the band gap, i.e., far away from the detection frequency allowing for easy spectral filtering, and does not rely on any auxiliary particles such as phonons. Our scheme has the potential to lead to the generation of close-to-ideal photons.

preprint2020arXiv

Incentive Alignment of Business Processes: a game theoretic approach

Many definitions of business processes refer to business goals, value creation, or profits/gains of sorts. Nevertheless, the focus of formal methods research on business processes, like the well-known soundness property, lies on correctness with regards to execution semantics of modeling languages. Among others, soundness requires proper completion of process instances. However, the question of whether participants have any interest in working towards completion (or in participating in the process) has not been addressed as of yet. In this work, we investigate whether inter-organizational business processes give participants incentives for achieving the common business goals---in short, whether incentives are aligned with the process. In particular, fair behavior should pay off and efficient completion of tasks should be rewarded. We propose a game-theoretic approach that relies on algorithms for solving stochastic games from the machine learning community. We describe a method for checking incentive alignment of process models with utility annotations for tasks, which can be used for a priori analysis of inter-organizational business processes. Last but not least, we show that the soundness property corresponds to a special case of incentive alignment.

preprint2020arXiv

Rate Equations for Graphs

In this paper, we combine ideas from two different scientific traditions: 1) graph transformation systems (GTSs) stemming from the theory of formal languages and concurrency, and 2) mean field approximations (MFAs), a collection of approximation techniques ubiquitous in the study of complex dynamics. Using existing tools from algebraic graph rewriting, as well as new ones, we build a framework which generates rate equations for stochastic GTSs and from which one can derive MFAs of any order (no longer limited to the humanly computable). The procedure for deriving rate equations and their approximations can be automated. An implementation and example models are available online at https://rhz.github.io/fragger. We apply our techniques and tools to derive an expression for the mean velocity of a two-legged walker protein on DNA.

preprint2020arXiv

Tools for the Performance Optimization of Single-Photon Quantum Key Distribution

Quantum light sources emitting triggered single photons or entangled photon pairs have the potential to boost the performance of quantum key distribution (QKD) systems. Proof-of-principle experiments affirmed these prospects, but further efforts are necessary to push this field beyond its current status. In this work, we show that temporal filtering of single-photon pulses enables a performance optimization of QKD systems implemented with realistic quantum light sources, both in experiment and simulations. To this end, we analyze the influence of temporal filtering of sub-Poissonian single-photon pulses on the expected secret key fraction, the quantum bit error ratio, and the tolerable channel losses. For this purpose, we developed a basic QKD testbed comprising a triggered solid-state single-photon source and a receiver module designed for four-state polarization coding via the BB84 protocol. Furthermore, we demonstrate real-time security monitoring by analyzing the photon statistics, in terms of $g^{(2)}(0)$, inside the quantum channel by correlating the photon flux recorded at the four ports of our receiver. Our findings are useful for the certification of QKD and can be applied and further extended for the optimization of various implementations of quantum communication based on sub-Poissonian quantum light sources, including measurement-device-independent schemes of QKD as well as quantum repeaters. Our work represents an important contribution towards the development of QKD-secured communication networks based on quantum light sources.

preprint2012arXiv

Computational Complexity of Interactive Behaviors

The theory of computational complexity focuses on functions and, hence, studies programs whose interactive behavior is reduced to a simple question/answer pattern. We propose a broader theory whose ultimate goal is expressing and analyzing the intrinsic difficulty of fully general interactive behaviors. To this extent, we use standard tools from concurrency theory, including labelled transition systems (formalizing behaviors) and their asynchronous extension (providing causality information). Behaviors are implemented by means of a multiprocessor machine executing CCS-like processes. The resulting theory is shown to be consistent with the classical definitions: when we restrict to functional behaviors (i.e., question/answer patterns), we recover several standard computational complexity classes.

preprint2011arXiv

Structured Operational Semantics for Graph Rewriting

Process calculi and graph transformation systems provide models of reactive systems with labelled transition semantics. While the semantics for process calculi is compositional, this is not the case for graph transformation systems, in general. Hence, the goal of this article is to obtain a compositional semantics for graph transformation system in analogy to the structural operational semantics (SOS) for Milner's Calculus of Communicating Systems (CCS). The paper introduces an SOS style axiomatization of the standard labelled transition semantics for graph transformation systems. The first result is its equivalence with the so-called Borrowed Context technique. Unfortunately, the axiomatization is not compositional in the expected manner as no rule captures "internal" communication of sub-systems. The main result states that such a rule is derivable if the given graph transformation system enjoys a certain property, which we call "complementarity of actions". Archetypal examples of such systems are interaction nets. We also discuss problems that arise if "complementarity of actions" is violated.

preprint2010arXiv

Structural Decomposition of Reactions of Graph-Like Objects

Inspired by decomposition problems in rule-based formalisms in Computational Systems Biology and recent work on compositionality in graph transformation, this paper proposes to use arbitrary colimits to "deconstruct" models of reactions in which states are represented as objects of adhesive categories. The fundamental problem is the decomposition of complex reactions of large states into simpler reactions of smaller states. The paper defines the local decomposition problem for transformations. To solve this problem means to "reconstruct" a given transformation as the colimit of "smaller" ones where the shape of the colimit and the decomposition of the source object of the transformation are fixed in advance. The first result is the soundness of colimit decomposition for arbitrary double pushout transformations in any category, which roughly means that several "local" transformations can be combined into a single "global" one. Moreover, a solution for a certain class of local decomposition problems is given, which generalizes and clarifies recent work on compositionality in graph transformation.