Showing 1–15 of 15 results for author: Hirsch, T

Algorithms in 4-manifold topology

Authors: Stefan Bastl, Rhuaidi Burke, Rima Chatterjee, Subhankar Dey, Alison Durst, Stefan Friedl, Daniel Galvin, Alejandro García Rivas, Tobias Hirsch, Cara Hobohm, Chun-Sheng Hsueh, Marc Kegel, Frieda Kern, Shun Ming Samuel Lee, Clara Löh, Naageswaran Manikandan, Léo Mousseau, Lars Munser, Mark Pencovitch, Patrick Perras, Mark Powell, José Pedro Quintanilha, Lisa Schambeck, David Suchodoll, Martin Tancer , et al. (6 additional authors not shown)

Abstract: We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply connected, topological 4-manifolds can be naturally represented by a Kirby diagram consisting only of 2-handles. This representation is used as input for our algorithm.… ▽ More We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply connected, topological 4-manifolds can be naturally represented by a Kirby diagram consisting only of 2-handles. This representation is used as input for our algorithm. Along the way, we develop an algorithm to compute the Kirby-Siebenmann invariant of a closed, simply connected, topological 4-manifold from any of its Kirby diagrams and describe an algorithm that decides whether or not two intersection forms are isometric. In a slightly different direction, we discuss the decidability of the stable classification of smooth manifolds with more general fundamental groups. Here we show that there exists an algorithm that takes as input two closed, oriented, smooth 4-manifolds with fundamental groups isomorphic to a finite group with cyclic Sylow 2-subgroup, an infinite cyclic group, or a group of geometric dimension at most 3 (in the latter case we additionally assume that the universal covers of both 4-manifolds are not spin), and decides whether or not these two 4-manifolds are orientation-preserving stably diffeomorphic. △ Less

Submitted 13 November, 2024; originally announced November 2024.

Comments: 24 pages, 1 Figure

Report number: MPIM-Bonn-2024 MSC Class: 57K40; 57K10; 57R65

Generalizable Temperature Nowcasting with Physics-Constrained RNNs for Predictive Maintenance of Wind Turbine Components

Authors: Johannes Exenberger, Matteo Di Salvo, Thomas Hirsch, Franz Wotawa, Gerald Schweiger

Abstract: Machine learning plays an important role in the operation of current wind energy production systems. One central application is predictive maintenance to increase efficiency and lower electricity costs by reducing downtimes. Integrating physics-based knowledge in neural networks to enforce their physical plausibilty is a promising method to improve current approaches, but incomplete system informa… ▽ More Machine learning plays an important role in the operation of current wind energy production systems. One central application is predictive maintenance to increase efficiency and lower electricity costs by reducing downtimes. Integrating physics-based knowledge in neural networks to enforce their physical plausibilty is a promising method to improve current approaches, but incomplete system information often impedes their application in real world scenarios. We describe a simple and efficient way for physics-constrained deep learning-based predictive maintenance for wind turbine gearbox bearings with partial system knowledge. The approach is based on temperature nowcasting constrained by physics, where unknown system coefficients are treated as learnable neural network parameters. Results show improved generalization performance to unseen environments compared to a baseline neural network, which is especially important in low data scenarios often encountered in real-world applications. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: Published at ICLR 2024 Tackling Climate Change with Machine Learning Workshop

Emergent Error Correcting States in Networks of Nonlinear Oscillators

Authors: Xiaoya Jin, Christopher G. Baker, Erick Romero, Nicholas P. Mauranyapin, Timothy M. F. Hirsch, Warwick P. Bowen, Glen I. Harris

Abstract: Networks of nonlinear oscillators can exhibit complex collective behaviour ranging from synchronised states to chaos. Here, we simulate the dynamics of three coupled Duffing oscillators whose multiple equilibrium states can be used for information processing and storage. Our analysis reveals that even for this small network, there is the emergence of an error correcting phase where the system auto… ▽ More Networks of nonlinear oscillators can exhibit complex collective behaviour ranging from synchronised states to chaos. Here, we simulate the dynamics of three coupled Duffing oscillators whose multiple equilibrium states can be used for information processing and storage. Our analysis reveals that even for this small network, there is the emergence of an error correcting phase where the system autonomously corrects errors from random impulses. The system has several surprising and attractive features, including dynamic isolation of resonators exposed to extreme impulses and the ability to correct simultaneous errors. The existence of an error correcting phase opens the prospect of fault-tolerant information storage, with particular applications in nanomechanical computing. △ Less

Submitted 7 December, 2023; originally announced December 2023.

Directional emission in an on-chip acoustic waveguide

