Showing 1–50 of 95 results for author: Lehmann, D

SPONGE: Open-Source Designs of Modular Articulated Soft Robots

Authors: Tim-Lukas Habich, Jonas Haack, Mehdi Belhadj, Dustin Lehmann, Thomas Seel, Moritz Schappler

Abstract: Soft-robot designs are manifold, but only a few are publicly available. Often, these are only briefly described in their publications. This complicates reproduction, and hinders the reproducibility and comparability of research results. If the designs were uniform and open source, validating researched methods on real benchmark systems would be possible. To address this, we present two variants of… ▽ More Soft-robot designs are manifold, but only a few are publicly available. Often, these are only briefly described in their publications. This complicates reproduction, and hinders the reproducibility and comparability of research results. If the designs were uniform and open source, validating researched methods on real benchmark systems would be possible. To address this, we present two variants of a soft pneumatic robot with antagonistic bellows as open source. Starting from a semi-modular design with multiple cables and tubes routed through the robot body, the transition to a fully modular robot with integrated microvalves and serial communication is highlighted. Modularity in terms of stackability, actuation, and communication is achieved, which is the crucial requirement for building soft robots with many degrees of freedom and high dexterity for real-world tasks. Both systems are compared regarding their respective advantages and disadvantages. The robots' functionality is demonstrated in experiments on airtightness, gravitational influence, position control with mean tracking errors of <3 deg, and long-term operation of cast and printed bellows. All soft- and hardware files required for reproduction are provided. △ Less

Submitted 16 April, 2024; originally announced April 2024.

Comments: Accepted for publication in IEEE Robotics and Automation Letters (RA-L) 2024

Ephemeris Matching Reveals False Positive Validated and Candidate Planets from the K2 Mission

Authors: Drake A. Lehmann, Andrew Vanderburg

Abstract: Data from the Kepler space telescope have led to the discovery of thousands of planet candidates. Most of these candidates are likely to be real exoplanets, but a significant number of false positives still contaminate the sample, especially in candidate lists from the K2 mission. Identifying and rejecting the false positives lurking in the planet candidates sample is important for prioritizing fo… ▽ More Data from the Kepler space telescope have led to the discovery of thousands of planet candidates. Most of these candidates are likely to be real exoplanets, but a significant number of false positives still contaminate the sample, especially in candidate lists from the K2 mission. Identifying and rejecting the false positives lurking in the planet candidates sample is important for prioritizing follow-up resources and measuring the most accurate population statistics. Here, we identify false positives in the K2 planet candidate sample using a technique called "ephemeris matching," in which we compare the period and transit time of different signals. When signals from different stars show the same period and time of transit, we can conclude that at least one of the two signals is contamination. We identify 43 false positives among published K2 planet candidates (nearly 2% of the complete list), one of which (K2-256 b) was previously validated as genuine exoplanet. This work increases the reliability of the K2 planet sample and helps boost confidence in the surviving planet candidates. △ Less

Submitted 5 May, 2024; v1 submitted 12 February, 2024; originally announced February 2024.

Comments: 10 pages, 6 figures, 2 tables. Accepted for publication in OJA

Projection-algebras and quantum logic

Authors: Daniel Lehmann

Abstract: P-algebras are a non-commutative, non-associative generalization of Boolean algebras that are for Quantum Logic what Boolean algebras are for Classical Logic.The closed subspaces of a separable Hilbert space form a P-algebra under orthogonal complementation and projection of a subspace onto another one. P-algebras are complemented orthomodular posets that are not lattices. Atomic algebras are defi… ▽ More P-algebras are a non-commutative, non-associative generalization of Boolean algebras that are for Quantum Logic what Boolean algebras are for Classical Logic.The closed subspaces of a separable Hilbert space form a P-algebra under orthogonal complementation and projection of a subspace onto another one. P-algebras are complemented orthomodular posets that are not lattices. Atomic algebras are defined and their main properties are studied. A substructural logic of sequents is proved to be sound and complete for the logic of P-algebras. △ Less

Submitted 10 February, 2024; originally announced February 2024.

Comments: 35 pages, 2 figures, to be submitted. Comments appreciated

MSC Class: 81P10; 06C15; 03G12

The PANDA Barrel DIRC

Authors: R. Dzhygadlo, A. Belias, A. Gerhardt, D. Lehmann, K. Peters, G. Schepers, C. Schwarz, J. Schwiening, M. Traxler, Y. Wolf, L. Schmitt, M. Böhm, K. Gumbert, S. Krauss, A. Lehmann, D. Miehling, M. Düren, A. Hayrapetyan, I. Köseoglu, M. Schmidt, T. Wasem, C. Sfienti, A. Ali

Abstract: The PANDA experiment at the international accelerator Facility for Antiproton and Ion Research in Europe (FAIR), Darmstadt, Germany, will address fundamental questions of hadron physics using $\bar{p}p$ annihilations. Excellent Particle Identification (PID) over a large range of solid angles and particle momenta will be essential to meet the objectives of the rich physics program. Charged PID in t… ▽ More The PANDA experiment at the international accelerator Facility for Antiproton and Ion Research in Europe (FAIR), Darmstadt, Germany, will address fundamental questions of hadron physics using $\bar{p}p$ annihilations. Excellent Particle Identification (PID) over a large range of solid angles and particle momenta will be essential to meet the objectives of the rich physics program. Charged PID in the target region will be provided by a Barrel DIRC (Detection of Internally Reflected Cherenkov light) counter. The Barrel DIRC, covering the polar angle range of 22-140 degrees, will provide a $π/K$ separation power of at least 3 standard deviations for charged particle momenta up to 3.5 GeV/c. The design of the Barrel DIRC features narrow radiator bars made from synthetic fused silica, an innovative multi-layer spherical lens focusing system, a prism-shaped synthetic fused silica expansion volume, and an array of lifetime-enhanced Microchannel Plate PMTs (MCP-PMTs) to detect the hit location and arrival time of the Cherenkov photons. Detailed Monte-Carlo simulations were performed, and reconstruction methods were developed to study the performance of the system. All critical aspects of the design and the performance were validated with system prototypes in a mixed hadron beam at the CERN PS. In 2020 the PANDA Barrel DIRC project advanced from the design stage to component fabrication. The series production of the fused silica bars was successfully completed in 2021 and delivery of the MCP-PMTs started in May 2022. △ Less

Submitted 12 January, 2024; originally announced January 2024.

Comments: XI International Workshop on Ring Imaging Cherenkov Detectors

Journal ref: Nucl. Instr. and Meth. Res. Sect. A 1055 (2023) 168480

Performance of the most recent Microchannel-Plate PMTs for the PANDA DIRC detectors at FAIR

Authors: S. Krauss, M. Böhm, K. Gumbert, A. Lehmann, D. Miehling, A. Belias, R. Dzhygadlo, A. Gerhardt, D. Lehmann, K. Peters, G. Schepers, C. Schwarz, J. Schwiening, M. Traxler, Y. Wolf, L. Schmitt, M. Düren, A. Hayrapetyan, I. Köseoglu, M. Schmidt, T. Wasem, C. Sfienti, A. Ali

