BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Thomas Meyer

Thomas Meyer contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
Artificial IntelligenceLogic in Computer Sciencephysics.app-phcond-mat.mtrl-scicond-mat.softmath-phmath.COmath.MPmath.PRMethodologyphysics.chem-phquant-ph

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
12topics
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

7 published item(s)

preprint2026arXiv

Defeasible Conditionals using Answer Set Programming

Defeasible entailment is concerned with drawing plausible conclusions from incomplete information. A foundational framework for modelling defeasible entailment is the KLM framework. Introduced by Kraus, Lehmann, and Magidor, the KLM framework outlines several key properties for defeasible entailment. One of the most prominent algorithms within this framework is Rational Closure (RC). This paper presents a declarative definition for computing RC using Answer Set Programming (ASP). Our approach enables the automatic construction of the minimal ranked model from a given knowledge base and supports entailment checking for specified queries. We formally prove the correctness of our ASP encoding and conduct empirical evaluations to compare the performance of our implementation with that of existing imperative implementations, specifically the InfOCF solver. The results demonstrate that our ASP-based approach adheres to RC's theoretical foundations and offers improved computational efficiency.

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

Interplay of Structure and Dynamics in Solid Polymer Electrolytes: a Molecular Dynamics Study of LiPF6/polypropylene carbonate

Solid-state batteries (SSB) are emerging as next-generation electrochemical energy storage devices. Achieving high energy density in SSB relies on solid polymer electrolytes (SPE) that are electrochemically stable against both lithium metal and high-potential positive electrodes, two conditions that are difficult to satisfy without chemical degradation. In this work, molecular dynamics simulations are employed to investigate the relationship between structure and dynamics in carbonate-based SPE composed of polypropylene carbonate and lithium hexafluorophosphate (LiPF$_6$), at salt concentrations ranging from 0.32 to 1.21 mol$/$kg. Structural properties are analyzed under ambient pressure at the experimentally relevant temperature $T = 353$ K. Since the slow dynamical processes governing ion transport in these systems are inaccessible to direct molecular dynamics, transport properties are simulated at elevated temperatures up to 900 K and extrapolated to $T = 353$ K using Arrhenius behavior. The results reveal strong ionic correlations, a limited fraction of free ions, and a predominance of negatively charged clusters, especially at high salt concentration. At high temperature, the self-diffusion coefficient of Li$^+$ exceeds that of PF$_6^-$ due to weaker Li$^+$-carbonate and ion-ion interactions. However, at $T = 353$ K, Li$^+$ mobility becomes lower than that of the anion, consistent with typical experimental observations in SPE. As expected, the ionic conductivity $σ$ increases with temperature, while at $T = 353$ K it exhibits a maximum for salt concentrations between 1.0 and 1.1 mol$/$kg. Overall, the estimated physico-chemical parameters highlight the key role of ion correlations in SPE and suggest strategies to optimize electrolyte performance. The Arrhenius extrapolation approach used here provides valuable insight into ion transport mechanisms in solid polymer electrolytes.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Laplace and Dirac Operators on Graphs

Discrete versions of the Laplace and Dirac operators haven been studied in the context of combinatorial models of statistical mechanics and quantum field theory. In this paper we introduce several variations of the Laplace and Dirac operators on graphs, and we investigate graph-theoretic versions of the Schrödinger and Dirac equation. We provide a combinatorial interpretation for solutions of the equations and we prove gluing identities for the Dirac operator on lattice graphs, as well as for graph Clifford algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On Rational Entailment for Propositional Typicality Logic

Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching classical propositional logic with a typicality operator capturing the most typical (alias normal or conventional) situations in which a given sentence holds. The semantics of PTL is in terms of ranked models as studied in the well-known KLM approach to preferential reasoning and therefore KLM-style rational consequence relations can be embedded in PTL. In spite of the non-monotonic features introduced by the semantics adopted for the typicality operator, the obvious Tarskian definition of entailment for PTL remains monotonic and is therefore not appropriate in many contexts. Our first important result is an impossibility theorem showing that a set of proposed postulates that at first all seem appropriate for a notion of entailment with regard to typicality cannot be satisfied simultaneously. Closer inspection reveals that this result is best interpreted as an argument for advocating the development of more than one type of PTL entailment. In the spirit of this interpretation, we investigate three different (semantic) versions of entailment for PTL, each one based on the definition of rational closure as introduced by Lehmann and Magidor for KLM-style conditionals, and constructed using different notions of minimality.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Propagation of spin-waves packets in individual nano-sized yttrium iron garnet magnonic conduits

Modern-days CMOS-based computation technology is reaching its fundamental limitations. The emerging field of magnonics, which utilizes spin waves for data transport and processing, proposes a promising path to overcome these limitations. Different devices have been demonstrated recently on the macro- and microscale, but the feasibility of the magnonics approach essentially relies on the scalability of the structure feature size down to an extent of a few 10 nm, which are typical sizes for the established CMOS technology. Here, we present a study of propagating spin-wave packets in individual yttrium iron garnet (YIG) conduits with lateral dimensions down to 50 nm. Space and time resolved micro-focused Brillouin-Light-Scattering (BLS) spectroscopy is used to characterize the YIG nanostructures and measure the spin-wave decay length and group velocity directly. The revealed magnon transport at the scale comparable to the scale of CMOS proves the general feasibility of a magnon-based data processing.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Temperature dependence of spin pinning and spin-wave dispersion in nanoscopic ferromagnetic waveguides

The field of magnonics attracts significant attention due to the possibility of utilizing information coded into the spin-wave phase or amplitude to perform computation operations on the nanoscale. Recently, spin waves were investigated in Yttrium Iron Garnet (YIG) waveguides with widths ranging down to 50 nm and aspect ratios thickness over width approaching unity. A critical width was found, below which the exchange interaction suppresses the dipolar pinning phenomenon and the system becomes unpinned. Here we continue these investigations and analyse the pinning phenomenon and spin-wave dispersions as a function of temperature, thickness and material of choice. Higher order modes, the influence of a finite wavevector along the waveguide and the impact of the pinning phenomenon on the spin-wave lifetime are discussed as well as the influence of a trapezoidal cross section and edge roughness of the waveguides. The presented results are of particular interest for potential applications in magnonic devices and the incipient field of quantum magnonics at cryogenic temperatures.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

On estimation for Brownian motion governed by telegraph process with multiple off states

Brownian motion whose infinitesimal variance changes according to a three-state continuous time Markov Chain is studied. This Markov Chain can be viewed as a telegraph process with one on state and two off states. We first derive the distribution of occupation time of the on state. Then the result is used to develop a likelihood estimation procedure when the stochastic process at hand is observed at discrete, possibly irregularly spaced time points. The likelihood function is evaluated with the forward algorithm in the general framework of hidden Markov models. The analytic results are confirmed with simulation studies. The estimation procedure is applied to analyze the position data from a mountain lion.

0 citations0 reviewsNo code linkedOpen access