Authors: Timothy M. F. Hirsch, Nicolas P. Mauranyapin, Erick Romero, Tina Jin, Glen Harris, Christopher G. Baker, Warwick . P. Bowen

Abstract: Integrated acoustic circuits leverage guided acoustic waves for applications ranging from radio-frequency filters to quantum state transfer, biochemical sensing and nanomechanical computing. In many applications it is desirable to have a method for unidirectional acoustic wave emission. In this work we demonstrate directional emission in an integrated single-mode, on-chip membrane waveguide, demon… ▽ More Integrated acoustic circuits leverage guided acoustic waves for applications ranging from radio-frequency filters to quantum state transfer, biochemical sensing and nanomechanical computing. In many applications it is desirable to have a method for unidirectional acoustic wave emission. In this work we demonstrate directional emission in an integrated single-mode, on-chip membrane waveguide, demonstrating over 99.9% directional suppression and reconfigurable directionality. This avoids both loss and unwanted crosstalk, allowing the creation of more complex and compact phononic circuits. △ Less

Submitted 12 October, 2023; originally announced October 2023.

Cascading of Nanomechanical Resonator Logic

Authors: T. Jin, C. G. Baker, E. Romero, N. P. Mauranyapin, T. M. F. Hirsch, W. P. Bowen, G. I. Harris

Abstract: Nanomechanical systems have been proposed as an alternative computing platform for high radiation environments, where semiconductor electronics traditionally fail, as well as to allow improved gate densities and energy consumption. While there have been numerous demonstrations of individual nanomechanical logic gates leveraging the Duffing nonlinearity, the development of useful nanomechanical log… ▽ More Nanomechanical systems have been proposed as an alternative computing platform for high radiation environments, where semiconductor electronics traditionally fail, as well as to allow improved gate densities and energy consumption. While there have been numerous demonstrations of individual nanomechanical logic gates leveraging the Duffing nonlinearity, the development of useful nanomechanical logic circuits depends strongly on the ability to cascade multiple logic gates. Here we show theoretically that cascading nanomechanical logic gates, where the output of one gate is fed into the input of another, is a complex problem due to the transient dynamics of the collective system. These transient behaviours can lead to undesired bit flips, which precludes cascading altogether. We then show that this issue can be circumvented by carefully initialising the system prior to computation. We illustrate these salient features through the modelled dynamics of two cascaded nanomechanical NAND gates. △ Less

Submitted 5 December, 2022; originally announced December 2022.

Comments: Manuscript: 21 pages 9 figures, includes supplementary information 4 pages 1 figure

Scalable nanomechanical logic gate

Authors: Erick Romero, Nicolas P. Mauranyapin, Timothy M. F. Hirsch, Rachpon Kalra, Christopher G. Baker, Glen I. Harris, Warwick P. Bowen

Abstract: Nanomechanical computers promise robust, low energy information processing. However, to date, electronics have generally been required to interconnect gates, while no scalable, purely nanomechanical approach to computing has been achieved. Here, we demonstrate a nanomechanical logic gate in a scalable architecture. Our gate uses the bistability of a nonlinear mechanical resonator to define logical… ▽ More Nanomechanical computers promise robust, low energy information processing. However, to date, electronics have generally been required to interconnect gates, while no scalable, purely nanomechanical approach to computing has been achieved. Here, we demonstrate a nanomechanical logic gate in a scalable architecture. Our gate uses the bistability of a nonlinear mechanical resonator to define logical states. These states are efficiently coupled into and out of the gate via nanomechanical waveguides, which provide the mechanical equivalent of electrical wires. Crucially, the input and output states share the same spatiotemporal characteristics, so that the output of one gate can serve as the input for the next. Our architecture is CMOS compatible, while realistic miniaturisation could allow both gigahertz frequencies and an energy cost that approaches the fundamental Landauer limit. Together this presents a pathway towards large-scale nanomechanical computers, as well as neuromorphic networks able to simulate computationally hard problems and interacting many-body systems. △ Less

Submitted 24 June, 2022; v1 submitted 23 June, 2022; originally announced June 2022.

Comments: Manuscript 11 pages 5 figures, includes supplementary information 11 pages 6 figures

Identifying non-natural language artifacts in bug reports

Authors: Thomas Hirsch, Birgit Hofer

