Searcharxiv⌕ Search

arXiv subjects

Thomas Meyer

Publications and source records attributed to Thomas Meyer.

At least 37 records · Page 2Linked to original sources

Moving-Resting Process with Measurement Error in Animal Movement Modeling

Statistical modeling of animal movement is of critical importance. The continuous trajectory of an animal's movements is only observed at discrete, often irregularly spaced time points. Most existing models cannot handle the unequal sampling interval naturally and/or do not allow inactivity periods such as resting or sleeping. The recently proposed moving-resting (MR) model is a Brownian motion governed by a telegraph process, which allows periods of inactivity in one state of the telegraph process. The MR model shows promise in modeling the movements of predators with long inactive periods such as many felids, but the lack of accommodation of measurement errors seriously prohibits its application in practice. Here we incorporate measurement errors in the MR model and derive basic properties of the model. Inferences are based on a composite likelihood using the Markov property of the chain composed by every other observed increments. The performance of the method is validated in finite sample simulation studies. Application to the movement data of a mountain lion in Wyoming illustrates the utility of the method.

stat.ME↗

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.

physics.app-ph↗

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.

cs.AI↗

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.

physics.app-ph↗

Theoretical Foundations of Defeasible Description Logics

We extend description logics (DLs) with non-monotonic reasoning features. We start by investigating a notion of defeasible subsumption in the spirit of defeasible conditionals as studied by Kraus, Lehmann and Magidor in the propositional case. In particular, we consider a natural and intuitive semantics for defeasible subsumption, and investigate KLM-style syntactic properties for both preferential and rational subsumption. Our contribution includes two representation results linking our semantic constructions to the set of preferential and rational properties considered. Besides showing that our semantics is appropriate, these results pave the way for more effective decision procedures for defeasible reasoning in DLs. Indeed, we also analyse the problem of non-monotonic reasoning in DLs at the level of entailment and present an algorithm for the computation of rational closure of a defeasible ontology. Importantly, our algorithm relies completely on classical entailment and shows that the computational complexity of reasoning over defeasible ontologies is no worse than that of reasoning in the underlying classical DL ALC.

cs.AI↗

A Polynomial Time Subsumption Algorithm for Nominal Safe $\mathcal{ELO}_\bot$ under Rational Closure

Description Logics (DLs) under Rational Closure (RC) is a well-known framework for non-monotonic reasoning in DLs. In this paper, we address the concept subsumption decision problem under RC for nominal safe $\mathcal{ELO}_\bot$, a notable and practically important DL representative of the OWL 2 profile OWL 2 EL. Our contribution here is to define a polynomial time subsumption procedure for nominal safe $\mathcal{ELO}_\bot$ under RC that relies entirely on a series of classical, monotonic $\mathcal{EL}_\bot$ subsumption tests. Therefore, any existing classical monotonic $\mathcal{EL}_\bot$ reasoner can be used as a black box to implement our method. We then also adapt the method to one of the known extensions of RC for DLs, namely Defeasible Inheritance-based DLs without losing the computational tractability.

cs.AI↗

Optical determination of the exchange stiffness constant in an iron garnet

Brillouin light scattering measurements were performed in the backscattering geometry on a Bi-substituted rare earth iron garnet. We observed two different peaks, one attributed to a surface spin wave in the dipole-exchange regime. The other is referred to as a backscattering magnon mode, because the incident light in this case is scattered backward by exchange-dominated spin wave inside the material. We propose a method to estimate the exchange stiffness constant from the frequency of the backscattering magnon mode. The obtained value is comparable with the previously reported values for Y$ _3 $Fe$ _5 $O$ _{12} $.

physics.optics↗

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.

stat.ME↗

Maximizing Expected Impact in an Agent Reputation Network -- Technical Report

Many multi-agent systems (MASs) are situated in stochastic environments. Some such systems that are based on the partially observable Markov decision process (POMDP) do not take the benevolence of other agents for granted. We propose a new POMDP-based framework which is general enough for the specification of a variety of stochastic MAS domains involving the impact of agents on each other's reputations. A unique feature of this framework is that actions are specified as either undirected (regular) or directed (towards a particular agent), and a new directed transition function is provided for modeling the effects of reputation in interactions. Assuming that an agent must maintain a good enough reputation to survive in the network, a planning algorithm is developed for an agent to select optimal actions in stochastic MASs. Preliminary evaluation is provided via an example specification and by determining the algorithm's complexity.

