arXiv subjects

Martin Otto

Publications and source records attributed to Martin Otto.

At least 19 recordsLinked to original sources

arXiv2026

A Class of Generalised Quantifiers for k-Variable Logics

We introduce k-quantifier logics -- logics with access to k-tuples of elements and very general quantification patterns for transitions between k-tuples. The framework is very expressive and encompasses e.g. the k-variable fragments of first-order logic, modal logic, and monotone neighbourhood semantics. We introduce a corresponding notion of bisimulation and prove variants of the classical Ehrenfeucht-Fraisse and Hennessy-Milner theorem. Finally, we show a Lindstrom-style characterisation for k-quantifier logics that satisfy Los' theorem by proving that they are the unique maximally expressive logics that satisfy Los' theorem and are invariant under the associated bisimulation relations.

math.LO↗

arXiv2025

On the expressive power of inquisitive epistemic logic

Inquisitive modal logic, InqML, in its epistemic incarnation, extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. We use the natural notion of bisimulation equivalence in the setting of InqML, as introduced in [Ciardelli/Otto: JSL 2021], to characterise the expressiveness of InqML as the bisimulation invariant fragment of first-order logic over natural classes of two-sorted first-order structures that arise as relational encodings of inquisitive epistemic (S5-like) models. The non-elementary nature of these classes crucially requires non-classical model-theoretic methods for the analysis of first-order expressiveness, irrespective of whether we aim for characterisations in the sense of classical or of finite model theory.

math.LO↗

arXiv2024

Gate-defined single-electron transistors in twisted bilayer graphene

Twisted bilayer graphene (tBLG) near the magic angle is a unique platform where the combination of topology and strong correlations gives rise to exotic electronic phases. These phases are gate-tunable and related to the presence of flat electronic bands, isolated by single-particle band gaps. This enables gate-controlled charge confinement, essential for the operation of single-electron transistors (SETs), and allows to explore the interplay of confinement, electron interactions, band renormalisation and the moiré superlattice, potentially revealing key paradigms of strong correlations. Here, we present gate-defined SETs in near-magic-angle tBLG with well-tunable Coulomb blockade resonances. These SETs allow to study magnetic field-induced quantum oscillations in the density of states of the source-drain reservoirs, providing insight into gate-tunable Fermi surfaces of tBLG. Comparison with tight-binding calculations highlights the importance of displacement-field-induced band renormalisation crucial for future advanced gate-tunable quantum devices and circuits in tBLG including e.g. quantum dots and Josephson junction arrays.

cond-mat.mes-hall↗

arXiv2024

Tunable Doping and Mobility Enhancement in 2D Channel Field-Effect Transistors via Damage-Free Atomic Layer Deposition of AlOX Dielectrics

Two-dimensional materials (2DMs) have been widely investigated because of their potential for heterogeneous integration with modern electronics. However, several major challenges remain, such as the deposition of high-quality dielectrics on 2DMs and the tuning of the 2DM doping levels. Here, we report a scalable plasma-enhanced atomic layer deposition (PEALD) process for direct deposition of a nonstoichiometric aluminum oxide (AlOX) dielectric, overcoming the damage issues associated with conventional methods. Furthermore, we control the thickness of the dielectric layer to systematically tune the doping level of 2DMs. The experimental results demonstrate successful deposition without detectable damage, as confirmed by Raman spectroscopy and electrical measurements. Our method enables tuning of the Dirac and threshold voltages of back-gated graphene and MoS${_2}$ field-effect transistors (FETs), respectively, while also increasing the charge carrier mobility in both device types. We further demonstrate the method in top-gated MoS${_2}$ FETs with double-stack dielectric layers (AlOX+Al${_2}$O${_3}$), achieving critical breakdown field strengths of 7 MV/cm and improved mobility compared with the back gate configuration. In summary, we present a PEALD process that offers a scalable and low-damage solution for dielectric deposition on 2DMs, opening new possibilities for precise tuning of device characteristics in heterogeneous electronic circuits.

physics.app-ph↗

arXiv2024

Amalgamation and Symmetry: From Local to Global Consistency in The Finite