Abstract: In the PANDA experiment at the FAIR facility at GSI two DIRC (Detection of Internally Reflected Cherenkov light) detectors will be used for $π$/K separation up to 4 GeV/c. Due to their location in a high magnetic field and other stringent requirements like high detection efficiency, low dark count rate, radiation hardness, long lifetime and good timing, MCP-PMTs (microchannel-plate photomultiplier… ▽ More In the PANDA experiment at the FAIR facility at GSI two DIRC (Detection of Internally Reflected Cherenkov light) detectors will be used for $π$/K separation up to 4 GeV/c. Due to their location in a high magnetic field and other stringent requirements like high detection efficiency, low dark count rate, radiation hardness, long lifetime and good timing, MCP-PMTs (microchannel-plate photomultiplier) were the best choice of photon sensors for the DIRC detectors in the PANDA experiment. This paper will present the performance of some of the latest 2$\times$2 inch$^2$ MCP-PMTs from Photek and Photonis, including the first mass production tubes for the PANDA Barrel DIRC from Photonis. Performance parameters like the collection efficiency (CE), quantum efficiency (QE), and gain homogeneity were determined. The effect of magnetic fields on some properties like gain and charge cloud width was investigated as well. Apart from that the spatial distribution of many internal parameters like time resolution, dark count rate, afterpulse ratio, charge sharing crosstalk and recoil electrons were measured simultaneously with a multihit capable DAQ system. The latest generation of Photonis MCP-PMTs shows an unexpected "escalation" effect where the MCP-PMT itself produces photons. △ Less

Submitted 28 November, 2023; originally announced November 2023.

Comments: Proceedings contribution to RICH2022 (11th International Workshop on Ring Imaging Cherenkov Detectors)

Journal ref: Nuclear Inst. and Methods in Physics Research, A 1057 (2023) 168659

Lifetime and performance of the very latest microchannel-plate photomultipliers

Authors: D. Miehling, M. Böhm, K. Gumbert, S. Krauss, A. Lehmann, A. Belias, R. Dzhygadlo, A. Gerhardt, D. Lehmann, K. Peters, G. Schepers, C. Schwarz, J. Schwiening, M. Traxler, Y. Wolf, L. Schmitt, M. Düren, A. Hayrapetyan, I. Köseoglu, M. Schmidt, T. Wasem, C. Sfienti, A. Ali

Abstract: The PANDA experiment at the FAIR facility at GSI will study hadron physics using a high intensity antiproton beam of up to 15 GeV/c momentum to perform high precision spectroscopy. Two DIRC detectors with their image planes residing in an $\sim$1 T magnetic field will be used in the experiment. The only suitable photon detectors for both DIRCs were identified to be Microchannel-Plate Photomultipli… ▽ More The PANDA experiment at the FAIR facility at GSI will study hadron physics using a high intensity antiproton beam of up to 15 GeV/c momentum to perform high precision spectroscopy. Two DIRC detectors with their image planes residing in an $\sim$1 T magnetic field will be used in the experiment. The only suitable photon detectors for both DIRCs were identified to be Microchannel-Plate Photomultipliers (MCP-PMTs). Since the aging problems of MCP-PMTs were solved recently by coating the MCPs with the so-called ALD-technique (atomic layer deposition) we are investigating devices which are significantly improved with respect to other parameters, as, e.g., the collection efficiency (CE) and the quantum efficiency (QE). The latest generation of MCP-PMTs can reach a detective quantum efficiency DQE = QE - CE of 30%. This paper will present the performance of the most advanced 53 $\times$ 53 mm$^2$ ALD-coated MCP-PMTs from Photonis (8 $\times$ 8 and 3 $\times$ 100 anodes) and Photek (8 $\times$ 8 anodes), also inside the magnetic field. With a picosecond laser and a multi-hit capable DAQ system which allows read out up to 300 pixels simultaneously, parameters like darkcount rate, afterpulse probability and time resolution can be investigated as a function of incident photon position. △ Less

Submitted 28 November, 2023; originally announced November 2023.

Comments: Proceedings contribution to NDIP20 (9th Conference on New Developments in Photodetection)

Journal ref: Nuclear Inst. and Methods in Physics Research, A 1049 (2023) 168047

Foundations of non-commutative probability theory (Extended abstract)

Authors: Daniel Lehmann

Abstract: Kolmogorov's setting for probability theory is given an original generalization to account for probabilities arising from Quantum Mechanics. The sample space has a central role in this presentation and random variables, i.e., observables, are defined in a natural way.The mystery presented by the algebraic equations satisfied by (non-commuting) observables that cannot be observed in the same states… ▽ More Kolmogorov's setting for probability theory is given an original generalization to account for probabilities arising from Quantum Mechanics. The sample space has a central role in this presentation and random variables, i.e., observables, are defined in a natural way.The mystery presented by the algebraic equations satisfied by (non-commuting) observables that cannot be observed in the same states is elucidated. △ Less

Submitted 1 June, 2023; originally announced June 2023.

Comments: 13 pages, Presented at TARK '09, Stanford, July 2009

MSC Class: 46L53; 81P16

Journal ref: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (2009) 193-200

A substructural logic for quantum measurements

Authors: Daniel Lehmann

Abstract: This paper presents a substructural logic of sequents with very restricted exchange and weakening rules. It is sound with respect to sequences of measurements of a quantic system. A sound and complete semantics is provided. The semantic structures include a binary relation that expresses orthogonality between elements and enables the definition of an operation that generalizes the projection opera… ▽ More This paper presents a substructural logic of sequents with very restricted exchange and weakening rules. It is sound with respect to sequences of measurements of a quantic system. A sound and complete semantics is provided. The semantic structures include a binary relation that expresses orthogonality between elements and enables the definition of an operation that generalizes the projection operation in Hilbert spaces. The language has a unitary connective, a sort of negation, and two dual binary connectives that are neither commutative nor associative, sorts of conjunction and disjunction. This provides a logic for quantum measurements whose proof theory is aesthetically pleasing. △ Less

Submitted 18 July, 2023; v1 submitted 6 December, 2022; originally announced December 2022.

Comments: 38 pages, draft to be submitted, comments and remarks welcomed to [email protected]. This is a corrected, lean, streamlined version of the previous version

MSC Class: 03F52 ACM Class: F.4.1

Etude des (n+1)-tissus de courbes en dimension n

Authors: Dufour Jean-Paul, Daniel Lehmann

Abstract: For $(n+1)$-webs by curves in an ambiant $n$-dimensional manifold, we first define a generalization of the well known Blaschke curvature of the dimension two, which vanishes iff the web has the maximum possible rank which is one. But, contrary to the dimension two where all 3-webs of rank one are locally isomorphic, we prove that there are infinitely many classes of isomorphism for germs of 4-webs… ▽ More For $(n+1)$-webs by curves in an ambiant $n$-dimensional manifold, we first define a generalization of the well known Blaschke curvature of the dimension two, which vanishes iff the web has the maximum possible rank which is one. But, contrary to the dimension two where all 3-webs of rank one are locally isomorphic, we prove that there are infinitely many classes of isomorphism for germs of 4-webs by curves of rank one in the dimension three : we provide a procedure for building all of them, up to isomorphism, and give examples of invariants of these classes allowing in particular to distinguish the so-called quadrilateral webs among them. △ Less

Submitted 9 November, 2022; originally announced November 2022.

Comments: 12 pages, in French language

MSC Class: 53A60

The Dynamics of the Hubbard Model through Stochastic Calculus and Girsanov Transformation

Authors: Detlef Lehmann

Abstract: As a typical quantum many body problem, we consider the time evolution of density matrix elements in the Bose-Hubbard model. For an arbitrary initial state, these quantities can be obtained from an SDE or stochastic differential equation system. To this SDE system, a Girsanov transformation can be applied. This has the effect that all the information from the initial state moves into the drift par… ▽ More As a typical quantum many body problem, we consider the time evolution of density matrix elements in the Bose-Hubbard model. For an arbitrary initial state, these quantities can be obtained from an SDE or stochastic differential equation system. To this SDE system, a Girsanov transformation can be applied. This has the effect that all the information from the initial state moves into the drift part, into the mean field part, of the transformed system. In the large N limit with g=UN fixed, the diffusive part of the transformed system vanishes and as a result, the exact quantum dynamics is given by an ODE system which turns out to be the time dependent discrete Gross Pitaevskii equation. For the two site Bose-Hubbard model, the GP equation reduces to the mathematical pendulum and the particle imbalance is equal to the velocity of that pendulum which is either oscillatory or it can have rollovers which then corresponds to the self trap** or insulating phase. As a by-product, we also find an equivalence of the mathematical pendulum with a quartic double well potential. Collapse and revivals are a more subtle phenomenom, in order to see these the diffusive part of the SDE system or quantum corrections have to be taken into account. This can be done with an approximation and collapse and revivals can be reproduced, numerically and also through an analytic calculation. Since expectation values of Fresnel or Wiener diffusion processes, we write the density matrix elements exactly in this way, can be obtained from parabolic second order PDEs, we also obtain various exact PDE representations. The paper has been written with the goal to come up with an efficient calculation scheme for quantum many body systems and as such the formalism is generic and applies to arbitrary dimension, arbitrary hop** matrices and, with suitable adjustments, to fermionic models. △ Less

Submitted 4 May, 2022; originally announced May 2022.

Comments: 71 pages, 8 figures

Journal ref: Int. Journal of Theoretical Physics 63, 139 (2024)

Le rang des tissus de Nakai

Authors: Jean Paul Dufour, Daniel Lehmann

Abstract: According to Alain Hénaut, a planar 4-web is called Nakai's web if the cross-ratio of the tangents to the four foliations at each point is constant and if it has no hexagonal 3-subweb. We prove that Nakai's webs have rank 0 or 1. We give examples with rank 1 and present a universal way to build such examples. According to Alain Hénaut, a planar 4-web is called Nakai's web if the cross-ratio of the tangents to the four foliations at each point is constant and if it has no hexagonal 3-subweb. We prove that Nakai's webs have rank 0 or 1. We give examples with rank 1 and present a universal way to build such examples. △ Less

Submitted 21 April, 2022; originally announced April 2022.

Comments: in French language

PANDA Barrel DIRC: From Design to Component Production

Authors: G Schepers, A Belias, R Dzhygadlo, A Gerhardt, D Lehmann, K Peters, C Schwarz, J Schwiening, M Traxler, L Schmitt, M Böhm, S Krauss, A Lehmann, D Miehling, M Pfaffinger, M Düren, E Etzelmüller, K Föhl, A Hayrapetyan, I Köseoglu, M Schmidt, T Wasem, C Sfienti, A Ali, A Barnyakov , et al. (3 additional authors not shown)

Abstract: Excellent particle identification (PID) will be essential for the PANDA experiment at FAIR. The Barrel DIRC will separate kaons and pions with at least 3 s.d. for momenta up to 3.5 GeV/c and polar angles between 22 and 140 deg. After successful validation of the final design in the CERN PS/T9 beam line, the tendering process for the two most time- and cost-intensive items, radiator bars and MCP-PM… ▽ More Excellent particle identification (PID) will be essential for the PANDA experiment at FAIR. The Barrel DIRC will separate kaons and pions with at least 3 s.d. for momenta up to 3.5 GeV/c and polar angles between 22 and 140 deg. After successful validation of the final design in the CERN PS/T9 beam line, the tendering process for the two most time- and cost-intensive items, radiator bars and MCP-PMTs, started in 2018. In Sep. 2019 Nikon was selected to build the fused silica bars and successfully completed the series production of 112 bars in Feb. 2021. Measurements of the mechanical quality of the bars were performed by Nikon and the optical quality was evaluated at GSI. In Dec. 2020, the contract for the fabrication of the MCP-PMTs was awarded to PHOTONIS and the delivery of the first-of-series MCP-PMTs is expected in July 2021. We present the design of the PANDA Barrel DIRC as well as the status of the component series production and the result of the quality assurance measurements. △ Less

Submitted 26 January, 2022; originally announced January 2022.

Comments: 5 pages, 5 figures, TIPP2021 TRIUMF Vancouver, Canada

Non-associative and projective linear logics

Authors: Daniel Lehmann

Abstract: A non-commutative, non-associative weakening of Girard's linear logic is developed for multiplicative and additive connectives. Additional assumptions capture the logic of quantic measurements. A non-commutative, non-associative weakening of Girard's linear logic is developed for multiplicative and additive connectives. Additional assumptions capture the logic of quantic measurements. △ Less

Submitted 6 January, 2022; originally announced January 2022.

Comments: 22 pages

MSC Class: 03B47 ACM Class: F.4.1

Fuzzm: Finding Memory Bugs through Binary-Only Instrumentation and Fuzzing of WebAssembly

Authors: Daniel Lehmann, Martin Toldam Torp, Michael Pradel

Abstract: WebAssembly binaries are often compiled from memory-unsafe languages, such as C and C++. Because of WebAssembly's linear memory and missing protection features, e.g., stack canaries, source-level memory vulnerabilities are exploitable in compiled WebAssembly binaries, sometimes even more easily than in native code. This paper addresses the problem of detecting such vulnerabilities through the firs… ▽ More WebAssembly binaries are often compiled from memory-unsafe languages, such as C and C++. Because of WebAssembly's linear memory and missing protection features, e.g., stack canaries, source-level memory vulnerabilities are exploitable in compiled WebAssembly binaries, sometimes even more easily than in native code. This paper addresses the problem of detecting such vulnerabilities through the first binary-only fuzzer for WebAssembly. Our approach, called Fuzzm, combines canary instrumentation to detect overflows and underflows on the stack and the heap, an efficient coverage instrumentation, a WebAssembly VM, and the input generation algorithm of the popular AFL fuzzer. Besides as an oracle for fuzzing, our canaries also serve as a stand-alone binary hardening technique to prevent the exploitation of vulnerable binaries in production. We evaluate Fuzzm with 28 real-world WebAssembly binaries, some compiled from source and some found in the wild without source code. The fuzzer explores thousands of execution paths, triggers dozens of crashes, and performs hundreds of program executions per second. When used for binary hardening, the approach prevents previously published exploits against vulnerable WebAssembly binaries while imposing low runtime overhead. △ Less

Submitted 28 October, 2021; originally announced October 2021.

Comments: Source code repository: https://github.com/fuzzm/fuzzm-project

Representing choice functions by a total hyper-order

Authors: Daniel Lehmann

Abstract: Choice functions over a set $X$ that satisfy the Outcast, a.k.a. Aizerman, property are exactly those that attach to any set its maximal subset relative to some total order of ${2}^{X}$. Choice functions over a set $X$ that satisfy the Outcast, a.k.a. Aizerman, property are exactly those that attach to any set its maximal subset relative to some total order of ${2}^{X}$. △ Less

Submitted 6 July, 2021; originally announced July 2021.

Comments: 2 pages

Collective Iterative Learning Control: Exploiting Diversity in Multi-Agent Systems for Reference Tracking Tasks

Authors: Michael Meindl, Fabio Molinari, Dustin Lehmann, Thomas Seel

Abstract: Multi-agent systems (MASs) can autonomously learn to solve previously unknown tasks by means of each agent's individual intelligence as well as by collaborating and exploiting collective intelligence. This article considers a group of autonomous agents learning to track the same given reference trajectory in a possibly small number of trials. We propose a novel collective learning control method t… ▽ More Multi-agent systems (MASs) can autonomously learn to solve previously unknown tasks by means of each agent's individual intelligence as well as by collaborating and exploiting collective intelligence. This article considers a group of autonomous agents learning to track the same given reference trajectory in a possibly small number of trials. We propose a novel collective learning control method that combines iterative learning control (ILC) with a collective update strategy. We derive conditions for desirable convergence properties of such systems. We show that the proposed method allows the collective to combine the advantages of the agents' individual learning strategies and thereby overcomes trade-offs and limitations of single-agent ILC. This benefit is achieved by designing a heterogeneous collective, i.e., a different learning law is assigned to each agent. All theoretical results are confirmed in simulations and experiments with two-wheeled-inverted-pendulum robots (TWIPRs) that jointly learn to perform the desired maneuver. △ Less

Submitted 25 November, 2021; v1 submitted 15 April, 2021; originally announced April 2021.

PANDA Phase One

Authors: G. Barucca, F. Davì, G. Lancioni, P. Mengucci, L. Montalto, P. P. Natali, N. Paone, D. Rinaldi, L. Scalise, B. Krusche, M. Steinacher, Z. Liu, C. Liu, B. Liu, X. Shen, S. Sun, G. Zhao, J. Zhao, M. Albrecht, W. Alkakhi, S. Bökelmann, S. Coen, F. Feldbauer, M. Fink, J. Frech , et al. (399 additional authors not shown)

Abstract: The Facility for Antiproton and Ion Research (FAIR) in Darmstadt, Germany, provides unique possibilities for a new generation of hadron-, nuclear- and atomic physics experiments. The future antiProton ANnihilations at DArmstadt (PANDA or $\overline{\rm P}$ANDA) experiment at FAIR will offer a broad physics programme, covering different aspects of the strong interaction. Understanding the latter in… ▽ More The Facility for Antiproton and Ion Research (FAIR) in Darmstadt, Germany, provides unique possibilities for a new generation of hadron-, nuclear- and atomic physics experiments. The future antiProton ANnihilations at DArmstadt (PANDA or $\overline{\rm P}$ANDA) experiment at FAIR will offer a broad physics programme, covering different aspects of the strong interaction. Understanding the latter in the non-perturbative regime remains one of the greatest challenges in contemporary physics. The antiproton-nucleon interaction studied with PANDA provides crucial tests in this area. Furthermore, the high-intensity, low-energy domain of PANDA allows for searches for physics beyond the Standard Model, e.g. through high precision symmetry tests. This paper takes into account a staged approach for the detector setup and for the delivered luminosity from the accelerator. The available detector setup at the time of the delivery of the first antiproton beams in the HESR storage ring is referred to as the \textit{Phase One} setup. The physics programme that is achievable during Phase One is outlined in this paper. △ Less

Submitted 9 June, 2021; v1 submitted 28 January, 2021; originally announced January 2021.

Comments: 35 pages, 15 figures

Journal ref: European Physics Journal A57, 44 (2021)

The PANDA DIRCs

Authors: C. Schwarz, A. Ali, A. Belias, R. Dzhygadlo, A. Gerhardt, M. Krebs, D. Lehmann, K. Peters, G. Schepers, J. Schwiening, M. Traxler, L. Schmitt, M. Böhm, A. Lehmann, M. Pfaffinger, S. Stelter, M. Düren, E. Etzelmüller, K. Föhl, A. Hayrapetyan, I. Köseoglu, K. Kreutzfeld, M. Schmidt, T. Wasem, C. Sfienti , et al. (6 additional authors not shown)

Abstract: The PANDA experiment at the FAIR facility adresses open questions in hadron physics with antiproton beams in the momentum range of 1.5-15 GeV/c. The antiprotons are stored and cooled in a High Energy Storage RING (HESR) with a momentum spread down to Dp/p = 4*10^-5. A high luminosity of up to 2*10^32 cm-2 s-1 can be achieved. An excellent hadronic particle identification (PID) will be provided by… ▽ More The PANDA experiment at the FAIR facility adresses open questions in hadron physics with antiproton beams in the momentum range of 1.5-15 GeV/c. The antiprotons are stored and cooled in a High Energy Storage RING (HESR) with a momentum spread down to Dp/p = 4*10^-5. A high luminosity of up to 2*10^32 cm-2 s-1 can be achieved. An excellent hadronic particle identification (PID) will be provided by two Cherenkov detectors using the priciple of Detection of Internally Reflected Cherenkov light (DIRC). In the forward direction from polar angles of 5 degree to 22 degree, the Endcap Disc DIRC (EDD) separates pions from kaons up to momenta of 4 GeV/c. Between 22 degree and 140 degree the Barrel DIRC cleanly separates pions from kaons for momenta up to 3.5 GeV/c. This article describes the design of the Barrel DIRC and of the Endcap Disc DIRC and the validation of their designs in particle beams at the CERN PS. △ Less

Submitted 26 January, 2021; originally announced January 2021.

Comments: 10 pages, 8 figures

Journal ref: 2020 JINST 15 C09059

Time imaging reconstruction for the PANDA Barrel DIRC

Authors: R. Dzhygadlo, A. Ali, A. Belias, A. Gerhardt, M. Krebs, D. Lehmann, K. Peters, G. Schepers, C. Schwarz, J. Schwiening, M. Traxler, L. Schmitt, M. Böhm, A. Lehmann, M. Pfaffinger, S. Stelter, F. Uhlig, M. Düren, E. Etzelmüller, K. Föhl, A. Hayrapetyan, I. Köseoglu, K. Kreutzfeld, J. Rieke, M. Schmidt , et al. (2 additional authors not shown)

Abstract: The innovative Barrel DIRC (Detection of Internally Reflected Cherenkov light) counter will provide hadronic particle identification (PID) in the central region of the PANDA experiment at the new Facility for Antiproton and Ion Research (FAIR), Darmstadt, Germany. This detector is designed to separate charged pions and kaons with at least 3 standard deviations for momenta up to 3.5 GeV/c, covering… ▽ More The innovative Barrel DIRC (Detection of Internally Reflected Cherenkov light) counter will provide hadronic particle identification (PID) in the central region of the PANDA experiment at the new Facility for Antiproton and Ion Research (FAIR), Darmstadt, Germany. This detector is designed to separate charged pions and kaons with at least 3 standard deviations for momenta up to 3.5 GeV/c, covering the polar angle range of 22$^{\circ}$-140$^{\circ}$. An array of microchannel plate photomultiplier tubes is used to detect the location and arrival time of the Cherenkov photons with a position resolution of 2 mm and time precision of about 100 ps. The time imaging reconstruction has been developed to make optimum use of the observables and to determine the performance of the detector. This reconstruction algorithm performs particle identification by directly calculating the maximum likelihoods using probability density functions based on detected photon propagation time in each pixel, determined directly from the data, or analytically, or from detailed simulations. △ Less

Submitted 21 September, 2020; originally announced September 2020.

Comments: International Workshop on Fast Cherenkov Detectors (DIRC2019)

Courbes ordinaires de genre maximal

Authors: Youssef Hantout, Daniel Lehmann

Abstract: The ordinary algebraic curves of maximal rank are also the arithmetically Cohen-Maccaulay curves of minimal rank. We give sufficient conditions for such curves to exist as well as examples, generalizing results of [GHL] in the dimension three. The ordinary algebraic curves of maximal rank are also the arithmetically Cohen-Maccaulay curves of minimal rank. We give sufficient conditions for such curves to exist as well as examples, generalizing results of [GHL] in the dimension three. △ Less

Submitted 21 July, 2020; originally announced July 2020.

Comments: in French

MSC Class: 14H45

Status of the PANDA Barrel DIRC

Authors: C. Schwarz, A. Ali, A. Belias, R. Dzhygadlo, A. Gerhardt, M. Krebs, D. Lehmann, K. Peters, G. Schepers, J. Schwiening, M. Traxler, L. Schmitt, M. Böhm, A. Lehmann, M. Pfaffinger, S. Stelter, F. Uhlig, M. Düren, E. Etzelmüller, K. Föhl, A. Hayrapetyan, I. Köseoglu, K. Kreutzfeld, J. Rieke, M. Schmidt , et al. (2 additional authors not shown)

Abstract: The PANDA experiment will use cooled antiproton beams with high intensity stored1 in the High Energy Storage Ring at FAIR. Reactions on a fixed target producing charmed hadrons will shed light on the strong QCD. Three ring imaging Cherenkov counters are used for charged particle identification. The status of the Barrel DIRC (Detection of Internally Reflected Cherenkov light) is described. Its desi… ▽ More The PANDA experiment will use cooled antiproton beams with high intensity stored1 in the High Energy Storage Ring at FAIR. Reactions on a fixed target producing charmed hadrons will shed light on the strong QCD. Three ring imaging Cherenkov counters are used for charged particle identification. The status of the Barrel DIRC (Detection of Internally Reflected Cherenkov light) is described. Its design is robust and its performance validated in experiments with test beams. The PANDA Barrel DIRC has entered the construction phase and will be installed in 2023/2024. △ Less

Submitted 2 April, 2020; originally announced April 2020.

Comments: 7 pages, 5 figures

Magnetometer-free inertial motion tracking of arbitrary joints with range of motion constraints

Authors: Dustin Lehmann, Daniel Laidig, Raphael Deimel, Thomas Seel

Abstract: In motion tracking of connected multi-body systems Inertial Measurement Units (IMUs) are used in a wide variety of applications, since they provide a low-cost easy-to-use method for orientation estimation. However, in indoor environments or near ferromagnetic material the magnetic field is inhomogeneous which limits the accuracy of tracking algorithms using magnetometers. Methods that use only acc… ▽ More In motion tracking of connected multi-body systems Inertial Measurement Units (IMUs) are used in a wide variety of applications, since they provide a low-cost easy-to-use method for orientation estimation. However, in indoor environments or near ferromagnetic material the magnetic field is inhomogeneous which limits the accuracy of tracking algorithms using magnetometers. Methods that use only accelerometers and gyroscopes on the other hand yield no information on the absolute heading of the tracked object. For objects connected by rotational joints with range of motion constraints we propose a method that provides a magnetometer-free, long-term stable relative orientation estimate based on a non-linear, window-based cost function. The method can be used for real-time estimation as well as post-processing. It is validated experimentally with a mechanical joint and compared to other methods that are used in motion tracking. It is shown that for the used test object, the proposed methods yields the best results with a total angle error of less than 4 degrees for all experiments. △ Less

Submitted 3 February, 2020; originally announced February 2020.

Comments: IFAC WC 2020 Submission

Technical Design Report for the PANDA Endcap Disc DIRC

Authors: Panda Collaboration, F. Davi, W. Erni, B. Krusche, M. Steinacher, N. Walford, H. Liu, Z. Liu, B. Liu, X. Shen, C. Wang, J. Zhao, M. Albrecht, T. Erlen, F. Feldbauer, M. Fink, V. Freudenreich, M. Fritsch, F. H. Heinsius, T. Held, T. Holtmann, I. Keshk, H. Koch, B. Kopf, M. Kuhlmann , et al. (441 additional authors not shown)

Abstract: PANDA (anti-Proton ANnihiliation at DArmstadt) is planned to be one of the four main experiments at the future international accelerator complex FAIR (Facility for Antiproton and Ion Research) in Darmstadt, Germany. It is going to address fundamental questions of hadron physics and quantum chromodynamics using cooled antiproton beams with a high intensity and and momenta between 1.5 and 15 GeV/c.… ▽ More PANDA (anti-Proton ANnihiliation at DArmstadt) is planned to be one of the four main experiments at the future international accelerator complex FAIR (Facility for Antiproton and Ion Research) in Darmstadt, Germany. It is going to address fundamental questions of hadron physics and quantum chromodynamics using cooled antiproton beams with a high intensity and and momenta between 1.5 and 15 GeV/c. PANDA is designed to reach a maximum luminosity of 2x10^32 cm^2 s. Most of the physics programs require an excellent particle identification (PID). The PID of hadronic states at the forward endcap of the target spectrometer will be done by a fast and compact Cherenkov detector that uses the detection of internally reflected Cherenkov light (DIRC) principle. It is designed to cover the polar angle range from 5° to 22° and to provide a separation power for the separation of charged pions and kaons up to 3 standard deviations (s.d.) for particle momenta up to 4 GeV/c in order to cover the important particle phase space. This document describes the technical design and the expected performance of the novel PANDA Disc DIRC detector that has not been used in any other high energy physics experiment (HEP) before. The performance has been studied with Monte-Carlo simulations and various beam tests at DESY and CERN. The final design meets all PANDA requirements and guarantees suffcient safety margins. △ Less

Submitted 29 December, 2019; originally announced December 2019.

Comments: TDR for Panda/Fair to be published

Particle Identification with DIRCs at PANDA

Authors: M. Düren, A. Ali, A. Belias, R. Dzhygadlo, A. Gerhardt, M. Krebs, D. Lehmann, K. Peters, G. Schepers, C. Schwarz, J. Schwiening, M. Traxler, L. Schmitt, M. Boehm, A. Lehmann, M. Pfaffinger, S. Stelter, F. Uhlig, E. Etzelmueller, K. Foehl, A. Hayrapetyan, K. Kreutzfeld, J. Rieke, M. Schmidt, T. Wasem , et al. (1 additional authors not shown)

Abstract: The DIRC technology (Detection of Internally Reflected Cherenkov light) offers an excellent possibility to minimize the form factor of Cherenkov detectors in hermetic high energy detectors. The PANDA experiment at FAIR in Germany will combine a barrel-shaped DIRC with a disc-shaped DIRC to cover an angular range of 5 to 140 degrees. Particle identification for pions and kaons with a separation pow… ▽ More The DIRC technology (Detection of Internally Reflected Cherenkov light) offers an excellent possibility to minimize the form factor of Cherenkov detectors in hermetic high energy detectors. The PANDA experiment at FAIR in Germany will combine a barrel-shaped DIRC with a disc-shaped DIRC to cover an angular range of 5 to 140 degrees. Particle identification for pions and kaons with a separation power of 3 standard deviations or more will be provided for momenta between 0.5 GeV/c and 3.5 GeV/c in the barrel region and up to 4 GeV/c in the forward region. Even though the concept is simple, the design and construction of a DIRC is challenging. High precision optics and mechanics are required to maintain the angular information of the Cherenkov photons during multiple internal reflections and to focus the individual photons onto position sensitive photon detectors. These sensors must combine high efficiencies for single photons with low dark count rates and good timing resolution at high rates. The choice of radiation hard fused silica for the optical material and of MCP-PMT photon sensors is essential for DIRC detectors to survive in an environment of radiation and strong magnetic field. The two DIRC detectors differ in the focusing optics, in the treatment of chromatic dispersion and in the electronic readout systems. The technical design of the two DIRC detectors and their validation by testing prototypes in a mixed particle beam at CERN are presented. △ Less

Submitted 27 December, 2019; originally announced December 2019.

Comments: Proceedings of VCI 15th Vienna Conference on Instrumentation Feb. 18-22, 2019, Nuclear Inst. and Methods in Physics Research, A (2019)

The Innovative Design of the Endcap Disc DIRC Detector for PANDA at FAIR

Authors: M. Schmidt, M. Düren, E. Etzelmüller, K. Föhl, A. Hayrapetyan, I. Köseoglu, K. Kreutzfeld, J. Rieke, A. Ali, A. Belias, R. Dzhygadlo, A. Gerhardt, M. Krebs, D. Lehmann, K. Peters, G. Schepers, C. Schwarz, J. Schwiening, M. Traxler, L. Schmitt, M. Böhm, A. Lehmann, M. Pfaffinger, S. Stelter, F. Uhlig , et al. (1 additional authors not shown)

Abstract: The key component of the future PANDA experiment at FAIR is a fixed-target detector for collisions of antiprotons with a proton target up to a beam momentum of 15 GeV/c and is designed to address a large number of open questions in the hadron physics sector. In order to guarantee an excellent PID for charged hadrons in the polar angle range between $5^\circ$ and $22^\circ$, a new type of Cherenkov… ▽ More The key component of the future PANDA experiment at FAIR is a fixed-target detector for collisions of antiprotons with a proton target up to a beam momentum of 15 GeV/c and is designed to address a large number of open questions in the hadron physics sector. In order to guarantee an excellent PID for charged hadrons in the polar angle range between $5^\circ$ and $22^\circ$, a new type of Cherenkov detector called Endcap Disc DIRC (EDD) has been developed for the forward endcap of the PANDA target spectrometer. The desired separation power of at least 3 s.d. for the separation of $π^\pm$ and $K^\pm$ up to particle momenta of 4 GeV/c was determined with simulation studies and validated during various testbeam campaigns at CERN and DESY. △ Less

Submitted 21 September, 2019; originally announced September 2019.

Comments: Talk presented at the 2019 Meeting of the Division of Particles and Fields of the American Physical Society (DPF2019), July 29 - August 2, 2019, Northeastern University, Boston, C1907293

Revealed Preferences for Matching with Contracts

Authors: Daniel Lehmann

Abstract: Many-to-many matching with contracts is studied in the framework of revealed preferences. All preferences are described by choice functions that satisfy natural conditions. Under a no-externality assumption individual preferences can be aggregated into a single choice function expressing a collective preference. In this framework, a two-sided matching problem may be described as an agreement probl… ▽ More Many-to-many matching with contracts is studied in the framework of revealed preferences. All preferences are described by choice functions that satisfy natural conditions. Under a no-externality assumption individual preferences can be aggregated into a single choice function expressing a collective preference. In this framework, a two-sided matching problem may be described as an agreement problem between two parties: the two parties must find a stable agreement, i.e., a set of contracts from which no party will want to take away any contract and to which the two parties cannot agree to add any contract. On such stable agreements each party's preference relation is a partial order and the two parties have inverse preferences. An algorithm is presented that generalizes algorithms previously proposed in less general situations. This algorithm provides a stable agreement that is preferred to all stable agreements by one of the parties and therefore less preferred than all stable agreements by the other party. The number of steps of the algorithm is linear in the size of the set of contracts, i.e., polynomial in the size of the problem. The algorithm provides a proof that stable agreements form a lattice under the two inverse preference relations. Under additional assumptions on the role of money in preferences, agreement problems can describe general two-sided markets in which goods are exchanged for money. Stable agreements provide a solution concept, including prices, that is more general than competitive equilibria. They satisfy an almost one price law for identical items. △ Less

Submitted 4 March, 2020; v1 submitted 23 August, 2019; originally announced August 2019.

Comments: 34 pages. Unpublished. In version 2 an incorrect claim about the assignment game has been deleted and reference to prior work by Chambers and Yenmez given. This work was developed independently

The Innovative Design of the PANDA Barrel DIRC

Authors: G. Schepers, A. Ali, A. Belias, R. Dzhygadlo, A. Gerhardt, M. Krebs, D. Lehmann, K. Peters, C. Schwarz, J. Schwiening, M. Traxler, L. Schmitt, M. Böhm, A. Lehmann, M. Pfaffinger, S. Stelter, F. Uhlig, M. Düren, E. Etzelmüller, K. Föhl, A. Hayrapetyan, K. Kreutzfeld, J. Rieke, M. Schmidt, T. Wasem , et al. (7 additional authors not shown)

Abstract: The Barrel DIRC of the PANDA experiment at FAIR will cleanly separate pions from kaons for the physics program of PANDA. Innovative solutions for key components of the detector sitting in the strong magnetic field of the compact PANDA target spectrometer as well as two reconstruction methods were developed in an extensive prototype program. The technical design and present results from the test be… ▽ More The Barrel DIRC of the PANDA experiment at FAIR will cleanly separate pions from kaons for the physics program of PANDA. Innovative solutions for key components of the detector sitting in the strong magnetic field of the compact PANDA target spectrometer as well as two reconstruction methods were developed in an extensive prototype program. The technical design and present results from the test beam campaigns at the CERN PS in 2017 and 2018 are discussed. △ Less

Submitted 5 April, 2019; originally announced April 2019.

Comments: 4 pages, 6 figures

Joint axis estimation for fast and slow movements using weighted gyroscope and acceleration constraints

Authors: Fredrik Olsson, Thomas Seel, Dustin Lehmann, Kjartan Halvorsen

Abstract: Sensor-to-segment calibration is a crucial step in inertial motion tracking. When two segments are connected by a hinge joint, for example in human knee and finger joints as well as in many robotic limbs, then the joint axis vector must be identified in the intrinsic sensor coordinate systems. There exist methods that identify these coordinates by solving an optimization problem that is based on k… ▽ More Sensor-to-segment calibration is a crucial step in inertial motion tracking. When two segments are connected by a hinge joint, for example in human knee and finger joints as well as in many robotic limbs, then the joint axis vector must be identified in the intrinsic sensor coordinate systems. There exist methods that identify these coordinates by solving an optimization problem that is based on kinematic joint constraints, which involve either the measured accelerations or the measured angular rates. In the current paper we demonstrate that using only one of these constraints leads to inaccurate estimates at either fast or slow motions. We propose a novel method based on a cost function that combines both constraints. The restrictive assumption of a homogeneous magnetic field is avoided by using only accelerometer and gyroscope readings. To combine the advantages of both sensor types, the residual weights are adjusted automatically based on the estimated signal variances and a nonlinear weighting of the acceleration norm difference. The method is evaluated using real data from nine different motions of an upper limb exoskeleton. Results show that, unlike previous approaches, the proposed method yields accurate joint axis estimation after only five seconds for all fast and slow motions. △ Less

Submitted 18 March, 2019; originally announced March 2019.

Comments: 8 pages, 4 figures, 1 table

The Barrel DIRC detector of PANDA

Authors: C. Schwarz, A. Ali, A. Belias, R. Dzhygadlo, A. Gerhardt, M. Krebs, D. Lehmann, K. Peters, G. Schepers, J. Schwiening, M. Traxler, L. Schmitt, M. Böhm, A. Lehmann, M. Pfaffinger, F. Uhlig, S. Stelter, M. Düren, E. Etzelmüller, K. Föhl, A. Hayrapetyan, K. Kreutzfeld, J. Rieke, M. Schmidt, T. Wasem , et al. (7 additional authors not shown)

Abstract: The PANDA experiment is one of the four large experiments being built at FAIR in Darmstadt. It will use a cooled antiproton beam on a fixed target within the momentum range of 1.5 to 15 GeV/c to address questions of strong QCD, where the coupling constant $α_s \gtrsim 0.3$. The luminosity of up to $2 \cdot 10^{32} cm^{-2}s^{-1}$ and the momentum resolution of the antiproton beam down to \mbox{$Δ$p… ▽ More The PANDA experiment is one of the four large experiments being built at FAIR in Darmstadt. It will use a cooled antiproton beam on a fixed target within the momentum range of 1.5 to 15 GeV/c to address questions of strong QCD, where the coupling constant $α_s \gtrsim 0.3$. The luminosity of up to $2 \cdot 10^{32} cm^{-2}s^{-1}$ and the momentum resolution of the antiproton beam down to \mbox{$Δ$p/p = 4$\cdot10^{-5}$} allows for high precision spectroscopy, especially for rare reaction processes. Above the production threshold for open charm mesons the production of kaons plays an important role for identifying the reaction. The DIRC principle allows for a compact particle identification for charged particles in a hermetic detector, limited in size by the electromagnetic lead tungstate calorimeter. The Barrel DIRC in the target spectrometer covers polar angles between $22^\circ$ and $140^\circ$ and will achieve a pion-kaon separation of 3 standard deviations up to 3.5 GeV/$c$. Here, results of a test beam are shown for a single radiator bar coupled to a prism with $33^\circ$ opening angle, both made from synthetic fused silica read out with a photon detector array with 768 pixels. △ Less

Submitted 24 January, 2019; originally announced January 2019.

Comments: PisaMeeting2018 - 14th Pisa Meeting on Advanced Detectors submitted to Nuclear Inst. and Methods in Physics Research, A

Towards Neural Network Patching: Evaluating Engagement-Layers and Patch-Architectures

Authors: Sebastian Kauschke, David Hermann Lehmann

Abstract: In this report we investigate fundamental requirements for the application of classifier patching on neural networks. Neural network patching is an approach for adapting neural network models to handle concept drift in nonstationary environments. Instead of creating or updating the existing network to accommodate concept drift, neural network patching leverages the inner layers of the network as w… ▽ More In this report we investigate fundamental requirements for the application of classifier patching on neural networks. Neural network patching is an approach for adapting neural network models to handle concept drift in nonstationary environments. Instead of creating or updating the existing network to accommodate concept drift, neural network patching leverages the inner layers of the network as well as its output to learn a patch that enhances the classification and corrects errors caused by the drift. It learns (i) a predictor that estimates whether the original network will misclassify an instance, and (ii) a patching network that fixes the misclassification. Neural network patching is based on the idea that the original network can still classify a majority of instances well, and that the inner feature representations encoded in the deep network aid the classifier to cope with unseen or changed inputs. In order to apply this kind of patching, we evaluate different engagement layers and patch architectures in this report, and find a set of generally applicable heuristics, which aid in parametrizing the patching procedure. △ Less

Submitted 16 January, 2019; v1 submitted 9 December, 2018; originally announced December 2018.

Wasabi: A Framework for Dynamically Analyzing WebAssembly

Authors: Daniel Lehmann, Michael Pradel

Abstract: WebAssembly is the new low-level language for the web and has now been implemented in all major browsers since over a year. To ensure the security, performance, and correctness of future web applications, there is a strong need for dynamic analysis tools for WebAssembly. Unfortunately, building such tools from scratch requires knowledge of low-level details of the language, and perhaps even its ru… ▽ More WebAssembly is the new low-level language for the web and has now been implemented in all major browsers since over a year. To ensure the security, performance, and correctness of future web applications, there is a strong need for dynamic analysis tools for WebAssembly. Unfortunately, building such tools from scratch requires knowledge of low-level details of the language, and perhaps even its runtime environment. This paper presents Wasabi, the first general-purpose framework for dynamically analyzing WebAssembly. Wasabi provides an easy-to-use, high-level API that allows implementing heavyweight dynamic analyses that can monitor all low-level behavior. The approach is based on binary instrumentation, which inserts calls to analysis functions written in JavaScript into a WebAssembly binary. Wasabi addresses several unique challenges not present for other binary instrumentation tools, such as the problem of tracing type-polymorphic instructions with analysis functions that have a fixed type, which we address through an on-demand monomorphization of analysis calls. To control the overhead imposed by an analysis, Wasabi selectively instruments only those instructions relevant for the analysis. Our evaluation on compute-intensive benchmarks and real-world applications shows that Wasabi (i) faithfully preserves the original program behavior, (ii) imposes an overhead that is reasonable for heavyweight dynamic analysis (depending on the program and the analyzed instructions, between 1.02x and 163x), and (iii) makes it straightforward to implement various dynamic analyses, including instruction counting, call graph extraction, memory access tracing, and taint analysis. △ Less

Submitted 31 August, 2018; originally announced August 2018.

Quality of local equilibria in discrete exchange economies

Authors: Daniel Lehmann

Abstract: This paper defines the notion of a local equilibrium of quality $(r , s)$, $0 \leq r , s$, in a discrete exchange economy: a partial allocation and item prices that guarantee certain stability properties parametrized by the numbers $r$ and $s$. The quality $( r , s )$ measures the fit between the allocation and the prices: the larger $r$ and $s$ the closer the fit. For $r , s \leq 1$ this notion p… ▽ More This paper defines the notion of a local equilibrium of quality $(r , s)$, $0 \leq r , s$, in a discrete exchange economy: a partial allocation and item prices that guarantee certain stability properties parametrized by the numbers $r$ and $s$. The quality $( r , s )$ measures the fit between the allocation and the prices: the larger $r$ and $s$ the closer the fit. For $r , s \leq 1$ this notion provides a graceful degradation for the conditional equilibria of [10] which are exactly the local equilibria of quality $( 1 , 1 )$. For $1 < r , s $ the local equilibria of quality $( r , s )$ are {\em more stable} than conditional equilibria. Any local equilibrium of quality $( r , s )$ provides, without any assumption on the type of the agents' valuations, an allocation whose value is at least $\frac{r s} { 1 + r s }$ the optimal fractional allocation. In any economy in which all agents' valuations are $a$-submodular, i.e., exhibit complementarity bounded by $a \: \geq \: 1$, there is a local equilibrium of quality $( \frac{1} {a} , \frac{1}{a} )$. In such an economy any greedy allocation provides a local equilibrium of quality $( 1 , \frac{1}{a} ) $. Walrasian equilibria are not amenable to such graceful degradation. △ Less

Submitted 7 February, 2020; v1 submitted 1 July, 2018; originally announced July 2018.

Comments: 34 pages, preprint. Previous results are generalized to a-bounded valuations. The latest version corrects typos and includes minor changes. It also adds an Appendix on quasi-Walrasian equilibria. Title has been changed. Version 3 has been revised according to referees comments

Journal ref: Journal of Mathematical Economics, Vol. 88, May 2020, pages 141-152

Ultra valuations

Authors: Daniel Lehmann

Abstract: This paper proposes an original exchange property of valuations.This property is shown to be equivalent to a property described by Dress and Terhalle in the context of discrete optimization and matroids and shown there to characterize the valuations for which the demand oracle can be implemented by a greedy algorithm. The same exchange property is also equivalent to a property described independen… ▽ More This paper proposes an original exchange property of valuations.This property is shown to be equivalent to a property described by Dress and Terhalle in the context of discrete optimization and matroids and shown there to characterize the valuations for which the demand oracle can be implemented by a greedy algorithm. The same exchange property is also equivalent to a property described independently by Reijnierse, van Gellekom and Potters and by Lehmann, Lehmann and Nisan and shown there to be satisfied by substitutes valuations. It studies the family of valuations that satisfy this exchange property, the ultra valuations. Any substitutes valuation is an ultra valuation, but ultra valuations may exhibit complementarities. Any symmetric valuation is an ultra valuation. Substitutes valuations are exactly the submodular ultra valuations. Ultra valuations define ultrametrics on the set of items. The maximum of an ultra valuation on $n$ items can be found in $O(n^2)$ steps. Finding an efficient allocation among ultra valuations is NP-hard. △ Less

Submitted 22 September, 2018; v1 submitted 12 December, 2017; originally announced December 2017.

Comments: 31 pages, preprint. This is a fourth version. The first version has been enlarged and much improved. The relation to extant work and the overall presentation are much improved. Some new results are included. The fourth version has a better comparison with the choice-language properties and an added appendix on the topic

Relations abéliennes des tissus ordinaires de codimension arbitraire

Authors: Daniel Lehmann

Abstract: We generalize to webs of any codimension results already known in codimension one. Given a holomorphic $d$-web $\cal W$ of codimension $q$ $(q\leq n-1)$ in an ambiant $n$-dimensional holomorphic manifold $U$, we define for any integer $p$ $(1\leq p\leq q)$ the condition for such a web to be \emph{$p$-ordinary} $($resp. \emph{strongly $p$-ordinary}$)$. If this condition is satisfied, we then prove… ▽ More We generalize to webs of any codimension results already known in codimension one. Given a holomorphic $d$-web $\cal W$ of codimension $q$ $(q\leq n-1)$ in an ambiant $n$-dimensional holomorphic manifold $U$, we define for any integer $p$ $(1\leq p\leq q)$ the condition for such a web to be \emph{$p$-ordinary} $($resp. \emph{strongly $p$-ordinary}$)$. If this condition is satisfied, we then prove that its $p$-rank $r_p({\cal W})$ $\bigl($resp. its closed $p$-rank $\widetilde r_p({\cal W})\bigr)$, i.e. the maximal dimension of the vector space of the germs of $p$-abelian relations $($resp. of closed $p$-abelian relations$)$ at a point $m$ of $U$, is finite. We then give an upper-bound $π_p^0(n,d,q)$ $\bigl($resp. $π'_p(n,d,q)\bigr)$ for these ranks. Moreover, for some values of $d$, and we then say then that the web is \emph{$p$-calibrated} $($resp. \emph{strongly $p$-calibrated}$)$, we define a tautological holomorphic connection on a holomorphic vector bundle of rank $π_p^0(n,d,q)$ $\bigl($resp. $π'_p(n,d,q)\bigr)$, for which the sections with vanishing covariant derivative may be identified with $p$-abelian relations $($resp. closed $p$-abelian relations$)$. The curvature of this connection is then an obstruction for the rank $r_p({\cal W})$ $\bigl($resp. $\widetilde r_p({\cal W})\bigr)$ to be maximal. The main change is the correction of a mistake $($proposition 4, section 6-5$)$ in the first version : the 1-rank of the concerned web is not 0 as we claimed, but 1. However, the important corollary remains true : even at the level of germs, some 2-abelian relation exhibited by Goldberg in $ [G]$ on some web of codimension 2 in an ambiant space of dimension 4, is the coboundary of none 1-abelian relation. The section 7, devoted to this correction, is self content, not depending on the previous results of the paper. △ Less

Submitted 30 December, 2021; v1 submitted 4 December, 2017; originally announced December 2017.

Comments: 20 pages, in French

MSC Class: 53A60 (14C21; 53C05; 14H45)

The PANDA DIRC Detectors at FAIR

Authors: C. Schwarz, A. Ali, A. Belias, R. Dzhygadlo, A. Gerhardt, K. Goetzen, G. Kalicy, M. Krebs, D. Lehmann, F. Nerling, M. Patsyuk, K. Peters, G. Schepers, L. Schmitt, J. Schwiening, M. Traxler, M. Zuehlsdorf, M. Boehm, A. Britting, W. Eyrich, A. Lehmann, M. Pfaffinger, F. Uhlig, M. Dueren, E. Etzelmueller , et al. (17 additional authors not shown)

Abstract: The PANDA detector at the international accelerator Facility for Antiproton and Ion Research in Europe (FAIR) addresses fundamental questions of hadron physics. An excellent hadronic particle identification (PID) will be accomplished by two DIRC (Detection of Internally Reflected Cherenkov light) counters in the target spectrometer. The design for the barrel region covering polar angles between 22… ▽ More The PANDA detector at the international accelerator Facility for Antiproton and Ion Research in Europe (FAIR) addresses fundamental questions of hadron physics. An excellent hadronic particle identification (PID) will be accomplished by two DIRC (Detection of Internally Reflected Cherenkov light) counters in the target spectrometer. The design for the barrel region covering polar angles between 22 deg. to 140 deg. is based on the successful BABAR DIRC with several key improvements, such as fast photon timing and a compact imaging region. The novel Endcap Disc DIRC will cover the smaller forward angles between 5 deg. (10 deg.) to 22 deg. in the vertical (horizontal) direction. Both DIRC counters will use lifetime-enhanced microchannel plate PMTs for photon detection in combination with fast readout electronics. Geant4 simulations and tests with several prototypes at various beam facilities have been used to evaluate the designs and validate the expected PID performance of both PANDA DIRC counters. △ Less

Submitted 28 July, 2017; originally announced July 2017.

Comments: 7 pages, 5 figures, INSTR17 conference proceedings

Rank of ordinary webs in codimension one. An effective method

Authors: Jean Paul Dufour, Daniel Lehmann

Abstract: We are interested by holomorphic $d$-webs $W$ of codimension one in a complex $n$-dimensional manifold $M$. If they are ordinary, i.e. if they satisfy to some condition of genericity (whose precise definition is recalled), we proved in [CL] that their rank $ρ(W)$ is upper-bounded by a certain number $π'(n,d)\ \bigl($which, for $n\geq 3$, is stictly smaller than the Castelnuovo-Chern's bound… ▽ More We are interested by holomorphic $d$-webs $W$ of codimension one in a complex $n$-dimensional manifold $M$. If they are ordinary, i.e. if they satisfy to some condition of genericity (whose precise definition is recalled), we proved in [CL] that their rank $ρ(W)$ is upper-bounded by a certain number $π'(n,d)\ \bigl($which, for $n\geq 3$, is stictly smaller than the Castelnuovo-Chern's bound $π(n,d)\bigr)$. In fact, denoting by $c(n,h)$ the dimension of the space of homogeneous polynomials of degree $h$ with $n$ unknowns, and by $h_0$ the integer such that $$c(n,h_0-1)<d\leq c(n,h_0),$$ $π'(n,d)$ is just the first number of a decreasing sequence of positive integers $$π'(n,d)=ρ_{h_0-2}\geq ρ_{h_0-1}\geq \cdots\geq ρ_{h}\geq ρ_{h+1}\geq\cdots\geq ρ_{\infty}=ρ(W)\geq 0 $$ becoming stationary equal to $ρ(W)$ after a finite number of steps. This sequence is an interesting invariant of the web, refining the data of the only rank. The method is effective : theoretically, we can compute $ρ_h$ for any given $h$ ; and, as soon as two consecutive such numbers are equal ($ρ_h=ρ_{h+1}, \ h\geq h_0-2$), we can construct a holomorphic vector bundle $R_h\to M$ of rank $ρ_h$, equipped with a tautological holomorphic connection $\nabla^h$ whose curvature $K^h$ vanishes iff the above sequence is stationary from there. Thus, we may stop the process at the first step where the curvature vanishes. Examples will be given. △ Less

Submitted 10 March, 2017; originally announced March 2017.

Comments: 13 pages, no figures

MSC Class: 53A60

Feasibility study for the measurement of $πN$ TDAs at PANDA in $\bar{p}p\to J/ψπ^0$

Authors: PANDA Collaboration, B. Singh, W. Erni, B. Krusche, M. Steinacher, N. Walford, H. Liu, Z. Liu, B. Liu, X. Shen, C. Wang, J. Zhao, M. Albrecht, T. Erlen, M. Fink, F. H. Heinsius, T. Held, T. Holtmann, S. Jasper, I. Keshk, H. Koch, B. Kopf, M. Kuhlmann, M. Kümmel, S. Leiber , et al. (488 additional authors not shown)

Abstract: The exclusive charmonium production process in $\bar{p}p$ annihilation with an associated $π^0$ meson $\bar{p}p\to J/ψπ^0$ is studied in the framework of QCD collinear factorization. The feasibility of measuring this reaction through the $J/ψ\to e^+e^-$ decay channel with the PANDA (AntiProton ANnihilation at DArmstadt) experiment is investigated. Simulations on signal reconstruction efficiency as… ▽ More The exclusive charmonium production process in $\bar{p}p$ annihilation with an associated $π^0$ meson $\bar{p}p\to J/ψπ^0$ is studied in the framework of QCD collinear factorization. The feasibility of measuring this reaction through the $J/ψ\to e^+e^-$ decay channel with the PANDA (AntiProton ANnihilation at DArmstadt) experiment is investigated. Simulations on signal reconstruction efficiency as well as the background rejection from various sources including the $\bar{p}p\toπ^+π^-π^0$ and $\bar{p}p\to J/ψπ^0π^0$ reactions are performed with PandaRoot, the simulation and analysis software framework of the PANDA experiment. It is shown that the measurement can be done at PANDA with significant constraining power under the assumption of an integrated luminosity attainable in four to five months of data taking at the maximum design luminosity. △ Less

Submitted 7 October, 2016; originally announced October 2016.

Comments: 25 pages, 22 figures

Journal ref: Phys. Rev. D 95, 032003 (2017)

Feasibility studies of time-like proton electromagnetic form factors at PANDA at FAIR

Authors: PANDA Collaboration, B. Singh, W. Erni, B. Krusche, M. Steinacher, N. Walford, B. Liu, H. Liu, Z. Liu, X. Shen, C. Wang, J. Zhao, M. Albrecht, T. Erlen, M. Fink, F. Heinsius, T. Held, T. Holtmann, S. Jasper, I. Keshk, H. Koch, B. Kopf, M. Kuhlmann, M. Kümmel, S. Leiber , et al. (482 additional authors not shown)

Abstract: Simulation results for future measurements of electromagnetic proton form factors at \PANDA (FAIR) within the PandaRoot software framework are reported. The statistical precision with which the proton form factors can be determined is estimated. The signal channel $\bar p p \to e^+ e^-$ is studied on the basis of two different but consistent procedures. The suppression of the main background chann… ▽ More Simulation results for future measurements of electromagnetic proton form factors at \PANDA (FAIR) within the PandaRoot software framework are reported. The statistical precision with which the proton form factors can be determined is estimated. The signal channel $\bar p p \to e^+ e^-$ is studied on the basis of two different but consistent procedures. The suppression of the main background channel, $\textit{i.e.}$ $\bar p p \to π^+ π^-$, is studied. Furthermore, the background versus signal efficiency, statistical and systematical uncertainties on the extracted proton form factors are evaluated using two different procedures. The results are consistent with those of a previous simulation study using an older, simplified framework. However, a slightly better precision is achieved in the PandaRoot study in a large range of momentum transfer, assuming the nominal beam conditions and detector performance. △ Less

Submitted 29 September, 2016; v1 submitted 3 June, 2016; originally announced June 2016.

Courbure des tissus planaires définis implicitement par une équation différentielle polynomiale en y'. Programmation

Authors: Jean-Paul Dufour, Daniel Lehmann

Abstract: The aim of this paper is mainly, after some theoretical explanations, to provide a program on Maple for computing, whatever be d, the curvature of the planar d-web implicitely defined by a differential equation F(x,y,y')=0, F being polynomial of degree d with respect to y'. Moreover, we prove in the appendix a "concentration theorem" for any calibrated ordinary $d$-web of codimension one in n-di… ▽ More The aim of this paper is mainly, after some theoretical explanations, to provide a program on Maple for computing, whatever be d, the curvature of the planar d-web implicitely defined by a differential equation F(x,y,y')=0, F being polynomial of degree d with respect to y'. Moreover, we prove in the appendix a "concentration theorem" for any calibrated ordinary $d$-web of codimension one in n-dimensional manifold (in particular for any planar web). Its curvature matrix, relatively to an "adapted" trivialization, is concentrated on the (n-2+k0)!/(n-2)!k0! last lines (the last line if n=2), k0 denoting the integer such that d=(n-1+k0)!/(n-1)!(k0)!$. △ Less

Submitted 1 May, 2015; originally announced May 2015.

Comments: in French

MSC Class: 53A60

The resting microstate networks (RMN): cortical distributions, dynamics, and frequency specific information flow

Authors: Roberto D Pascual-Marqui, Dietrich Lehmann, Pascal Faber, Patricia Milz, Kieko Kochi, Masafumi Yoshimura, Keiichiro Nishida, Toshiaki Isotani, Toshihiko Kinoshita

Abstract: A brain microstate is characterized by a unique, fixed spatial distribution of electrically active neurons with time varying amplitude. It is hypothesized that a microstate implements a functional/physiological state of the brain during which specific neural computations are performed. Based on this hypothesis, brain electrical activity is modeled as a time sequence of non-overlap** microstates… ▽ More A brain microstate is characterized by a unique, fixed spatial distribution of electrically active neurons with time varying amplitude. It is hypothesized that a microstate implements a functional/physiological state of the brain during which specific neural computations are performed. Based on this hypothesis, brain electrical activity is modeled as a time sequence of non-overlap** microstates with variable, finite durations (Lehmann and Skrandies 1980, 1984; Lehmann et al 1987). In this study, EEG recordings from 109 participants during eyes closed resting condition are modeled with four microstates. In a first part, a new confirmatory statistics method is introduced for the determination of the cortical distributions of electric neuronal activity that generate each microstate. All microstates have common posterior cingulate generators, while three microstates additionally include activity in the left occipital/parietal, right occipital/parietal, and anterior cingulate cortices. This appears to be a fragmented version of the metabolically (PET/fMRI) computed default mode network (DMN), supporting the notion that these four regions activate sequentially at high time resolution, and that slow metabolic imaging corresponds to a low-pass filtered version. In the second part of this study, the microstate amplitude time series are used as the basis for estimating the strength, directionality, and spectral characteristics (i.e., which oscillations are preferentially transmitted) of the connections that are mediated by the microstate transitions. The results show that the posterior cingulate is an important hub, sending alpha and beta oscillatory information to all other microstate generator regions. Interestingly, beyond alpha, beta oscillations are essential in the maintenance of the brain during resting state. △ Less

Submitted 14 November, 2014; v1 submitted 7 November, 2014; originally announced November 2014.

Comments: pre-print, technical report, The KEY Institute for Brain-Mind Research (Zurich), Kansai Medical University (Osaka)

Des séries de tissus ordinaires de rang maximum en toute dimension

Authors: Jean-Paul Dufour, Daniel Lehmann

Abstract: In this paper, we define, from a finite set E of functions, a family of holomorphic webs ${\cal W}(n;E)$ of codimension one in any dimension $ n $. We prove that it is sufficient to check a finite number of conditions for these webs to be all ordinary and to have all maximal rank. Moreover, these conditions may be practically checked by computer with the program on Maple published in [DL](arXiv1… ▽ More In this paper, we define, from a finite set E of functions, a family of holomorphic webs ${\cal W}(n;E)$ of codimension one in any dimension $ n $. We prove that it is sufficient to check a finite number of conditions for these webs to be all ordinary and to have all maximal rank. Moreover, these conditions may be practically checked by computer with the program on Maple published in [DL](arXiv1408.3909v1, DG, 18 August 2014), the time of computation being acceptable, as far as some integer $k_0$ given in the data be "not too big". △ Less

Submitted 4 November, 2014; originally announced November 2014.

Comments: in french

MSC Class: 53A60; 14C21

Experimental access to Transition Distribution Amplitudes with the PANDA experiment at FAIR

Authors: PANDA Collaboration, B. P. Singh, W. Erni, I. Keshelashvili, B. Krusche, M. Steinacher %, B. Liu, H. Liu, Z. Liu, X. Shen, C. Wang, J. Zhao %, M. Albrecht, M. Fink, F. H. Heinsius, T. Held, T. Holtmann, H. Koch, B. Kopf, M. Kümmel, G. Kuhl, M. Kuhlmann, M. Leyhe, M. Mikirtychyants, P. Musiol , et al. (511 additional authors not shown)

Abstract: Baryon-to-meson Transition Distribution Amplitudes (TDAs) encoding valuable new information on hadron structure appear as building blocks in the collinear factorized description for several types of hard exclusive reactions. In this paper, we address the possibility of accessing nucleon-to-pion ($πN$) TDAs from $\bar{p}p \to e^+e^- π^0$ reaction with the future PANDA detector at the FAIR facility.… ▽ More Baryon-to-meson Transition Distribution Amplitudes (TDAs) encoding valuable new information on hadron structure appear as building blocks in the collinear factorized description for several types of hard exclusive reactions. In this paper, we address the possibility of accessing nucleon-to-pion ($πN$) TDAs from $\bar{p}p \to e^+e^- π^0$ reaction with the future PANDA detector at the FAIR facility. At high center of mass energy and high invariant mass squared of the lepton pair $q^2$, the amplitude of the signal channel $\bar{p}p \to e^+e^- π^0$ admits a QCD factorized description in terms of $πN$ TDAs and nucleon Distribution Amplitudes (DAs) in the forward and backward kinematic regimes. Assuming the validity of this factorized description, we perform feasibility studies for measuring $\bar{p}p \to e^+e^- π^0$ with the PANDA detector. Detailed simulations on signal reconstruction efficiency as well as on rejection of the most severe background channel, i.e. $\bar{p}p \to π^+π^- π^0$ were performed for the center of mass energy squared $s = 5$ GeV$^2$ and $s = 10$ GeV$^2$, in the kinematic regions $3.0 < q^2 < 4.3$ GeV$^2$ and $5 < q^2 < 9$ GeV$^2$, respectively, with a neutral pion scattered in the forward or backward cone $| \cosθ_{π^0}| > 0.5 $ in the proton-antiproton center of mass frame. Results of the simulation show that the particle identification capabilities of the PANDA detector will allow to achieve a background rejection factor of $5\cdot 10^7$ ($1\cdot 10^7$) at low (high) $q^2$ for $s=5$ GeV$^2$, and of $1\cdot 10^8$ ($6\cdot 10^6$) at low (high) $q^2$ for $s=10$ GeV$^2$, while kee** the signal reconstruction efficiency at around $40\%$. At both energies, a clean lepton signal can be reconstructed with the expected statistics corresponding to $2$ fb$^{-1}$ of integrated luminosity. (.../...) △ Less

Submitted 30 November, 2016; v1 submitted 2 September, 2014; originally announced September 2014.

Comments: 19 pages, 7 figures (some multiple), 2 tables (each double), preprint of an article for epj - v2

Calcul explicite de la courbure des tissus calibrés ordinaires

Authors: Jean-Paul Dufour, Daniel Lehmann

Abstract: We present a MAPLE program for the explicit computation of the curvature of calibrated ordinary webs in codimension one in any dimension (recall that all planar webs are calibrated and ordinary). The vanishing of this curvature means the maximality of the rank. We give some first examples. We present a MAPLE program for the explicit computation of the curvature of calibrated ordinary webs in codimension one in any dimension (recall that all planar webs are calibrated and ordinary). The vanishing of this curvature means the maximality of the rank. We give some first examples. △ Less

Submitted 18 August, 2014; originally announced August 2014.

Comments: 15 pages, in French

MSC Class: 53A60; 14C21; 32S65

Generalized Qualitative Probability: Savage Revisited

Authors: Daniel Lehmann

Abstract: Preferences among acts are analyzed in the style of L. Savage, but as partially ordered. The rationality postulates considered are weaker than Savage's on three counts. The Sure Thing Principle is derived in this setting. The postulates are shown to lead to a characterization of generalized qualitative probability that includes and blends both traditional qualitative probability and the ranked s… ▽ More Preferences among acts are analyzed in the style of L. Savage, but as partially ordered. The rationality postulates considered are weaker than Savage's on three counts. The Sure Thing Principle is derived in this setting. The postulates are shown to lead to a characterization of generalized qualitative probability that includes and blends both traditional qualitative probability and the ranked structures used in logical approaches. △ Less

Submitted 7 August, 2014; originally announced August 2014.

Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)

Report number: UAI-P-1996-PG-381-388

Isolated effective coherence (iCoh): causal information flow excluding indirect paths

Authors: RD Pascual-Marqui, RJ Biscay, J Bosch-Bayard, D Lehmann, K Kochi, N Yamada, T Kinoshita, N Sadato

Abstract: A problem of great interest in real world systems, where multiple time series measurements are available, is the estimation of the intra-system causal relations. For instance, electric cortical signals are used for studying functional connectivity between brain areas, their directionality, the direct or indirect nature of the connections, and the spectral characteristics (e.g. which oscillations a… ▽ More A problem of great interest in real world systems, where multiple time series measurements are available, is the estimation of the intra-system causal relations. For instance, electric cortical signals are used for studying functional connectivity between brain areas, their directionality, the direct or indirect nature of the connections, and the spectral characteristics (e.g. which oscillations are preferentially transmitted). The earliest spectral measure of causality was Akaike's (1968) seminal work on the noise contribution ratio, reflecting direct and indirect connections. Later, a major breakthrough was the partial directed coherence of Baccala and Sameshima (2001) for direct connections. The simple aim of this study consists of two parts: (1) To expose a major problem with the partial directed coherence, where it is shown that it is affected by irrelevant connections to such an extent that it can misrepresent the frequency response, thus defeating the main purpose for which the measure was developed, and (2) To provide a solution to this problem, namely the "isolated effective coherence", which consists of estimating the partial coherence under a multivariate auto-regressive model, followed by setting all irrelevant associations to zero, other than the particular directional association of interest. Simple, realistic, toy examples illustrate the severity of the problem with the partial directed coherence, and the solution achieved by the isolated effective coherence. For the sake of reproducible research, the software code implementing the methods discussed here (using lazarus free-pascal "www.lazarus.freepascal.org"), including the test data as text files, are freely available at: https://sites.google.com/site/pascualmarqui/home/icoh-isolated-effective-coherence △ Less

Submitted 12 May, 2014; v1 submitted 19 February, 2014; originally announced February 2014.

Comments: 2014-02-21 pre-print, technical report, KEY Institute for Brain-Mind Research, University of Zurich, et al

From Cues to Signals: Evolution of Interspecific Communication Via Aposematism and Mimicry in a Predator-Prey System

Authors: Kenna D. S. Lehmann, Brian W. Goldman, Ian Dworkin, David M. Bryson, Aaron P. Wagner

Abstract: Current evolutionary theory suggests that many natural signaling systems evolved from preexisting cues. In aposematic systems, prey warning signals benefit both predator and prey. When the signal is highly beneficial, a third species often evolves to mimic the unpalatable species, exploiting the signaling system for its own protection. We investigated the evolutionary development of predator cue u… ▽ More Current evolutionary theory suggests that many natural signaling systems evolved from preexisting cues. In aposematic systems, prey warning signals benefit both predator and prey. When the signal is highly beneficial, a third species often evolves to mimic the unpalatable species, exploiting the signaling system for its own protection. We investigated the evolutionary development of predator cue utilization and prey signaling in a digital predator-prey system in which mimicking prey could evolve to alter their appearance to resemble poison-free or poisonous prey. In predators, we observed rapid evolution of cue recognition (i.e. active behavioral responses) when presented with sufficiently poisonous prey. In addition, active signaling (i.e. mimicry) evolved in prey under all conditions that led to cue utilization. Thus we show that despite imperfect and dishonest signaling, given a high cost of consuming poisonous prey, complex systems of interspecific communication can evolve via predator cue recognition and prey signal manipulation. This provides evidence supporting hypotheses that cues may serve as step**-stones in the evolution of more advanced communication systems and signals incorporating information about the environment. △ Less

Submitted 11 September, 2013; originally announced September 2013.

Journal ref: PLoS One 2014 9(3): e91783

A measure of association between vectors based on "similarity covariance"

Authors: Roberto D. Pascual-Marqui, Dietrich Lehmann, Kieko Kochi, Toshihiko Kinoshita, Naoto Yamada

Abstract: The "maximum similarity correlation" definition introduced in this study is motivated by the seminal work of Szekely et al on "distance covariance" (Ann. Statist. 2007, 35: 2769-2794; Ann. Appl. Stat. 2009, 3: 1236-1265). Instead of using Euclidean distances "d" as in Szekely et al, we use "similarity", which can be defined as "exp(-d/s)", where the scaling parameter s>0 controls how rapidly the s… ▽ More The "maximum similarity correlation" definition introduced in this study is motivated by the seminal work of Szekely et al on "distance covariance" (Ann. Statist. 2007, 35: 2769-2794; Ann. Appl. Stat. 2009, 3: 1236-1265). Instead of using Euclidean distances "d" as in Szekely et al, we use "similarity", which can be defined as "exp(-d/s)", where the scaling parameter s>0 controls how rapidly the similarity falls off with distance. Scale parameters are chosen by maximizing the similarity correlation. The motivation for using "similarity" originates in spectral clustering theory (see e.g. Ng et al 2001, Advances in Neural Information Processing Systems 14: 849-856). We show that a particular form of similarity correlation is asymptotically equivalent to distance correlation for large values of the scale parameter. Furthermore, we extend similarity correlation to coherence between complex valued vectors, including its partitioning into real and imaginary contributions. Several toy examples are used for comparing distance and similarity correlations. For instance, points on a noiseless straight line give distance and similarity correlation values equal to 1; but points on a noiseless circle produces near zero distance correlation (dCorr=0.02) while the similarity correlation is distinctly non zero (sCorr=0.36). In distinction to the distance approach, similarity gives more importance to small distances, which emphasizes the local properties of functional relations. This paper represents a preliminary empirical study, showing that the novel similarity association has some distinct practical advantages over distance based association.For the sake of reproducible research, the software code implementing all methods here (using lazarus free-pascal "www.lazarus.freepascal.org"), including all test data, are freely available at: "sites.google.com/site/pascualmarqui/home/similaritycovariance". △ Less

Submitted 4 February, 2013; v1 submitted 17 January, 2013; originally announced January 2013.

Comments: Pre-print; Technical report; 2013-01-18

Technical Design Report for the: PANDA Micro Vertex Detector

Authors: PANDA Collaboration, W. Erni, I. Keshelashvili, B. Krusche, M. Steinacher, Y. Heng, Z. Liu, H. Liu, X. Shen, Q. Wang, H. Xu, M. Albrecht, J. Becker, K. Eickel, F. Feldbauer, M. Fink, P. Friedel, F. H. Heinsius, T. Held, H. Koch, B. Kopf, M. Leyhe, C. Motzko, M. Pelizäus, J. Pychy , et al. (436 additional authors not shown)

Abstract: This document illustrates the technical layout and the expected performance of the Micro Vertex Detector (MVD) of the PANDA experiment. The MVD will detect charged particles as close as possible to the interaction zone. Design criteria and the optimisation process as well as the technical solutions chosen are discussed and the results of this process are subjected to extensive Monte Carlo physics… ▽ More This document illustrates the technical layout and the expected performance of the Micro Vertex Detector (MVD) of the PANDA experiment. The MVD will detect charged particles as close as possible to the interaction zone. Design criteria and the optimisation process as well as the technical solutions chosen are discussed and the results of this process are subjected to extensive Monte Carlo physics studies. The route towards realisation of the detector is outlined. △ Less

Submitted 10 August, 2012; v1 submitted 27 July, 2012; originally announced July 2012.

Comments: 189 pages, 225 figures, 41 tables

Technical Design Report for the: PANDA Straw Tube Tracker

Authors: PANDA Collaboration, W. Erni, I. Keshelashvili, B. Krusche, M. Steinacher, Y. Heng, Z. Liu, H. Liu, X. Shen, Q. Wang, H. Xu, A. Aab, M. Albrecht, J. Becker, A. Csapó, F. Feldbauer, M. Fink, P. Friedel, F. H. Heinsius, T. Held, L. Klask, H. Koch, B. Kopf, S. Leiber, M. Leyhe , et al. (451 additional authors not shown)

Abstract: This document describes the technical layout and the expected performance of the Straw Tube Tracker (STT), the main tracking detector of the PANDA target spectrometer. The STT encloses a Micro-Vertex-Detector (MVD) for the inner tracking and is followed in beam direction by a set of GEM-stations. The tasks of the STT are the measurement of the particle momentum from the reconstructed trajectory an… ▽ More This document describes the technical layout and the expected performance of the Straw Tube Tracker (STT), the main tracking detector of the PANDA target spectrometer. The STT encloses a Micro-Vertex-Detector (MVD) for the inner tracking and is followed in beam direction by a set of GEM-stations. The tasks of the STT are the measurement of the particle momentum from the reconstructed trajectory and the measurement of the specific energy-loss for a particle identification. Dedicated simulations with full analysis studies of certain proton-antiproton reactions, identified as being benchmark tests for the whole PANDA scientific program, have been performed to test the STT layout and performance. The results are presented, and the time lines to construct the STT are described. △ Less

Submitted 4 June, 2012; v1 submitted 24 May, 2012; originally announced May 2012.

Comments: accepted for publication on EPJA

Journal ref: Eur. Phys. J. A (2013) 49: 25

Phonon-drag studies of (110) AlAs quantum wells

Authors: Dietmar Lehmann, Czeslaw Jasiukiewicz

Abstract: We investigate the possibility of using phonon-drag imaging for the study of 2D electrons in (110) AlAs quantum wells. Our numerical simulations show that direct information on the strain and quantum confinement dependent valley occupancy of the electrons, on the anisotropic effective mass tensor and on electron-phonon coupling parameters can be obtained. We investigate the possibility of using phonon-drag imaging for the study of 2D electrons in (110) AlAs quantum wells. Our numerical simulations show that direct information on the strain and quantum confinement dependent valley occupancy of the electrons, on the anisotropic effective mass tensor and on electron-phonon coupling parameters can be obtained. △ Less

Submitted 16 February, 2012; originally announced February 2012.

Comments: 8 pages, 6 figures