Researcher profile

J. Hoffmann

J. Hoffmann contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

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

14 published item(s)

preprint2022arXiv

AT2019azh: an unusually long-lived, radio-bright thermal tidal disruption event

Tidal disruption events (TDEs) occur when a star is destroyed by a supermassive black hole at the center of a galaxy, temporarily increasing the accretion rate onto the black hole and producing a bright flare across the electromagnetic spectrum. Radio observations of TDEs trace outflows and jets that may be produced. Radio detections of the outflows from TDEs are uncommon, with only about one third of TDEs discovered to date having published radio detections. Here we present over two years of comprehensive, multi-radio frequency monitoring observations of the tidal disruption event AT2019azh taken with the Very Large Array (VLA) and MeerKAT radio telescopes from approximately 10 days pre-optical peak to 810 days post-optical peak. AT2019azh shows unusual radio emission for a thermal TDE, as it brightened very slowly over two years, and showed fluctuations in the synchrotron energy index of the optically thin synchrotron emission from 450 days post-disruption. Based on the radio properties, we deduce that the outflow in this event is likely non-relativistic and could be explained by a spherical outflow arising from self-stream intersections, or a mildly collimated outflow from accretion onto the supermassive black hole. This data-set provides a significant contribution to the observational database of outflows from TDEs, including the earliest radio detection of a non-relativistic TDE to date, relative to the optical discovery.

preprint2013arXiv

Hypernuclear spectroscopy of products from 6Li projectiles on a carbon target at 2 AGeV

A novel experiment, aiming at demonstrating the feasibility of hypernuclear spectroscopy with heavy-ion beams, was conducted. Using the invariant mass method, the spectroscopy of hypernuclear products of 6Li projectiles on a carbon target at 2 AGeV was performed. Signals of the Λ-hyperon and 3ΛH and 4ΛH hypernuclei were observed for final states of p+π^-, 3He+π^- and 4He+π^-, respectively, with significance values of 6.7, 4.7 and 4.9σ. By analyzing the proper decay time from secondary vertex distribution with the unbinned maximum likelihood fitting method, their lifetime values were deduced to be $262 ^{+56}_{-43} \pm 45$ ps for Λ, $183 ^{+42}_{-32} \pm 37$ ps for 3ΛH, and $140 ^{+48}_{-33}\pm 35 $ ps for 4ΛH.

preprint2011arXiv

A Large-Scale FPGA-Based Trigger and Dead-Time Free DAQ System for the Kaos Spectrometer at MAMI

The Kaos spectrometer is maintained by the A1 collaboration at the Mainz Microtron MAMI with a focus on the study of (e,e'K^+) coincidence reactions. For its electron-arm two vertical planes of fiber arrays, each comprising approximately 10 000 fibers, are operated close to zero degree scattering angle and in close proximity to the electron beam. A nearly dead-time free DAQ system to acquire timing and tracking information has been installed for this spectrometer arm. The signals of 144 multi-anode photomultipliers are collected by 96-channel front-end boards, digitized by double-threshold discriminators and the signal time is picked up by state-of-the-art F1 time-to-digital converter chips. In order to minimize background rates a sophisticated trigger logic was implemented in newly developed Vuprom modules. The trigger performs noise suppression, signal cluster finding, particle tracking, and coincidence timing, and can be expanded for kinematical matching (e'K^+) coincidences. The full system was designed to process more than 4 000 read-out channels and to cope with the high electron flux in the spectrometer and the high count rate requirement of the detectors. It was successfully in-beam tested at MAMI in 2009.

preprint2011arXiv

Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4

In a field of research about general reasoning mechanisms, it is essential to have appropriate benchmarks. Ideally, the benchmarks should reflect possible applications of the developed technology. In AI Planning, researchers more and more tend to draw their testing examples from the benchmark collections used in the International Planning Competition (IPC). In the organization of (the deterministic part of) the fourth IPC, IPC-4, the authors therefore invested significant effort to create a useful set of benchmarks. They come from five different (potential) real-world applications of planning: airport ground traffic control, oil derivative transportation in pipeline networks, model-checking safety properties, power supply restoration, and UMTS call setup. Adapting and preparing such an application for use as a benchmark in the IPC involves, at the time, inevitable (often drastic) simplifications, as well as careful choice between, and engineering of, domain encodings. For the first time in the IPC, we used compilations to formulate complex domain features in simple languages such as STRIPS, rather than just dropping the more interesting problem constraints in the simpler language subsets. The article explains and discusses the five application domains and their adaptation to form the PDDL test suites used in IPC-4. We summarize known theoretical results on structural properties of the domains, regarding their computational complexity and provable properties of their topology under the h+ function (an idealized version of the relaxed plan heuristic). We present new (empirical) results illuminating properties such as the quality of the most wide-spread heuristic functions (planning graph, serial planning graph, and relaxed plan), the growth of propositional representations over instance size, and the number of actions available to achieve each fact; we discuss these data in conjunction with the best results achieved by the different kinds of planners participating in IPC-4.