We present a generic construction of finite realisations of amalgamation patterns. An amalgamation pattern is specified by a finite collection of finite template structures together with a collection of partial isomorphisms between them. A realisation is a globally consistent solution to the locally consistent specification of this amalgamation problem: this is a single structure equipped with an atlas of distinguished substructures associated with the template structures, their overlaps realising precisely the identifications induced by the given partial isomorphisms. Our construction is based on natural reduced products with suitable groupoids. The resulting realisations are generic in the sense that they can be made to preserve all symmetries of the specification. They can also be made to be universal w.r.t.\ to local homomorphisms up to any specified size. As key applications of the main construction we discuss finite hypergraph coverings of specified levels of acyclicity and a new route to the lifting of local symmetries to global automorphisms in finite structures.

math.CO↗

arXiv2024

Acyclicity in finite groups and groupoids

We expound a concise construction of finite groups and groupoids whose Cayley graphs satisfy graded acyclicity requirements. Our acyclicity criteria concern cyclic patterns formed by coset-like configurations w.r.t. subsets of the generator set rather than just by individual generators. The proposed constructions correspondingly yield finite groups and groupoids whose Cayley graphs satisfy much stronger acyclicity conditions than large girth. We thus obtain generic and canonical constructions of highly homogeneous graph structures with strong acyclicity properties, which support known applications in finite graph and hypergraph coverings that locally unfold cyclic configurations.

math.CO↗

arXiv2024

On Groupoids and Hypergraphs

We present a novel construction of finite groupoids whose Cayley graphs have large girth even w.r.t. a discounted distance measure that contracts arbitrarily long sequences of edges from the same colour class (sub-groupoid), and only counts transitions between colour classes (cosets). These groupoids are employed towards a generic construction method for finite hypergraphs that realise specified overlap patterns and avoid small cyclic configurations. The constructions are based on reduced products with groupoids generated by the elementary local extension steps, and can be made to preserve the symmetries of the given overlap pattern. In particular, we obtain highly symmetric, finite hypergraph coverings without short cycles. The groupoids and their application in reduced products are sufficiently generic to be applicable to other constructions that are specified in terms of local glueing operations and require global finite closure.

math.CO↗

arXiv2024

Finite Groupoids, Finite Coverings and Symmetries in Finite Structures

We propose a novel construction of finite hypergraphs and relational structures that is based on reduced products with Cayley graphs of groupoids. To this end we construct groupoids whose Cayley graphs have large girth not just in the usual sense, but with respect to a discounted distance measure that contracts arbitrarily long sequences of edges within the same sub-groupoid (coset) and only counts transitions between cosets. Reduced products with such groupoids are sufficiently generic to be applicable to various constructions that are specified in terms of local glueing operations and require global finite closure. We here examine hypergraph coverings and extension tasks that lift local symmetries to global automorphisms.

math.CO↗

arXiv2023

Graded modal logic and counting bisimulation

This note sketches the extension of the basic characterisation theorems as the bisimulation-invariant fragment of first-order logic to modal logic with graded modalities and matching adaptation of bisimulation. We focus on showing expressive completeness of graded multi-modal logic for those first-order properties of pointed Kripke structures that are preserved under counting bisimulation equivalence among all or among just all finite pointed Kripke structures.

math.LO↗

arXiv2022

Plasma-enhanced atomic layer deposition of Al$_2$O$_3$ on graphene using monolayer hBN as interfacial layer

The deposition of dielectric materials on graphene is one of the bottlenecks for unlocking the potential of graphene in electronic applications. In this paper we demonstrate the plasma enhanced atomic layer deposition of 10 nm thin high quality Al$_2$O$_3$ on graphene using a monolayer of hBN as protection layer. Raman spectroscopy was performed to analyze possible structural changes of the graphene lattice caused by the plasma deposition. The results show that a monolayer of hBN in combination with an optimized deposition process can effectively protect graphene from damage, while significant damage was observed without an hBN layer. Electrical characterization of double gated graphene field effect devices confirms that the graphene did not degrade during the plasma deposition of Al$_2$O$_3$. The leakage current densities were consistently below 1 nA/mm for electric fields across the insulators of up to 8 MV/cm, with irreversible breakdown happening above. Such breakdown electric fields are typical for Al$_2$O$_3$ and can be seen as an indicator for high quality dielectric films.

