arXiv ScienceSearch

arXiv subjects

Thomas Huber

Publications and source records attributed to Thomas Huber.

16 recordsLinked to original sources

TruthSplit: Operationalizing Conditional Validity in Arguments Through Multi-Perspective Reasoning

We present TruthSplit, an interactive system for multi-perspective argument analysis. Existing argumentation tools typically analyze properties of the argument itself, such as structure, quality, stance, or persuasiveness, while leaving perspective-specific background knowledge implicit. TruthSplit addresses this gap by supporting an exploratory analysis of how the same claim can lead to different conclusions when interpreted through worldview-specific values, assumptions, and conceptual definitions. We refer to this perspective-dependent analysis as conditional validity. Given an input argumentative text, TruthSplit extracts claims and premises, applies a three-layer natural language inference (NLI) approach to assess both logical and worldview-specific normative consistency, and conditions large language model (LLM) reasoning on structured worldview profiles that encode core values and decision principles. The system then generates perspective-specific interpretations, identifies value conflicts and assumption gaps, and visualizes divergence through interactive analytical interfaces.

cs.CL

CLEAR: A Comprehensive Linguistic Evaluation of Argument Rewriting by Large Language Models

While LLMs have been extensively studied on general text generation tasks, there is less research on text rewriting, a task related to general text generation, and particularly on the behavior of models on this task. In this paper we analyze what changes LLMs make in a text rewriting setting. We focus specifically on argumentative texts and their improvement, a task named Argument Improvement (ArgImp). We present CLEAR: an evaluation pipeline consisting of 57 metrics mapped to four linguistic levels: lexical, syntactic, semantic and pragmatic. This pipeline is used to examine the qualities of LLM-rewritten arguments on a broad set of argumentation corpora and compare the behavior of different LLMs on this task and analyze the behavior of different LLMs on this task in terms of linguistic levels. By taking all four linguistic levels into consideration, we find that the models perform ArgImp by shortening the texts while simultaneously increasing average word length and merging sentences. Overall we note an increase in the persuasion and coherence dimensions.

cs.CL

Silicon Photomultipliers for Detection of Photon Bunching Signatures

In this work, photon bunching from LED light was observed for the first time using SiPMs. The bunching signature was observed with a significance of $7.3~\sigma$ using 97~hs of data. The light was spectrally filtered using a 1~nm bandpass filter and an Etalon filter to ensure temporal coherence of the field and its coherence time was measured to be $\tau_C = (19 \pm 2)$~ps. The impact of SiPM non-idealities in these kinds of measurements is explored, and we describe the methodology to process SiPM analog waveforms and the event selection used to mitigate these non-idealities.

physics.ins-det

Energy Management of Hydrogen Hybrid Electric Vehicles -- A Potential Study

The hydrogen combustion engine (H$_2$ICE) is known to be able to burn H$_2$ under ultra-lean conditions, while producing no CO$_2$ emissions and extremely low engine-out NO$_x^{\mathrm{eo}}$ emissions. Immediate goals, as for instance the upcoming EURO 7 NO$_x$ limitations, can be reached more easily as extremely low engine-out NO$_x^{\mathrm{eo}}$ emissions facilitate the reduction of the overall tailpipe NO$_x^{\mathrm{tp}}$ emissions. In this work, the feasibility of achieving consistent reductions in NO$_x^{\mathrm{eo}}$ emissions through the implementation of electric hybridization of an H$_2$ICE-equipped passenger car (H$_2$-HEV), combined with a dedicated energy management strategy (EMS) is discussed. In particular, the mixed H$_2$-HEV architecture is investigated and compared to a series H$_2$-HEV, a parallel H$_2$-HEV, and a base H$_2$-vehicle, which is only equipped with an H$_2$ICE. For hybrid vehicles, a low H$_2$ consumption and low NO$_x^{\mathrm{eo}}$ emissions are conflicting objectives, the trade-off of which depends on the EMS and can be represented as a Pareto front. Overall, through the utilization of a dedicated energy management calibration, the mixed H$_2$-HEV demonstrates the capability to consistently achieve extremely low engine-out NO$_x^{\mathrm{eo}}$ emissions. For a broad range of driving missions, the mixed H$_2$-HEV is able to decrease the engine-out NO$_\mathrm{x}^\mathrm{eo}$ emissions by more than 90%, while, at the same time, the H$_2$ consumption is decreased by over 16%, compared to a comparable non-hybridized H$_2$-vehicle. These significant emission reductions are possible without having to modify the exhaust-gas aftertreatment system, or the optimization of any of the individual drivetrain components, but solely by setting the EMS calibration accordingly.