cs.AI↗

Determination of the spin Hall angle in single-crystalline Pt films from spin pumping experiments

We report on the determination of the spin Hall angle and the identification of the role of the interface roughness for the inverse spin Hall effect (ISHE) in ultra-clean, defect-reduced epitaxial Pt films. By applying vector network analyzer ferromagnetic resonance spectroscopy to a series of single crystalline Fe (12 nm) /Pt (t$_\text{Pt}$) bilayers we determine the real part of the spin mixing conductance $(4.4\:\pm\:0.2)\cdot 10^{19}\: $m$^{-2}$ and reveal a very small spin diffusion length in the epitaxial Pt $(1.1\:\pm\:0.1)$ nm film. We investigate the spin pumping and ISHE in a stripe microstucture excited by a microwave coplanar waveguide (CPW) antenna. By using their different angular dependencies, we distinguish between spin rectification effects and the inverse spin Hall effect. The relatively large value of the spin Hall angle $(5.7 \pm 1.4)\: \% $ hints that interface engineering by epitaxially grown non-magnetic materials can increase the spin-to-charge current conversion efficiency.

cond-mat.mes-hall↗

Realization of a spin wave switch based on the Spin-Transfer-Torque effect

We investigate the amplification of externally excited spin waves via the Spin-Transfer-Torque (STT) effect in combination with the Spin-Hall-Effect (SHE) employing short current pulses. The results reveal that, in the case of an overcompensation of the spin wave damping, a strong nonlinear shift of the spin wave frequency spectrum occurs. In particular, this shift affects the spin wave amplification using the SHE-STT effect. In contrast, this effect allows for the realization of a spin wave switch. By determining the corresponding working point, an efficient spin wave excitation is only possible in the presence of the SHE-STT effect yielding an increased spin wave intensity of a factor of 20 compared to the absence of the SHE-STT effect.

cond-mat.mes-hall↗

Experimental investigation of the temperature-dependent magnon density and its influence on studies of spin-transfer-torque-driven systems

We present the temperature dependence of the thermal magnon density in a thin ferromagnetic layer. By employing Brillouin light scattering and varying the temperature, an increase of the magnon density accompanied by a lowering of the spin-wave frequency is observed with increasing temperature. The magnon density follows the temperature according to the Bose-Einstein distribution function which leads to an approximately linear dependency. In addition, the influence of this effect in spin-transfer-torque-driven systems is presented. In particular, the increase in the magnon density with temperature sets the limit for a suppression of magnons in charge current-driven systems. Hence, the maximum possible suppression of thermal magnons occurs at a finite current.

cond-mat.mes-hall↗

Imagining Probabilistic Belief Change as Imaging (Technical Report)

Imaging is a form of probabilistic belief change which could be employed for both revision and update. In this paper, we propose a new framework for probabilistic belief change based on imaging, called Expected Distance Imaging (EDI). EDI is sufficiently general to define Bayesian conditioning and other forms of imaging previously defined in the literature. We argue that, and investigate how, EDI can be used for both revision and update. EDI's definition depends crucially on a weight function whose properties are studied and whose effect on belief change operations is analysed. Finally, four EDI instantiations are proposed, two for revision and two for update, and probabilistic rationality postulates are suggested for their analysis.

cs.AI↗

Temporal evolution of auto-oscillations in a YIG/Pt microdisc driven by pulsed spin Hall effect-induced spin-transfer torque

The temporal evolution of pulsed Spin Hall Effect - Spin Transfer Torque (SHE-STT) driven auto-oscillations in a Yttrium Iron Garnet (YIG) / platinum (Pt) microdisc is studied experimentally using time-resolved Brillouin Light Scattering (BLS) spectroscopy. It is demonstrated that the frequency of the auto-oscillations is different in the center and at the edge of the investigated disc that is related to the simultaneous STT excitation of a bullet and a non-localized spin-wave mode. Furthermore, the magnetization precession intensity is found to saturate on a time scale of 20 ns or longer, depending on the current density. For this reason, our findings suggest that a proper ratio between the current and the pulse duration is of crucial importance for future STT-based devices.