cond-mat.mtrl-sci↗

arXiv2022

Ultrafast Electron Diffraction: Visualizing Dynamic States of Matter

Since the discovery of electron-wave duality, electron scattering instrumentation has developed into a powerful array of techniques for revealing the atomic structure of matter. Beyond detecting local lattice variations in equilibrium structures, recent research efforts have been directed towards the long sought-after dream of visualizing the dynamic evolution of matter in real-time. The atomic behavior at ultrafast timescales carries critical information on phase transition and chemical reaction dynamics, the coupling of electronic and nuclear degrees of freedom in materials and molecules, the correlation between structure, function and previously hidden metastable or nonequilibrium states of matter. Ultrafast electron pulses play an essential role in this scientific endeavor, and their generation has been facilitated by rapid technical advances in both ultrafast laser and particle accelerator technologies. This review presents a summary of the remarkable developments in this field over the last few decades. The physics and technology of ultrafast electron beams is presented with an emphasis on the figures of merit most relevant for ultrafast electron diffraction (UED) experiments. We discuss recent developments in the generation, manipulation and characterization of ultrashort electron beams aimed at improving the combined spatio-temporal resolution of these measurements. The fundamentals of electron scattering from atomic matter and the theoretical frameworks for retrieving dynamic structural information from solid-state and gas-phase samples are described, together with essential experimental techniques and several landmark works. Ultrafast electron probes with ever improving capabilities, combined with other complementary photon-based or spectroscopic approaches, hold tremendous potential for revolutionizing our ability to observe and understand energy and matter at atomic scales.

physics.ins-det↗

arXiv2022

Direct view of phonon dynamics in atomically thin MoS$_{2}$

Transition metal dichalcogenide monolayers and heterostructures are highly tunable material systems that provide excellent models for physical phenomena at the two-dimensional (2D) limit. While most studies to date have focused on electrons and electron-hole pairs, phonons also play essential roles. Here, we apply ultrafast electron diffraction and diffuse scattering to directly quantify, with time and momentum resolution, electron-phonon coupling (EPC) in monolayer molybdenum disulfide (MoS$_{2}$) and phonon transport from the monolayer to a silicon nitride (Si$_3$N$_4$) substrate. Optically generated hot carriers result in a profoundly anisotropic distribution of phonons in the monolayer on the $\sim$ 5 ps time scale. A quantitative comparison with ab-initio ultrafast dynamics simulations reveals the essential role of dielectric screening in weakening EPC. Thermal transport from the monolayer to the substrate occurs with the phonon system far from equilibrium. While screening in 2D is known to strongly affect equilibrium properties, our findings extend this understanding to the dynamic regime.

cond-mat.mtrl-sci↗

arXiv2022

Role of substrate surface morphology on the performance of graphene inks for flexible electronics

Two-dimensional (2D) materials, such as graphene, are seen as potential candidates for fabricating electronic devices and circuits on flexible substrates. Inks or dispersions of 2D materials can be deposited on flexible substrates by large-scale coating techniques, such as inkjet printing and spray coating. One of the main issues in coating processes is nonuniform deposition of inks, which may lead to large variations of properties across the substrates. Here, we investigate the role of surface morphology on the performance of graphene ink deposited on different paper substrates with specific top coatings. Substrates with good wetting properties result in reproducible thin films and electrical properties with low sheet resistance. The correct choice of surface morphology enables high-performance films without postdeposition annealing or treatment. Scanning terahertz time-domain spectroscopy (THz-TDS) is introduced to evaluate both the uniformity and the local conductivity of graphene inks on paper. A paper-based strain gauge is demonstrated and a variable resistor acts as an on-off switch for operating an LED. Customized surfaces can thus help in unleashing the full potential of ink-based 2D materials.

physics.app-ph↗

arXiv2021

Cayley structures and common knowledge