eess.SY

Sharpness of the Berezinskii-Kosterlitz-Thouless transition in ultrathin NbN films

We present a comprehensive investigation of the Berezinskii-Kosterlitz-Thouless (BKT) transition in ultrathin strongly disordered NbN films. Measurements of resistance, current-voltage characteristics and kinetic inductance on the very same device reveal a consistent picture of a sharp unbinding transition of vortex-antivortex pairs that fit standard renormalization group theory without extra assumptions in terms of inhomogeneity. Our experiments demonstrate that the previously observed broadening of the transition is not an intrinsic feature of strongly disordered superconductors and provide a clean starting point for the study of dynamical effects at the BKT transition.

cond-mat.supr-con

Learning-Based Model Predictive Control for the Energy Management of Hybrid Electric Vehicles Including Driving Mode Decisions

This paper presents an online-capable controller for the energy management system of a parallel hybrid electric vehicle based on model predictive control. Its task is to minimize the vehicle's fuel consumption along a predicted driving mission by calculating the distribution of the driver's power request between the electrical and the combustive part of the powertrain, and by choosing the driving mode, which depends on the vehicle's clutch state. The inclusion of the clutch state in a model predictive control structure is not trivial because the underlying optimization problem becomes a mixed-integer program as a consequence. Using Pontryagin's Minimum Principle and a simplified vehicle model, it is possible to prove that a drive cycle-dependent critical power request Pcrit exists, which uniquely separates the optimal driving mode. Based on this result, a learning algorithm is proposed to determine Pcrit during the operation of the vehicle. The learning algorithm is incorporated into a multi-level controller structure and the working principle of the resulting multi-level learning-based model predictive controller is analyzed in detail using two realistic driving missions. A comparison to the solution obtained by Dynamic Programming reveals that the proposed controller achieves close-to-optimal performance.

eess.SY

ECP SOLLVE: Validation and Verification Testsuite Status Update and Compiler Insight for OpenMP

The OpenMP language continues to evolve with every new specification release, as does the need to validate and verify the new features that have been introduced. With the release of OpenMP 5.0 and OpenMP 5.1, plenty of new target offload and host-based features have been introduced to the programming model. While OpenMP continues to grow in maturity, there is an observable growth in the number of compiler and hardware vendors that support OpenMP. In this manuscript, we focus on evaluating the conformity and implementation progress of various compiler vendors such as Cray, IBM, GNU, Clang/LLVM, NVIDIA, Intel and AMD. We specifically address the 4.5, 5.0, and 5.1 versions of the specification.

cs.DC

Performance Assessment of OpenMP Compilers Targeting NVIDIA V100 GPUs

Heterogeneous systems are becoming increasingly prevalent. In order to exploit the rich compute resources of such systems, robust programming models are needed for application developers to seamlessly migrate legacy code from today's systems to tomorrow's. Over the past decade and more, directives have been established as one of the promising paths to tackle programmatic challenges on emerging systems. This work focuses on applying and demonstrating OpenMP offloading directives on five proxy applications. We observe that the performance varies widely from one compiler to the other; a crucial aspect of our work is reporting best practices to application developers who use OpenMP offloading compilers. While some issues can be worked around by the developer, there are other issues that must be reported to the compiler vendors. By restructuring OpenMP offloading directives, we gain an 18x speedup for the su3 proxy application on NERSC's Cori system when using the Clang compiler, and a 15.7x speedup by switching max reductions to add reductions in the laplace mini-app when using the Cray-llvm compiler on Cori.