Abstract: Bug reports are a popular target for natural language processing (NLP). However, bug reports often contain artifacts such as code snippets, log outputs and stack traces. These artifacts not only inflate the bug reports with noise, but often constitute a real problem for the NLP approach at hand and have to be removed. In this paper, we present a machine learning based approach to classify content… ▽ More Bug reports are a popular target for natural language processing (NLP). However, bug reports often contain artifacts such as code snippets, log outputs and stack traces. These artifacts not only inflate the bug reports with noise, but often constitute a real problem for the NLP approach at hand and have to be removed. In this paper, we present a machine learning based approach to classify content into natural language and artifacts at line level implemented in Python. We show how data from GitHub issue trackers can be used for automated training set generation, and present a custom preprocessing approach for bug reports. Our model scores at 0.95 ROC-AUC and 0.93 F1 against our manually annotated validation set, and classifies 10k lines in 0.72 seconds. We cross evaluated our model against a foreign dataset and a foreign R model for the same task. The Python implementation of our model and our datasets are made publicly available under an open source license. △ Less

Submitted 4 October, 2021; originally announced October 2021.

Comments: 7 pages, to be published in 36th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW'21), November 15-19, 2021

Constraining new physics with a novel measurement of the $^{23}$Ne $β$-decay branching ratio

Authors: Yonatan Mishnayot, Ayala Glick-Magid, Hitesh Rahangdale, Guy Ron, Doron Gazit, Jason T. Harke, Micha Hass, Ben Ohayon, Aaron Gallant, Nicholas D. Scielzo, Sergey Vaintruab, Richard O. Hughes, Tsviki Hirsch, Christian Forssén, Daniel Gazda, Peter Gysbers, Javier Menéndez, Petr Navrátil, Leonid Weissman, Arik Kreisel, Boaz Kaizer, Hodaya Daphna, Maayan Buzaglo

Abstract: Measurements of the beta-neutrino correlation coefficient (a$_{βν}$) in nuclear beta decay, together with the Fierz interference term (b$_F$), provide a robust test for the existence of exotic interactions beyond the Standard Model of Particle Physics. The extraction of these quantities from the recoil ion spectra in $β$-decay requires accurate knowledge, decay branching ratios, and high-precision… ▽ More Measurements of the beta-neutrino correlation coefficient (a$_{βν}$) in nuclear beta decay, together with the Fierz interference term (b$_F$), provide a robust test for the existence of exotic interactions beyond the Standard Model of Particle Physics. The extraction of these quantities from the recoil ion spectra in $β$-decay requires accurate knowledge, decay branching ratios, and high-precision calculations of higher order nuclear effects. Here, we report on a new measurement of the $^{23}$Ne $β$-decay branching ratio, which allows a reanalysis of existing high-precision measurements. Together with new theoretical calculations of nuclear structure effects, augmented with robust theoretical uncertainty, this measurement improves on the current knowledge of a$_{βν}$ in $^{23}$Ne by an order of magnitude, and strongly constrains the Fierz term in beta decays, making this one of the first extractions to constrain both terms simultaneously. Together, these results place bounds on the existence of exotic tensor interactions and pave the way for new, even higher precision, experiments. △ Less

Submitted 29 July, 2021; originally announced July 2021.

Close-coupled model of Feshbach resonances in ultracold $^3$He* and $^4$He* atomic Collisions

Authors: T. M. F. Hirsch, D. G. Cocks, S. S. Hodgman

Abstract: Helium atoms in the metastable $2^3{S_{1}}$ state (He$^*$) have unique advantages for ultracold atomic experiments. However, there is no known accessible Feshbach resonance in He$^*$, which could be used to manipulate the scattering length and hence unlock several new experimental possiblities. Previous experimental and theoretical studies for He$^*$ have produced contradictory results. We aimed t… ▽ More Helium atoms in the metastable $2^3{S_{1}}$ state (He$^*$) have unique advantages for ultracold atomic experiments. However, there is no known accessible Feshbach resonance in He$^*$, which could be used to manipulate the scattering length and hence unlock several new experimental possiblities. Previous experimental and theoretical studies for He$^*$ have produced contradictory results. We aimed to resolve this discrepancy with a theoretical search for Feshbach resonances, using a new close-coupled model of He$^*$ collisions in the presence of an external magnetic field. Several resonances were detected and the existing literature discrepancy was resolved. Although none of the resonances identified are readily experimentally useable, an interesting non-Feshbach scattering length variation with magnetic field was observed in heteronuclear collisions, at field strengths that are experimentally accessible. △ Less

Submitted 27 May, 2021; originally announced May 2021.

Comments: 8 pages, 4 figures

Journal ref: Phys. Rev. A 104, 033317 (2021)

What we can learn from how programmers debug their code

Authors: Thomas Hirsch, Birgit Hofer