We investigate multi-agent epistemic modal logic with common knowledge modalities for groups of agents and obtain van Benthem style model-theoretic characterisations, in terms of bisimulation invariance of classical first-order logic over the non-elementary classes of (finite or arbitrary) common knowledge Kripke frames. The technical challenges posed by the reachability and transitive closure features of the derived accessibility relations are dealt with through passage to (finite) bisimilar coverings of epistemic frames by Cayley graphs of permutation groups whose generators are associated with the agents. Epistemic frame structure is here induced by an algebraic coset structure. Cayley structures with specific acyclicity properties support a locality analysis at different levels of granularity as induced by distance measures w.r.t. various coalitions of agents.

math.LO↗

arXiv2021

Terahertz rectennas on flexible substrates based on one-dimensional metal-insulator-graphene diodes

Flexible energy harvesting devices fabricated in scalable thin-film processes are important components in the field of wearable electronics and the Internet of Things. We present a flexible rectenna based on a one-dimensional junction metal-insulator-graphene diode, which offers low-noise power detection at terahertz (THz) frequencies. The rectennas are fabricated on a flexible polyimide film in a scalable process by photolithography using graphene grown by chemical vapor deposition. A one-dimensional junction area reduces the junction capacitance and enables operation in the D-band (110 - 170 GHz). The rectenna on polyimide shows a maximum voltage responsivity of 80 V/W at 167 GHz in free space measurements and minimum noise equivalent power of 80 pW/$\sqrt{\text{Hz}}$.

physics.app-ph↗

arXiv2021

Optimizing the Stability of FETs Based on Two-Dimensional Materials by Fermi Level Tuning

Despite the enormous progress achieved during the past decade, nanoelectronic devices based on two-dimensional (2D) semiconductors still suffer from a limited electrical stability. This limited stability has been shown to result from the interaction of charge carriers originating from the 2D semiconductors with defects in the surrounding insulating materials. The resulting dynamically trapped charges are particularly relevant in field effect transistors (FETs) and can lead to a large hysteresis, which endangers stable circuit operation. Based on the notion that charge trapping is highly sensitive to the energetic alignment of the channel Fermi-level with the defect band in the insulator, we propose to optimize device stability by deliberately tuning the channel Fermi-level. Our approach aims to minimize the amount of electrically active border traps without modifying the total number of traps in the insulator. We demonstrate the applicability of this idea by using two differently doped graphene layers in otherwise identical FETs with Al$_2$O$_3$ as a gate oxide mounted on a flexible substrate. Our results clearly show that by increasing the distance of the Fermi-level to the defect band, the hysteresis is significantly reduced. Furthermore, since long-term reliability is also very sensitive to trapped charges, a corresponding improvement in reliability is both expected theoretically and demonstrated experimentally. Our study paves the way for the construction of more stable and reliable 2D FETs in which the channel material is carefully chosen and tuned to maximize the energetic distance between charge carriers in the channel and the defect bands in the insulator employed.

physics.app-ph↗

arXiv2021

A First-Order Framework for Inquisitive Modal Logic

We present a natural standard translation of inquisitive modal logic InqML into first-order logic over the natural two-sorted relational representations of the intended models, which captures the built-in higher-order features of InqML. This translation is based on a graded notion of flatness that ties the inherent second-order, team-semantic features of InqML over information states to subsets or tuples of bounded size. A natural notion of pseudo-models, which relaxes the non-elementary constraints on the intended models, gives rise to an elementary, purely model-theoretic proof of the compactness property for InqML. Moreover, we prove a Hennessy-Milner theorem for InqML, which crucially uses $ω$-saturated pseudo-models and the new standard translation. As corollaries we also obtain van Benthem style characterisation theorems.

math.LO↗

arXiv2021

Dispersive sensing of charge states in a bilayer graphene quantum dot

We demonstrate dispersive readout of individual charge states in a gate-defined few-electron quantum dot in bilayer graphene. We employ a radio frequency reflectometry circuit, where an LC resonator with a resonance frequency close to 280 MHz is directly coupled to an ohmic contact of the quantum dot device. The detection scheme based on changes in the quantum capacitance operates over a wide gate-voltage range and allows to probe excited states down to the single-electron regime. Crucially, the presented sensing technique avoids the use of an additional, capacitively coupled quantum device such as a quantum point contact or single electron transistor, making dispersive sensing particularly interesting for gate-defined graphene quantum dots.

cond-mat.mes-hall↗