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

Fabian Müller

Fabian Müller contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
hep-latLogic in Computer ScienceComputational Complexityhep-phnucl-thRobotics

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
6topics
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

5 published item(s)

preprint2022arXiv

Relativistic-invariant formulation of the NREFT three-particle quantization condition

A three-particle quantization condition on the lattice is written down in a manifestly relativistic-invariant form by using a generalization of the non-relativistic effective field theory (NREFT) approach. Inclusion of the higher partial waves is explicitly addressed. A partial diagonalization of the quantization condition into the various irreducible representations of the (little groups of the) octahedral group has been carried out both in the center-of-mass frame and in moving frames. Furthermore, producing synthetic data in a toy model, the relativistic invariance is explicitly demonstrated for the three-body bound state spectrum.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Spurious poles in a finite volume

Using effective-range expansion for the two-body amplitudes may generate spurious sub-threshold poles outside of the convergence range of the expansion. In the infinite volume, the emergence of such poles leads to the inconsistencies in the three-body equations, e.g., to the breakdown of unitarity. We investigate the effect of the spurious poles on the three-body quantization condition in a finite volume and show that it leads to a peculiar dependence of the energy levels on the box size $L$. Furthermore, within a simple model, it is demonstrated that the procedure for the removal of these poles, which was recently proposed in Ref.[1] in the infinite volume, can be adapted to the finite-volume calculations. The structure of the exact energy levels is reproduced with an accuracy that systematically improves order by order in the EFT expansion.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Counting of Teams in First-Order Team Logics

We study descriptive complexity of counting complexity classes in the range from #P to #$\cdot$NP. A corollary of Fagin's characterization of NP by existential second-order logic is that #P can be logically described as the class of functions counting satisfying assignments to free relation variables in first-order formulae. In this paper we extend this study to classes beyond #P and extensions of first-order logic with team semantics. These team-based logics are closely related to existential second-order logic and its fragments, hence our results also shed light on the complexity of counting for extensions of FO in Tarski's semantics. Our results show that the class #$\cdot$NP can be logically characterized by independence logic and existential second-order logic, whereas dependence logic and inclusion logic give rise to subclasses of #$\cdot$NP and #P , respectively. Our main technical result shows that the problem of counting satisfying assignments for monotone Boolean $Σ_1$-formulae is #$\cdot$NP-complete as well as complete for the function class generated by dependence logic.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Enumerating Teams in First-Order Team Logics

We start the study of the enumeration complexity of different satisfiability problems in first-order team logics. Since many of our problems go beyond DelP, we use a framework for hard enumeration analogous to the polynomial hierarchy, which was recently introduced by Creignou et al. (Discret. Appl. Math. 2019). We show that the problem to enumerate all satisfying teams of a fixed formula in a given first-order structure is DelNP-complete for certain formulas of dependence logic and independence logic. For inclusion logic formulas, this problem is even in DelP. Furthermore, we study the variants of this problems where only maximal, minimal, maximum and minimum solutions, respectively, are considered. For the most part these share the same complexity as the original problem. An exception is the minimum-variant for inclusion logic, which is DelNP-complete.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Systematic Analysis of the Sensor Coverage of Automated Vehicles Using Phenomenological Sensor Models

The objective of this paper is to propose a systematic analysis of the sensor coverage of automated vehicles. Due to an unlimited number of possible traffic situations, a selection of scenarios to be tested must be applied in the safety assessment of automated vehicles. This paper describes how phenomenological sensor models can be used to identify system-specific relevant scenarios. In automated driving, the following sensors are predominantly used: camera, ultrasonic, \radar and \lidarohne. Based on the literature, phenomenological models have been developed for the four sensor types, which take into account phenomena such as environmental influences, sensor properties and the type of object to be detected. These phenomenological models have a significantly higher reliability than simple ideal sensor models and require lower computing costs than realistic physical sensor models, which represents an optimal compromise for systematic investigations of sensor coverage. The simulations showed significant differences between different system configurations and thus support the system-specific selection of relevant scenarios for the safety assessment of automated vehicles.

0 citations0 reviewsNo code linkedOpen access