Abstract: Researchers have developed numerous debugging approaches to help programmers in the debugging process, but these approaches are rarely used in practice. In this paper, we investigate how programmers debug their code and what researchers should consider when developing debugging approaches. We conducted an online questionnaire where 102 programmers provided information about recently fixed bugs. We… ▽ More Researchers have developed numerous debugging approaches to help programmers in the debugging process, but these approaches are rarely used in practice. In this paper, we investigate how programmers debug their code and what researchers should consider when developing debugging approaches. We conducted an online questionnaire where 102 programmers provided information about recently fixed bugs. We found that the majority of bugs (69.6 %) are semantic bugs. Memory and concurrency bugs do not occur as frequently (6.9 % and 8.8 %), but they consume more debugging time. Locating a bug is more difficult than reproducing and fixing it. Programmers often use only IDE build-in tools for debugging. Furthermore, programmers frequently use a replication-observation-deduction pattern when debugging. These results suggest that debugging support is particularly valuable for memory and concurrency bugs. Furthermore, researchers should focus on the fault localization phase and integrate their tools into commonly used IDEs. △ Less

Submitted 23 March, 2021; originally announced March 2021.

Comments: 4 pages, accepted and to be published in Proceedings of SER&IP 2021

A Fault Localization and Debugging Support Framework driven by Bug Tracking Data

Authors: Thomas Hirsch

Abstract: Fault localization has been determined as a major resource factor in the software development life cycle. Academic fault localization techniques are mostly unknown and unused in professional environments. Although manual debugging approaches can vary significantly depending on bug type (e.g. memory bugs or semantic bugs), these differences are not reflected in most existing fault localization tool… ▽ More Fault localization has been determined as a major resource factor in the software development life cycle. Academic fault localization techniques are mostly unknown and unused in professional environments. Although manual debugging approaches can vary significantly depending on bug type (e.g. memory bugs or semantic bugs), these differences are not reflected in most existing fault localization tools. Little research has gone into automated identification of bug types to optimize the fault localization process. Further, existing fault localization techniques leverage on historical data only for augmentation of suspiciousness rankings. This thesis aims to provide a fault localization framework by combining data from various sources to help developers in the fault localization process. To achieve this, a bug classification schema is introduced, benchmarks are created, and a novel fault localization method based on historical data is proposed. △ Less

Submitted 3 March, 2021; originally announced March 2021.

Comments: 4 pages

Journal ref: Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Coimbra, Portugal, 2020, pp. 139-142

Root cause prediction based on bug reports

Authors: Thomas Hirsch, Birgit Hofer

Abstract: This paper proposes a supervised machine learning approach for predicting the root cause of a given bug report. Knowing the root cause of a bug can help developers in the debugging process - either directly or indirectly by choosing proper tool support for the debugging task. We mined 54755 closed bug reports from the issue trackers of 103 GitHub projects and applied a set of heuristics to create… ▽ More This paper proposes a supervised machine learning approach for predicting the root cause of a given bug report. Knowing the root cause of a bug can help developers in the debugging process - either directly or indirectly by choosing proper tool support for the debugging task. We mined 54755 closed bug reports from the issue trackers of 103 GitHub projects and applied a set of heuristics to create a benchmark consisting of 10459 reports. A subset was manually classified into three groups (semantic, memory, and concurrency) based on the bugs' root causes. Since the types of root cause are not equally distributed, a combination of keyword search and random selection was applied. Our data set for the machine learning approach consists of 369 bug reports (122 concurrency, 121 memory, and 126 semantic bugs). The bug reports are used as input to a natural language processing algorithm. We evaluated the performance of several classifiers for predicting the root causes for the given bug reports. Linear Support Vector machines achieved the highest mean precision (0.74) and recall (0.72) scores. The created bug data set and classification are publicly available. △ Less

Submitted 3 March, 2021; originally announced March 2021.

Comments: 6 pages

Journal ref: Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Coimbra, Portugal, 2020, pp. 171-176

Automated Evaluation Of Psychotherapy Skills Using Speech And Language Technologies

Authors: Nikolaos Flemotomos, Victor R. Martinez, Zhuohao Chen, Karan Singla, Victor Ardulov, Raghuveer Peri, Derek D. Caperton, James Gibson, Michael J. Tanana, Panayiotis Georgiou, Jake Van Epps, Sarah P. Lord, Tad Hirsch, Zac E. Imel, David C. Atkins, Shrikanth Narayanan