cs.PF

The Scintillator Upgrade of IceTop: Performance of the prototype array

The IceCube Collaboration foresees to upgrade IceTop, the present surface array, with scintillator detectors augmented by radio antennas. As one of several goals the scintillator detectors will be used to measure and mitigate the effects of snow accumulation on the IceTop tanks: the increasing energy threshold and efficiency loss are nowadays the sources of the largest systematic uncertainties in shower reconstruction and mass composition analysis. In addition, the upgrade will provide useful experience for the development of next generation neutrino detectors proposed for the South Pole. In the Austral summer season, 2017-2018 two full "stations" were installed near the center of the IceTop array. Each station features custom-designed electronics and consists of seven detectors, each having an active area of 1.5m$^{2}$ plastic scintillator and wavelength shifting fibers read out by a Silicon Photomultiplier. In this contribution we review the detector design and performance, and show results from more than one year of operation of the prototype stations. During that year several thousand air shower events have been measured in coincidence with IceTop.

astro-ph.HE

A Surface Radio Array for the Enhancement of IceTop and its Science Prospects

Radio detection of air showers in the current era has progressed immensely to effectively extract the properties of these air showers. Primary cosmic rays with energies of hundreds of PeV have been successfully measured with the method of radio detection. There are also attempts to observe high-energy neutrinos with this technique. Current radio experiments measuring cosmic-ray air showers mostly operate in the frequency range of 30-80 MHz. An optimization of the frequency band of operation can be done for maximizing the signal-to-noise ratio that can be achieved by an array of radio antennas at the South Pole, operated along with IceTop. Such an array can improve the reconstruction of air showers performed with IceTop. The prospect of using such an optimized radio array for measuring gamma rays of PeV energies from the Galactic Center is discussed.

astro-ph.IM

Characterization of Hamamatsu 64-channel TSV SiPMs

The Hamamatsu UV-light enhanced 64-channel SiPM array of the newest generation (S13361-3050AS-08) has been examined for the purpose of being used for the Silicon Elementary Cell Add-on (SiECA) of the EUSO-SPB balloon experiment. Characterization measurements have been performed with the newly installed Single Photon Calibration Stand at KIT (SPOCK). The results of the characterization measurements including the breakdown voltage, the gain, the PDE, the dark-count rate and the crosstalk probability of all 64 SiPM channels are presented. Additional measurements of the SiPM sensitivity to photons with wavelengths lower than 400nm show an improved PDE for small wavelengths compared to the SiPM array S12642-0808PA-50, which was also investigated for comparison. The response dynamics have been investigated for low numbers of incoming photons. Temperature dependent measurements of the gain, the PDE, the dark-count rate and the crosstalk probability have been performed for one channel of the SiPM array.

astro-ph.IM

A far-off-resonance optical trap for a Ba$^+$ ion

Optical trapping and ions combine unique advantages of independently striving fields of research. Light fields can form versatile potential landscapes, such as optical lattices, for neutral and charged atoms, avoiding detrimental implications of established radiofrequency (rf) traps while mediating interaction via long range Coulomb forces, controlling and detecting motional and electronic states on the quantum level. Here we show optical trapping of $^{138}$Ba$^{+}$ ions in the absence of rf fields in a far-detuned dipole trap, suppressing photon scattering by three and the related recoil heating by four orders of magnitude. To enhance the prospects for optical as well as hybrid traps, we demonstrate a novel method for stray electric field compensation to a level below 9 mV/m. Our results will be relevant, for example, for ion-atom ensembles, to enable four to five orders of magnitude lower common temperatures, accessing the regime of ultracold interaction and chemistry, where quantum effects are predicted to dominate.

