arXiv subjects

Martin Otto

Publications and source records attributed to Martin Otto.

44 records · Page 3Linked to original sources

arXiv2015

Experimental verification of electro-refractive phase modulation in graphene

Graphene has been considered as a promising material for opto-electronic devices, because of its tunable and wideband optical properties. In this work, we demonstrate electro-refractive phase modulation in graphene at wavelengths from 1530 to 1570 nm. By integrating a gated graphene layer in a silicon-waveguide based Mach-Zehnder interferometer, the key parameters of a phase modulator like change in effective refractive index, insertion loss and absorption change are extracted. These experimentally obtained values are well reproduced by simulations and design guidelines are provided to make graphene devices competitive to contemporary silicon based phase modulators for on-chip applications.

cond-mat.mes-hall↗

arXiv2014

Decidability Results for the Boundedness Problem

We prove decidability of the boundedness problem for monadic least fixed-point recursion based on positive monadic second-order (MSO) formulae over trees. Given an MSO-formula phi(X,x) that is positive in X, it is decidable whether the fixed-point recursion based on phi is spurious over the class of all trees in the sense that there is some uniform finite bound for the number of iterations phi takes to reach its least fixed point, uniformly across all trees. We also identify the exact complexity of this problem. The proof uses automata-theoretic techniques. This key result extends, by means of model-theoretic interpretations, to show decidability of the boundedness problem for MSO and guarded second-order logic (GSO) over the classes of structures of fixed finite tree-width. Further model-theoretic transfer arguments allow us to derive major known decidability results for boundedness for fragments of first-order logic as well as new ones.

cs.LO↗

arXiv2014

Querying the Guarded Fragment

Evaluating a Boolean conjunctive query Q against a guarded first-order theory F is equivalent to checking whether "F and not Q" is unsatisfiable. This problem is relevant to the areas of database theory and description logic. Since Q may not be guarded, well known results about the decidability, complexity, and finite-model property of the guarded fragment do not obviously carry over to conjunctive query answering over guarded theories, and had been left open in general. By investigating finite guarded bisimilar covers of hypergraphs and relational structures, and by substantially generalising Rosati's finite chase, we prove for guarded theories F and (unions of) conjunctive queries Q that (i) Q is true in each model of F iff Q is true in each finite model of F and (ii) determining whether F implies Q is 2EXPTIME-complete. We further show the following results: (iii) the existence of polynomial-size conformal covers of arbitrary hypergraphs; (iv) a new proof of the finite model property of the clique-guarded fragment; (v) the small model property of the guarded fragment with optimal bounds; (vi) a polynomial-time solution to the canonisation problem modulo guarded bisimulation, which yields (vii) a capturing result for guarded bisimulation invariant PTIME.

cs.LO↗

arXiv2013

Characterization of low-temperature microwave loss of thin aluminum oxide formed by plasma oxidation

We report on the characterization of microwave loss of thin aluminum oxide films at low temperatures using superconducting lumped resonators. The oxide films are fabricated using plasma oxidation of aluminum and have a thickness of 5 nm. We measure the dielectric loss versus microwave power for resonators with frequencies in the GHz range at temperatures from 54 to 303 mK. The power and temperature dependence of the loss is consistent with the tunneling two-level system theory. These results are relevant to understanding decoherence in superconducting quantum devices. The obtained oxide films are thin and robust, making them suitable for capacitors in compact microwave resonators.

cond-mat.mes-hall↗

arXiv2013

An analysis method for transmission measurements of superconducting resonators with applications to quantum-regime dielectric-loss measurements

Superconducting resonators provide a convenient way to measure loss tangents of various dielectrics at low temperature. For the purpose of examining the microscopic loss mechanisms in dielectrics, precise measurements of the internal quality factor at different values of energy stored in the resonators are required. Here, we present a consistent method to analyze a LC superconducting resonator coupled to a transmission line. We first derive an approximate expression for the transmission S-parameter $S_{21}$ based on a complete circuit model. In the weak coupling limit, we show that the internal quality factor is reliably determined by fitting the approximate form of $S_{21}$. Since the voltage $V$ of the capacitor of the LC circuit is required to determine the energy stored in the resonator, we next calculate the relation between $V$ and the forward propagating wave voltage $V_{in}^+$. Due to the dependence of the quality factor on voltage, $V$ is not simply proportional to $V_{in}^+$. We find a self-consistent way to determine the relation between $V$ and $V_{in}^+$, which employs only the fitting parameters for $S_{21}$ and a linear scaling factor. We then examine the resonator transmission in the cases of port reflection and impedance mismatch. We find that resonator transmission asymmetry is primarily due to the reflection from discontinuity in transmission lines. We show that our analysis method to extract the internal quality factor is robust in the non-ideal cases above. Finally, we show that the analysis method on LC resonator can be generalize to arbitrary weakly coupled lumped and distributed resonators. The generalization uses a systematic approximation on the response function based on the pole and zero which are the closest to the resonance frequency. This Closest Pole and Zero Method (CPZM) is a valuable tool for analyzing physical measurements of high-Q resonators.

cond-mat.mes-hall↗

arXiv2012

Queries with Guarded Negation (full version)

A well-established and fundamental insight in database theory is that negation (also known as complementation) tends to make queries difficult to process and difficult to reason about. Many basic problems are decidable and admit practical algorithms in the case of unions of conjunctive queries, but become difficult or even undecidable when queries are allowed to contain negation. Inspired by recent results in finite model theory, we consider a restricted form of negation, guarded negation. We introduce a fragment of SQL, called GN-SQL, as well as a fragment of Datalog with stratified negation, called GN-Datalog, that allow only guarded negation, and we show that these query languages are computationally well behaved, in terms of testing query containment, query evaluation, open-world query answering, and boundedness. GN-SQL and GN-Datalog subsume a number of well known query languages and constraint languages, such as unions of conjunctive queries, monadic Datalog, and frontier-guarded tgds. In addition, an analysis of standard benchmark workloads shows that most usage of negation in SQL in practice is guarded negation.

cs.DB↗

arXiv2011

High On/Off Ratios in Bilayer Graphene Field Effect Transistors Realized by Surface Dopants

The unique property of bilayer graphene to show a band gap tunable by external electrical fields enables a variety of different device concepts with novel functionalities for electronic, optoelectronic and sensor applications. So far the operation of bilayer graphene based field effect transistors requires two individual gates to vary the channel's conductance and to create a band gap. In this paper we report on a method to increase the on/off ratio in single gated bilayer graphene field effect transistors by adsorbate doping. The adsorbate dopants on the upper side of the graphene establish a displacement field perpendicular to the graphene surface breaking the inversion symmetry of the two graphene layers. Low temperature measurements indicate, that the increased on/off ratio is caused by the opening of a mobility gap. Beside field effect transistors the presented approach can also be employed for other bilayer graphene based devices like photodetectors for THz to infrared radiation, chemical sensors and in more sophisticated structures such as antidot- or superlattices where an artificial potential landscape has to be created.

cond-mat.mtrl-sci↗

arXiv2010

Electrical observation of a tunable band gap in bilayer graphene nanoribbons at room temperature

We investigate the transport properties of double-gated bilayer graphene nanoribbons at room temperature. The devices were fabricated using conventional CMOS-compatible processes. By analyzing the dependence of the resistance at the charge neutrality point as a function of the electric field applied perpendicular to the graphene surface, we show that a band gap in the density of states opens, reaching an effective value of ~sim50 meV. This demonstrates the potential of bilayer graphene as FET channel material in a conventional CMOS environment.

cond-mat.mes-hall↗