Abstract: With the growing prevalence of psychological interventions, it is vital to have measures which rate the effectiveness of psychological care to assist in training, supervision, and quality assurance of services. Traditionally, quality assessment is addressed by human raters who evaluate recorded sessions along specific dimensions, often codified through constructs relevant to the approach and domai… ▽ More With the growing prevalence of psychological interventions, it is vital to have measures which rate the effectiveness of psychological care to assist in training, supervision, and quality assurance of services. Traditionally, quality assessment is addressed by human raters who evaluate recorded sessions along specific dimensions, often codified through constructs relevant to the approach and domain. This is however a cost-prohibitive and time-consuming method that leads to poor feasibility and limited use in real-world settings. To facilitate this process, we have developed an automated competency rating tool able to process the raw recorded audio of a session, analyzing who spoke when, what they said, and how the health professional used language to provide therapy. Focusing on a use case of a specific type of psychotherapy called Motivational Interviewing, our system gives comprehensive feedback to the therapist, including information about the dynamics of the session (e.g., therapist's vs. client's talking time), low-level psychological language descriptors (e.g., type of questions asked), as well as other high-level behavioral constructs (e.g., the extent to which the therapist understands the clients' perspective). We describe our platform and its performance using a dataset of more than 5,000 recordings drawn from its deployment in a real-world clinical setting used to assist training of new therapists. Widespread use of automated psychotherapy rating tools may augment experts' capabilities by providing an avenue for more effective training and skill improvement, eventually leading to more positive clinical outcomes. △ Less

Submitted 27 March, 2021; v1 submitted 22 February, 2021; originally announced February 2021.

Comments: new version has an updated title

Investigation of the Nd$_2$O$_3$--Lu$_2$O$_3$--Sc$_2$O$_3$ phase diagram for the preparation of perovskite-type mixed crystals NdLu$_{1-x}$Sc$_x$O$_3$

Authors: Tamino Hirsch, Christo Guguschev, Albert Kwasniewski, Steffen Ganschow, Detlef Klimm

Abstract: Based on differential thermal analysis (DTA) and X-ray powder diffraction (XRD), a description of the system Nd$_2$O$_3$--Lu$_2$O$_3$--Sc$_2$O$_3$ was obtained by thermodynamic assessment. Four fields of primary crystallization could be identified; from melt compositions close to the Lu$_2$O$_3$--Sc$_2$O$_3$ edge the rare-earth oxide C-phase crystallizes first, which is stable down to room tempera… ▽ More Based on differential thermal analysis (DTA) and X-ray powder diffraction (XRD), a description of the system Nd$_2$O$_3$--Lu$_2$O$_3$--Sc$_2$O$_3$ was obtained by thermodynamic assessment. Four fields of primary crystallization could be identified; from melt compositions close to the Lu$_2$O$_3$--Sc$_2$O$_3$ edge the rare-earth oxide C-phase crystallizes first, which is stable down to room temperature. From Nd$_2$O$_3$ rich melts the X-phase forms, which is stable only at high temperatures. An additional field, where the alternative high-temperature phase H solidifies as primary product touches the Nd$_2$O$_3$--Lu$_2$O$_3$ edge of the concentration triangle. From melts close to the composition NdScO$_3$, the P-phase (perovskite) can be crystallized and mixed crystals with second end member NdLuO$_3$ have been grown from the melt. Crystals of this mixed perovskite were grown by the micro-pulling-down and Czochralski methods. △ Less

Submitted 14 June, 2018; originally announced June 2018.

Comments: 16 pages, 8 figures, submitted to J. Crystal Growth

Deformations with section: Cotangent cohomology, flatness conditions and modular subgerms

Authors: Tobias Hirsch, Bernd Martin

Abstract: We study modular subspaces corresponding to two deformation functors associated to an isolated singularity X_0: the functor Def_{X_0} of deformations of X_0 and the functor Def^s_{X_0} of deformations with section of X_0. After recalling some standard facts on the cotangent cohomology of analytic algebras and the general theory of deformations with section, we give several criteria for modularit… ▽ More We study modular subspaces corresponding to two deformation functors associated to an isolated singularity X_0: the functor Def_{X_0} of deformations of X_0 and the functor Def^s_{X_0} of deformations with section of X_0. After recalling some standard facts on the cotangent cohomology of analytic algebras and the general theory of deformations with section, we give several criteria for modularity in terms of the relative cotangent cohomology modules of a deformation. In particular it is shown that the modular strata for the functors Def_{X_0} and Def^s_{X_0} of quasihomogeneous complete intersection singularities coincide. Flatness conditions for the first cotangent cohomology modules of the deformation functors under consideration are then compared. △ Less

Submitted 19 June, 2003; originally announced June 2003.

Comments: 26 pages

MSC Class: 32S30; 13D03; 14B07; 13Pxx; 58K60