physics.atom-ph

Single ions trapped in a one-dimensional optical lattice

We report on three-dimensional optical trapping of single ions in an optical lattice formed by two counter-propagating laser beams. We characterize the trapping parameters of the standing wave using the ion as a sensor stored in a hybrid trap consisting of a radio-frequency (rf), a dc, and the optical potential. When loading ions directly from the rf into the standing-wave trap, we observe a dominant heating rate. Monte Carlo simulations confirm rf-induced parametric excitations within the deep optical lattice as the main source. We demonstrate a way around this effect by an alternative transfer protocol which involves an intermediate step of optical confinement in a single-beam trap avoiding the temporal overlap of the standing wave and the rf field. Implications arise for hybrid (rf/optical) and pure optical traps as platforms for ultra-cold chemistry experiments exploring atom--ion collisions or quantum simulation experiments with ions, or combinations of ions and atoms.

physics.atom-ph

Influence of static electric fields on an optical ion trap

We recently reported on a proof-of-principle experiment demonstrating optical trapping of an ion in a single-beam dipole trap superimposed by a static electric potential [Nat. Photonics 4, 772--775 (2010)]. Here, we first discuss the experimental procedures focussing on the influence and consequences of the static electric potential. These potentials can easily prevent successful optical trapping, if their configuration is not chosen carefully. Afterwards, we analyse the dipole trap experiments with different analytic models, in which different approximations are applied. According to these models the experimental results agree with recoil heating as the relevant heating effect. In addition, a Monte-Carlo simulation has been developed to refine the analysis. It reveals a large impact of the static electric potential on the dipole trap experiments in general. While it supports the results of the analytic models for the parameters used in the experiments, the analytic models cease their validity for significantly different parameters. Finally, we propose technical improvements for future realizations of experiments with optically trapped ions.

physics.atom-ph

Experimental simulation and limitations of quantum walks with trapped ions

We examine the prospects of discrete quantum walks (QWs) with trapped ions. In particular, we analyze in detail the limitations of the protocol of Travaglione and Milburn (PRA 2002) that has been implemented by several experimental groups in recent years. Based on the first realization in our group (PRL 2009), we investigate the consequences of leaving the scope of the approximations originally made, such as the Lamb--Dicke approximation. We explain the consequential deviations from the idealized QW for different experimental realizations and an increasing number of steps by taking into account higher-order terms of the quantum evolution. It turns out that these become dominant after a few steps already, which is confirmed by experimental results and is currently limiting the scalability of this approach. Finally, we propose a new scheme using short laser pulses, derived from a protocol from the field of quantum computation. We show that the new scheme is not subject to the above-mentioned restrictions, and analytically and numerically evaluate its limitations, based on a realistic implementation with our specific setup. Implementing the protocol with state-of-the-art techniques should allow for substantially increasing the number of steps to 100 and beyond and should be extendable to higher-dimensional QWs.

quant-ph

Free energy approximations in simple lattice proteins

This work addresses the question of whether it is possible to define simple pair-wise interaction terms to approximate free energies of proteins or polymers. Rather than ask how reliable a potential of mean force is, one can ask how reliable it could possibly be. In a two-dimensional, infinite lattice model system one can calculate exact free energies by exhaustive enumeration. A series of approximations were fitted to exact results to assess the feasibility and utility of pair-wise free energy terms. Approximating the true free energy with pair-wise interactions gives a poor fit with little transferability between systems of different size. Adding extra artificial terms to the approximation yields better fits, but does not improve the ability to generalise from one system size to another. Further, one cannot distinguish folding from non-folding sequences via the approximated free energies. Most usefully, the methodology shows how one can assess the utility of various terms in lattice protein/polymer models.

cond-mat.soft