BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Tobias Schaefer

Tobias Schaefer appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math-phmath.MPnlin.PSphysics.flu-dynArtificial Intelligencecond-mat.stat-mechInformation TheoryLogic in Computer Sciencemath.ITmath.NAnlin.SI

Catalog footprint

What is connected

7works
11topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

7 published item(s)

preprint2015arXiv

A state vector algebra for algorithmic implementation of second-order logic

We present a mathematical framework for mapping second-order logic relations onto a simple state vector algebra. Using this algebra, basic theorems of set theory can be proven in an algorithmic way, hence by an expert system. We illustrate the use of the algebra with simple examples and show that, in principle, all theorems of basic set theory can be recovered in an elementary way. The developed technique can be used for an automated theorem proving in the 1st and 2nd order logic.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Averaging and spectral properties for the 2D advection-diffusion equation in the semi-classical limit for vanishing diffusivity

We consider the two-dimensional advection-diffusion equation on a bounded domain subject to either Dirichlet or von Neumann boundary conditions and study both time-independent and time-periodic cases involving Liouville integrable Hamiltonians that satisfy conditions conducive to applying the averaging principle. Transformation to action-angle coordinates permits averaging in time and angle, leading to an underlying eigenvalue equation that allows for separation of the angle and action coordinates. The result is a one-dimensional second-order equation involving an anti-symmetric imaginary potential. For radial flows on a disk or an annulus, we rigorously apply existing complex-plane WKBJ methods to study the spectral properties in the semi-classical limit for vanishing diffusivity. In this limit, the spectrum is found to be a complicated set consisting of lines related to Stokes graphs. Eigenvalues in the neighborhood of these graphs exhibit nonlinear scaling with respect to diffusivity leading to convection-enhanced rates of dissipation (relaxation, mixing) for initial data which are mean-free in the angle coordinate. These branches coexist with a diffusive branch of eigenvalues that scale linearly with diffusivity and contain the principal eigenvalue (no dissipation enhancement).

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Propagation of ultra-short solitons in stochastic Maxwell's equations

We study the propagation of ultra-short short solitons in a cubic nonlinear medium modeled by nonlinear Maxwell's equations with stochastic variations of media. We consider three cases: variations of (a) the dispersion, (b) the phase velocity, (c) the nonlinear coefficient. Using a modified multi-scale expansion for stochastic systems, we derive new stochastic generalizations of the short pulse equation that approximate the solutions of stochastic nonlinear Maxwell's equations. Numerical simulations show that soliton solutions of the short pulse equation propagate stably in stochastic nonlinear Maxwell's equations and that the generalized stochastic short pulse equations approximate the solutions to the stochastic Maxwell's equations over the distances under consideration. This holds for both a pathwise comparison of the stochastic equations as well as for a comparison of the resulting probability densities.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The space-fractional diffusion-advection equation: Analytical solutions and critical assessment of numerical solutions

The present work provides a critical assessment of numerical solutions of the space-fractional diffusion-advection equation, which is of high significance for applications in various natural sciences. In view of the fact that, in contrast to the case of normal (Gaussian) diffusion, no standard methods and corresponding numerical codes for anomalous diffusion problems have been established yet, it is of importance to critically assess the accuracy and performance of existing approaches. Three numerical methods, namely a finite-difference method, the so-called matrix transfer technique, and a Monte-Carlo method based on the solution of stochastic differential equations, are analyzed and compared by applying them to three selected test problems for which analytical or semi-analytical solutions were known or are newly derived. The accuracy and performance differences are critically discussed with the result that the use of stochastic differential equations appears to be advantageous.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Higher-order corrections to the short-pulse equation

Using renormalization group techniques, we derive an extended short- pulse equation as approximation to a nonlinear wave equation. We investigate the new equation numerically and show that the new equation captures efficiently higher- order effects on pulse propagation in cubic nonlinear media. We illustrate our findings using one- and two-soliton solutions of the first-order short-pulse equation as initial conditions in the nonlinear wave equation.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Symmetrization of advection-diffusion operators

We present a new method to transform an expanded class of non-selfadjoint advection-diffusion operators into self-adjoint operators. The transform is based on a combination of a point transform and Lie transform in conjunction with an asymptotic expansion in terms of the diffusivity. We illustrate the method in the context of simple shear flow where the expansion is exact and all transformation steps can be performed explicitly.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Quickest detection in coupled systems

This work considers the problem of quickest detection of signals in a coupled system of N sensors, which receive continuous sequential observations from the environment. It is assumed that the signals, which are modeled a general Ito processes, are coupled across sensors, but that their onset times may differ from sensor to sensor. The objective is the optimal detection of the first time at which any sensor in the system receives a signal. The problem is formulated as a stochastic optimization problem in which an extended average Kullback- Leibler divergence criterion is used as a measure of detection delay, with a constraint on the mean time between false alarms. The case in which the sensors employ cumulative sum (CUSUM) strategies is considered, and it is proved that the minimum of N CUSUMs is asymptotically optimal as the mean time between false alarms increases without bound.

0 citations0 reviewsNo code linkedOpen access