preprint2011arXiv

On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm

The paper addresses the problem of computing goal orderings, which is one of the longstanding issues in AI planning. It makes two new contributions. First, it formally defines and discusses two different goal orderings, which are called the reasonable and the forced ordering. Both orderings are defined for simple STRIPS operators as well as for more complex ADL operators supporting negation and conditional effects. The complexity of these orderings is investigated and their practical relevance is discussed. Secondly, two different methods to compute reasonable goal orderings are developed. One of them is based on planning graphs, while the other investigates the set of actions directly. Finally, it is shown how the ordering relations, which have been derived for a given set of goals G, can be used to compute a so-called goal agenda that divides G into an ordered set of subgoals. Any planner can then, in principle, use the goal agenda to plan for increasing sets of subgoals. This can lead to an exponential complexity reduction, as the solution to a complex planning problem is found by solving easier subproblems. Since only a polynomial overhead is caused by the goal agenda computation, a potential exists to dramatically speed up planning algorithms as we demonstrate in the empirical evaluation, where we use this method in the IPP planner.

preprint2011arXiv

Ordered Landmarks in Planning

Many known planning tasks have inherent constraints concerning the best order in which to achieve the goals. A number of research efforts have been made to detect such constraints and to use them for guiding search, in the hope of speeding up the planning process. We go beyond the previous approaches by considering ordering constraints not only over the (top-level) goals, but also over the sub-goals that will necessarily arise during planning. Landmarks are facts that must be true at some point in every valid solution plan. We extend Koehler and Hoffmann's definition of reasonable orders between top level goals to the more general case of landmarks. We show how landmarks can be found, how their reasonable orders can be approximated, and how this information can be used to decompose a given planning task into several smaller sub-tasks. Our methodology is completely domain- and planner-independent. The implementation demonstrates that the approach can yield significant runtime performance improvements when used as a control loop around state-of-the-art sub-optimal planning systems, as exemplified by FF and LPG.

preprint2011arXiv

Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting

We present a new algorithm for probabilistic planning with no observability. Our algorithm, called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-FF to problems with probabilistic uncertainty about both the initial state and action effects. Specifically, Probabilistic-FF combines Conformant-FFs techniques with a powerful machinery for weighted model counting in (weighted) CNFs, serving to elegantly define both the search space and the heuristic function. Our evaluation of Probabilistic-FF shows its fine scalability in a range of probabilistic domains, constituting a several orders of magnitude improvement over previous results in this area. We use a problematic case to point out the main open issue to be addressed by further research.

preprint2011arXiv

The Deterministic Part of IPC-4: An Overview

We provide an overview of the organization and results of the deterministic part of the 4th International Planning Competition, i.e., of the part concerned with evaluating systems doing deterministic planning. IPC-4 attracted even more competing systems than its already large predecessors, and the competition event was revised in several important respects. After giving an introduction to the IPC, we briefly explain the main differences between the deterministic part of IPC-4 and its predecessors. We then introduce formally the language used, called PDDL2.2 that extends PDDL2.1 by derived predicates and timed initial literals. We list the competing systems and overview the results of the competition. The entire set of data is far too large to be presented in full. We provide a detailed summary; the complete data is available in an online appendix. We explain how we awarded the competition prizes.

preprint2011arXiv

The FF Planning System: Fast Plan Generation Through Heuristic Search

We describe and evaluate the algorithmic techniques that are used in the FF planning system. Like the HSP system, FF relies on forward state space search, using a heuristic that estimates goal distances by ignoring delete lists. Unlike HSP's heuristic, our method does not assume facts to be independent. We introduce a novel search strategy that combines hill-climbing with systematic search, and we show how other powerful heuristic information can be extracted and used to prune the search space. FF was the most successful automatic planner at the recent AIPS-2000 planning competition. We review the results of the competition, give data for other benchmark domains, and investigate the reasons for the runtime performance of FF compared to HSP.

preprint2011arXiv

The Metric-FF Planning System: Translating "Ignoring Delete Lists" to Numeric State Variables

Planning with numeric state variables has been a challenge for many years, and was a part of the 3rd International Planning Competition (IPC-3). Currently one of the most popular and successful algorithmic techniques in STRIPS planning is to guide search by a heuristic function, where the heuristic is based on relaxing the planning task by ignoring the delete lists of the available actions. We present a natural extension of ``ignoring delete lists'' to numeric state variables, preserving the relevant theoretical properties of the STRIPS relaxation under the condition that the numeric task at hand is ``monotonic''. We then identify a subset of the numeric IPC-3 competition language, ``linear tasks'', where monotonicity can be achieved by pre-processing. Based on that, we extend the algorithms used in the heuristic planning system FF to linear tasks. The resulting system Metric-FF is, according to the IPC-3 results which we discuss, one of the two currently most efficient numeric planners.

preprint2011arXiv

Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks

Between 1998 and 2004, the planning community has seen vast progress in terms of the sizes of benchmark examples that domain-independent planners can tackle successfully. The key technique behind this progress is the use of heuristic functions based on relaxing the planning task at hand, where the relaxation is to assume that all delete lists are empty. The unprecedented success of such methods, in many commonly used benchmark examples, calls for an understanding of what classes of domains these methods are well suited for. In the investigation at hand, we derive a formal background to such an understanding. We perform a case study covering a range of 30 commonly used STRIPS and ADL benchmark domains, including all examples used in the first four international planning competitions. We *prove* connections between domain structure and local search topology -- heuristic cost surface properties -- under an idealized version of the heuristic functions used in modern planners. The idealized heuristic function is called h^+, and differs from the practically used functions in that it returns the length of an *optimal* relaxed plan, which is NP-hard to compute. We identify several key characteristics of the topology under h^+, concerning the existence/non-existence of unrecognized dead ends, as well as the existence/non-existence of constant upper bounds on the difficulty of escaping local minima and benches. These distinctions divide the (set of all) planning domains into a taxonomy of classes of varying h^+ topology. As it turns out, many of the 30 investigated domains lie in classes with a relatively easy topology. Most particularly, 12 of the domains lie in classes where FFs search algorithm, provided with h^+, is a polynomial solving mechanism. We also present results relating h^+ to its approximation as implemented in FF. The behavior regarding dead ends is provably the same. We summarize the results of an empirical investigation showing that, in many domains, the topological qualities of h^+ are largely inherited by the approximation. The overall investigation gives a rare example of a successful analysis of the connections between typical-case problem structure, and search performance. The theoretical investigation also gives hints on how the topological phenomena might be automatically recognizable by domain analysis techniques. We outline some preliminary steps we made into that direction.

preprint2009arXiv

Electron-ion Recombination of Fe X forming Fe IX and of Fe XI forming Fe X: Laboratory Measurements and Theoretical Calculations

We have measured electron-ion recombination for Fe$^{9+}$ forming Fe$^{8+}$ and for Fe$^{10+}$ forming Fe$^{9+}$ using merged beams at the TSR heavy-ion storage-ring in Heidelberg. The measured merged beams recombination rate coefficients (MBRRC) for relative energies from 0 to 75 eV are presented, covering all dielectronic recombination (DR) resonances associated with 3s->3p and 3p->3d core transitions in the spectroscopic species Fe X and Fe XI, respectively. We compare our experimental results to multi-configuration Breit-Pauli (MCBP) calculations and find significant differences. From the measured MBRRC we have extracted the DR contributions and transform them into plasma recombination rate coefficients (PRRC) for astrophysical plasmas with temperatures from 10^2 to 10^7 K. This spans across the regimes where each ion forms in photoionized or in collisionally ionized plasmas. For both temperature regimes the experimental uncertainties are 25% at a 90% confidence level. The formerly recommended DR data severely underestimated the rate coefficient at temperatures relevant for photoionized gas. At the temperatures relevant for photoionized gas, we find agreement between our experimental results and MCBP theory. At the higher temperatures relevant for collisionally ionized gas, the MCBP calculations yield a Fe XI DR rate coefficent which is significantly larger than the experimentally derived one. We present parameterized fits to our experimentally derived DR PRRC.

preprint2008arXiv

Anisotropic fragmentation in low-energy dissociative recombination

On a dense energy grid reaching up to 75 meV electron collision energy the fragmentation angle and the kinetic energy release of neutral dissociative recombination fragments have been studied in a twin merged beam experiment. The anisotropy described by Legendre polynomials and the extracted rotational state contributions were found to vary on a likewise narrow energy scale as the rotationally averaged rate coefficient. For the first time angular dependences higher than 2$^{nd}$ order could be deduced. Moreover, a slight anisotropy at zero collision energy was observed which is caused by the flattened velocity distribution of the electron beam.

preprint2008arXiv

Spectroscopy and dissociative recombination of the lowest rotational states of H3+

The dissociative recombination of the lowest rotational states of H3+ has been investigated at the storage ring TSR using a cryogenic 22-pole radiofrequency ion trap as injector. The H3+ was cooled with buffer gas at ~15 K to the lowest rotational levels, (J,G)=(1,0) and (1,1), which belong to the ortho and para proton-spin symmetry, respectively. The rate coefficients and dissociation dynamics of H3+(J,G) populations produced with normal- and para-H2 were measured and compared to the rate and dynamics of a hot H3+ beam from a Penning source. The production of cold H3+ rotational populations was separately studied by rovibrational laser spectroscopy using chemical probing with argon around 55 K. First results indicate a ~20% relative increase of the para contribution when using para-H2 as parent gas. The H3+ rate coefficient observed for the para-H2 source gas, however, is quite similar to the H3+ rate for the normal-H2 source gas. The recombination dynamics confirm that for both source gases, only small populations of rotationally excited levels are present. The distribution of 3-body fragmentation geometries displays a broad part of various triangular shapes with an enhancement of ~12% for events with symmetric near-linear configurations. No large dependences on internal state or collision energy are found.