cond-mat.mes-hall↗

Perpendicularly magnetized CoFeB multilayers with tunable interlayer exchange for synthetic ferrimagnets

A study of the multilayer system MgO/CoFeB(1.1nm)/Ta($t$)/CoFeB(0.8nm)/MgO is presented, where the two CoFeB layers are separated by a Ta interlayer of varying thickness $t$. The magnetization properties deduced from complementary techniques such as superconducting quantum interference magnetometry, ferromagnetic resonance frequency measurements and Brillouin light scattering spectroscopy can be tuned by changing the Ta thickness between $t$=0.25 nm, 0.5 nm and 0.75 nm. For $t$=0.5 nm, a ferromagnetic coupling is observed, whereas for t=0.75 nm, the antiferromagnetic coupling needed to construct a synthetic ferrimagnet is realized. In the later case, the shape of magnetic domain walls between two ferrimagnetic alignments or between a ferro- and a ferrimagnetic alignment is very different. This behavior can be interpreted as a result of the change in dipolar as well as interlayer exchange energy and domain wall pinning, which is an important conclusion for the realization of data storage devices based on synthetic ferri- and antiferromagnets.

cond-mat.mtrl-sci↗

Revising Incompletely Specified Convex Probabilistic Belief Bases

We propose a method for an agent to revise its incomplete probabilistic beliefs when a new piece of propositional information is observed. In this work, an agent's beliefs are represented by a set of probabilistic formulae -- a belief base. The method involves determining a representative set of 'boundary' probability distributions consistent with the current belief base, revising each of these probability distributions and then translating the revised information into a new belief base. We use a version of Lewis Imaging as the revision operation. The correctness of the approach is proved. The expressivity of the belief bases under consideration are rather restricted, but has some applications. We also discuss methods of belief base revision employing the notion of optimum entropy, and point out some of the benefits and difficulties in those methods. Both the boundary distribution method and the optimum entropy method are reasonable, yet yield different results.

cs.AI↗

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic

Standard belief change assumes an underlying logic containing full classical propositional logic. However, there are good reasons for considering belief change in less expressive logics as well. In this paper we build on recent investigations by Delgrande on contraction for Horn logic. We show that the standard basic form of contraction, partial meet, is too strong in the Horn case. This result stands in contrast to Delgrande's conjecture that orderly maxichoice is the appropriate form of contraction for Horn logic. We then define a more appropriate notion of basic contraction for the Horn case, influenced by the convexity property holding for full propositional logic and which we refer to as infra contraction. The main contribution of this work is a result which shows that the construction method for Horn contraction for belief sets based on our infra remainder sets corresponds exactly to Hansson's classical kernel contraction for belief sets, when restricted to Horn logic. This result is obtained via a detour through contraction for belief bases. We prove that kernel contraction for belief bases produces precisely the same results as the belief base version of infra contraction. The use of belief bases to obtain this result provides evidence for the conjecture that Horn belief change is best viewed as a hybrid version of belief set change and belief base change. One of the consequences of the link with base contraction is the provision of a representation result for Horn contraction for belief sets in which a version of the Core-retainment postulate features.

cs.AI↗

Microscopic magnetic structuring of a spin-wave waveguide by ion implantation in a Ni(81)Fe(19) layer

We investigate the spin-wave excitation in microscopic waveguides fabricated by localized Cr+ ion implantation in a ferromagnetic Ni(81)Fe(19) film. We demonstrate that spin-wave waveguides can be conveniently made by this technique. The magnetic patterning technique yields an increased damping and a reduction in saturation magnetization in the implanted regions that can be extracted from Brillouin light scattering measurements of the spin-wave excitation spectra. Furthermore, the waveguide performance as well as the internal field of the waveguide depend on the doping fluence. The results prove that localized ion implantation is a powerful tool for the patterning of magnon spintronic devices.

cond-mat.mes-hall↗