Showing 1–50 of 94 results for author: Boehm, J

Commutative Algebra and Algebraic Geometry using OSCAR

Authors: Janko Boehm, Wolfram Decker, Frank-Olaf Schreyer

Abstract: We give illustrative examples of how the computer algebra system OSCAR can support research in commutative algebra and algebraic geometry. We start with a thorough introduction to Groebner basis techniques, with particular emphasis on the computation of syzygies, then apply these techniques to deal with ideal and ring theoretic concepts such as primary decomposition and normalization, and finally… ▽ More We give illustrative examples of how the computer algebra system OSCAR can support research in commutative algebra and algebraic geometry. We start with a thorough introduction to Groebner basis techniques, with particular emphasis on the computation of syzygies, then apply these techniques to deal with ideal and ring theoretic concepts such as primary decomposition and normalization, and finally use them for geometric case studies which concern curves and surfaces, both from a local and global point of view. △ Less

Submitted 18 April, 2024; originally announced April 2024.

Comments: 50 pages, 10 figures

MSC Class: 14Qxx; 13P10; 13D02 (Primary); 14H50; 14Jxx; 14F05; 14Dxx; 14C30; 14D15 (Secondary)

Zero-shot detection of buildings in mobile LiDAR using Language Vision Model

Authors: June Moh Goo, Zichao Zeng, Jan Boehm

Abstract: Recent advances have demonstrated that Language Vision Models (LVMs) surpass the existing State-of-the-Art (SOTA) in two-dimensional (2D) computer vision tasks, motivating attempts to apply LVMs to three-dimensional (3D) data. While LVMs are efficient and effective in addressing various downstream 2D vision tasks without training, they face significant challenges when it comes to point clouds, a r… ▽ More Recent advances have demonstrated that Language Vision Models (LVMs) surpass the existing State-of-the-Art (SOTA) in two-dimensional (2D) computer vision tasks, motivating attempts to apply LVMs to three-dimensional (3D) data. While LVMs are efficient and effective in addressing various downstream 2D vision tasks without training, they face significant challenges when it comes to point clouds, a representative format for representing 3D data. It is more difficult to extract features from 3D data and there are challenges due to large data sizes and the cost of the collection and labelling, resulting in a notably limited availability of datasets. Moreover, constructing LVMs for point clouds is even more challenging due to the requirements for large amounts of data and training time. To address these issues, our research aims to 1) apply the Grounded SAM through Spherical Projection to transfer 3D to 2D, and 2) experiment with synthetic data to evaluate its effectiveness in bridging the gap between synthetic and real-world data domains. Our approach exhibited high performance with an accuracy of 0.96, an IoU of 0.85, precision of 0.92, recall of 0.91, and an F1 score of 0.92, confirming its potential. However, challenges such as occlusion problems and pixel-level overlaps of multi-label points during spherical image generation remain to be addressed in future studies. △ Less

Submitted 15 April, 2024; originally announced April 2024.

Comments: 7 pages, 6 figures, conference

Zero-shot Building Age Classification from Facade Image Using GPT-4

Authors: Zichao Zeng, June Moh Goo, Xinglei Wang, Bin Chi, Meihui Wang, Jan Boehm

Abstract: A building's age of construction is crucial for supporting many geospatial applications. Much current research focuses on estimating building age from facade images using deep learning. However, building an accurate deep learning model requires a considerable amount of labelled training data, and the trained models often have geographical constraints. Recently, large pre-trained vision language mo… ▽ More A building's age of construction is crucial for supporting many geospatial applications. Much current research focuses on estimating building age from facade images using deep learning. However, building an accurate deep learning model requires a considerable amount of labelled training data, and the trained models often have geographical constraints. Recently, large pre-trained vision language models (VLMs) such as GPT-4 Vision, which demonstrate significant generalisation capabilities, have emerged as potential training-free tools for dealing with specific vision tasks, but their applicability and reliability for building information remain unexplored. In this study, a zero-shot building age classifier for facade images is developed using prompts that include logical instructions. Taking London as a test case, we introduce a new dataset, FI-London, comprising facade images and building age epochs. Although the training-free classifier achieved a modest accuracy of 39.69%, the mean absolute error of 0.85 decades indicates that the model can predict building age epochs successfully albeit with a small bias. The ensuing discussion reveals that the classifier struggles to predict the age of very old buildings and is challenged by fine-grained predictions within 2 decades. Overall, the classifier utilising GPT-4 Vision is capable of predicting the rough age epoch of a building from a single facade image without any training. △ Less

Submitted 15 April, 2024; originally announced April 2024.

Self-supervised Visualisation of Medical Image Datasets

Authors: Ifeoma Veronica Nwabufo, Jan Niklas Böhm, Philipp Berens, Dmitry Kobak

Abstract: Self-supervised learning methods based on data augmentations, such as SimCLR, BYOL, or DINO, allow obtaining semantically meaningful representations of image datasets and are widely used prior to supervised fine-tuning. A recent self-supervised learning method, $t$-SimCNE, uses contrastive learning to directly train a 2D representation suitable for visualisation. When applied to natural image data… ▽ More Self-supervised learning methods based on data augmentations, such as SimCLR, BYOL, or DINO, allow obtaining semantically meaningful representations of image datasets and are widely used prior to supervised fine-tuning. A recent self-supervised learning method, $t$-SimCNE, uses contrastive learning to directly train a 2D representation suitable for visualisation. When applied to natural image datasets, $t$-SimCNE yields 2D visualisations with semantically meaningful clusters. In this work, we used $t$-SimCNE to visualise medical image datasets, including examples from dermatology, histology, and blood microscopy. We found that increasing the set of data augmentations to include arbitrary rotations improved the results in terms of class separability, compared to data augmentations used for natural images. Our 2D representations show medically relevant structures and can be used to aid data exploration and annotation, improving on common approaches for data visualisation. △ Less

Submitted 22 February, 2024; originally announced February 2024.

Moduli Parameters of Complex Singularities with Non-Degenerate Newton Boundary

Authors: Janko Boehm, Magdaleen S. Marais, Gerhard Pfister

Abstract: Our recent extension of Arnold's classification includes all singularities of corank up to two equivalent to a germ with a non-degenerate Newton boundary, thus broadening the classification's scope significantly by a class which is unbounded with respect to modality and Milnor number. This method is based on proving that all right-equivalence classes within a mu-constant stratum can be represented… ▽ More Our recent extension of Arnold's classification includes all singularities of corank up to two equivalent to a germ with a non-degenerate Newton boundary, thus broadening the classification's scope significantly by a class which is unbounded with respect to modality and Milnor number. This method is based on proving that all right-equivalence classes within a mu-constant stratum can be represented by a single normal form derived from a regular basis of a suitably selected special fiber. While both Arnold's and our preceding work on normal forms addresses the determination of a normal form family containing the given germ, this paper takes the next natural step: We present an algorithm for computing for a given germ the values of the moduli parameters in its normal form family, that is, a normal form equation in its stable equivalence class. This algorithm will be crucial for understanding the moduli stacks of such singularities. The implementation of this algorithm, along with the foundational classification techniques, is implemented in the library arnold.lib for the computer algebra system Singular. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Comments: 28 pages

MSC Class: 14B05 (Primary); 32S25; 14Q05 (Secondary)

Massively Parallel Modular Methods in Commutative Algebra and Algebraic Geometry

Authors: Dirk Basson, Janko Boehm, Magdaleen S. Marais, Mirko Rahn, Hobihasina P. Rakotoarisoa

Abstract: Computations over the rational numbers often encounter the problem of intermediate coefficient growth. A solution to this is provided by modular methods, which apply the algorithm under consideration modulo a number of primes and then lift the results to the rationals. We present a novel, massively parallel framework for modular computations with polynomial data, which is able to cover a broad spe… ▽ More Computations over the rational numbers often encounter the problem of intermediate coefficient growth. A solution to this is provided by modular methods, which apply the algorithm under consideration modulo a number of primes and then lift the results to the rationals. We present a novel, massively parallel framework for modular computations with polynomial data, which is able to cover a broad spectrum of applications in commutative algebra and algebraic geometry. We demonstrate the framework's effectiveness in Groebner basis computations over the rationals and algorithmic methods from birational geometry. In particular, we develop algorithms to compute images and domains of rational maps, as well as determining invertibility and computing inverses. Our implementation is based on the Singular/GPI-Space framework, which uses the computer algebra system Singular as computational backend, while coordination and communication of parallel computations is handled by the workflow management system GPI-Space, which relies on Petri nets as its mathematical modeling language. Convenient installation is realized through the package manager Spack. Relying on Petri nets, our approach provides automated parallelization and balancing of the load between computation, lifting, stabilization testing, and potential verification. We use error tolerant rational reconstruction to ensure termination as long as for a fixed computation there exist only finitely many bad primes. Via stabilization testing, our approach automatically finds with high probablity a minimal set of primes required for the successful reconstruction. We present timings to illustrate the potential for a game changing improvement of performance over previous modular and non-modular methods. In particular, we illustrate that the approach scales very well with the number of processor cores used for the computation. △ Less

Submitted 21 January, 2024; originally announced January 2024.

Comments: 56 pages, 10 figures, 6 tables

MSC Class: 68W10 (Primary); 68W30; 68Q85; 14Q99 (Secondary)

Algorithms for Gromov-Witten Invariants of Elliptic Curves

Authors: Firoozeh Aga, Janko Boehm, Alain Hoffmann, Hannah Markwig, Ali Traore

Abstract: We present an enhanced algorithm for exploring mirror symmetry for elliptic curves through the correspondence of algebraic and tropical geometry, focusing on Gromov-Witten invariants of elliptic curves and, in particular, Hurwitz numbers. We present a new highly efficient algorithm for computing generating series for these numbers. We have implemented the algorithm both using Singular and OSCAR. T… ▽ More We present an enhanced algorithm for exploring mirror symmetry for elliptic curves through the correspondence of algebraic and tropical geometry, focusing on Gromov-Witten invariants of elliptic curves and, in particular, Hurwitz numbers. We present a new highly efficient algorithm for computing generating series for these numbers. We have implemented the algorithm both using Singular and OSCAR. The implementations outperform by far the current method provided in Singular. The OSCAR implementation, benefiting in particular from just-in-time compilation, again by far outperforms the implementation of the new algorithm in Singular. This advancement in computing the Gromov-Witten invariants facilitates a study of number theoretic and geometric properties of the generating series, including quasi-modularity and homogeneity. △ Less

Submitted 19 November, 2023; originally announced November 2023.

Comments: 20 pages, 5 figures, 2 tables. arXiv admin note: text overlap with arXiv:1309.5893

MSC Class: 14J33; 14N35; 14T05; 81T18 (Primary); 11F11; 14H30; 14N10; 14H52; 14H81 (Secondary)

Terrestrial Very-Long-Baseline Atom Interferometry: Workshop Summary

Authors: Sven Abend, Baptiste Allard, Iván Alonso, John Antoniadis, Henrique Araujo, Gianluigi Arduini, Aidan Arnold, Tobias Aßmann, Nadja Augst, Leonardo Badurina, Antun Balaz, Hannah Banks, Michele Barone, Michele Barsanti, Angelo Bassi, Baptiste Battelier, Charles Baynham, Beaufils Quentin, Aleksandar Belic, Ankit Beniwal, Jose Bernabeu, Francesco Bertinelli, Andrea Bertoldi, Ikbal Ahamed Biswas, Diego Blas , et al. (228 additional authors not shown)

Abstract: This document presents a summary of the 2023 Terrestrial Very-Long-Baseline Atom Interferometry Workshop hosted by CERN. The workshop brought together experts from around the world to discuss the exciting developments in large-scale atom interferometer (AI) prototypes and their potential for detecting ultralight dark matter and gravitational waves. The primary objective of the workshop was to lay… ▽ More This document presents a summary of the 2023 Terrestrial Very-Long-Baseline Atom Interferometry Workshop hosted by CERN. The workshop brought together experts from around the world to discuss the exciting developments in large-scale atom interferometer (AI) prototypes and their potential for detecting ultralight dark matter and gravitational waves. The primary objective of the workshop was to lay the groundwork for an international TVLBAI proto-collaboration. This collaboration aims to unite researchers from different institutions to strategize and secure funding for terrestrial large-scale AI projects. The ultimate goal is to create a roadmap detailing the design and technology choices for one or more km-scale detectors, which will be operational in the mid-2030s. The key sections of this report present the physics case and technical challenges, together with a comprehensive overview of the discussions at the workshop together with the main conclusions. △ Less

Submitted 12 October, 2023; originally announced October 2023.

Comments: Summary of the Terrestrial Very-Long-Baseline Atom Interferometry Workshop held at CERN: https://indico.cern.ch/event/1208783/

Transverse Emittance Reduction in Muon Beams by Ionization Cooling

Authors: The MICE Collaboration, M. Bogomilov, R. Tsenov, G. Vankova-Kirilova, Y. P. Song, J. Y. Tang, Z. H. Li, R. Bertoni, M. Bonesini, F. Chignoli, R. Mazza, A. de Bari, D. Orestano, L. Tortora, Y. Kuno, H. Sakamoto, A. Sato, S. Ishimoto, M. Chung, C. K. Sung, F. Filthaut, M. Fedorov, D. Jokovic, D. Maletic, M. Savic , et al. (112 additional authors not shown)

Abstract: Accelerated muon beams have been considered for next-generation studies of high-energy lepton-antilepton collisions and neutrino oscillations. However, high-brightness muon beams have not yet been produced. The main challenge for muon acceleration and storage stems from the large phase-space volume occupied by the beam, derived from the muon production mechanism through the decay of pions from pro… ▽ More Accelerated muon beams have been considered for next-generation studies of high-energy lepton-antilepton collisions and neutrino oscillations. However, high-brightness muon beams have not yet been produced. The main challenge for muon acceleration and storage stems from the large phase-space volume occupied by the beam, derived from the muon production mechanism through the decay of pions from proton collisions. Ionization cooling is the technique proposed to decrease the muon beam phase-space volume. Here we demonstrate a clear signal of ionization cooling through the observation of transverse emittance reduction in beams that traverse lithium hydride or liquid hydrogen absorbers in the Muon Ionization Cooling Experiment (MICE). The measurement is well reproduced by the simulation of the experiment and the theoretical model. The results shown here represent a substantial advance towards the realization of muon-based facilities that could operate at the energy and intensity frontiers. △ Less

Submitted 13 October, 2023; v1 submitted 9 October, 2023; originally announced October 2023.

Comments: 23 pages and 5 figures

Report number: STFC-P-2023-004

Centralised Design and Production of the Ultra-High Vacuum and Laser-Stabilisation Systems for the AION Ultra-Cold Strontium Laboratories

Authors: B. Stray, O. Ennis, S. Hedges, S. Dey, M. Langlois, K. Bongs, S. Lellouch, M. Holynski, B. Bostwick, J. Chen, Z. Eyler, V. Gibson, T. L. Harte, M. Hsu, M. Karzazi, J. Mitchell, N. Mouelle, U. Schneider, Y. Tang, K. Tkalcec, Y. Zhi, K. Clarke, A. Vick, K. Bridges, J. Coleman , et al. (47 additional authors not shown)

Abstract: This paper outlines the centralised design and production of the Ultra-High-Vacuum sidearm and Laser-Stabilisation systems for the AION Ultra-Cold Strontium Laboratories. Commissioning data on the residual gas and steady-state pressures in the sidearm chambers, on magnetic field quality, on laser stabilisation, and on the loading rate for the 3D Magneto-Optical Trap are presented. Streamlining the… ▽ More This paper outlines the centralised design and production of the Ultra-High-Vacuum sidearm and Laser-Stabilisation systems for the AION Ultra-Cold Strontium Laboratories. Commissioning data on the residual gas and steady-state pressures in the sidearm chambers, on magnetic field quality, on laser stabilisation, and on the loading rate for the 3D Magneto-Optical Trap are presented. Streamlining the design and production of the sidearm and laser stabilisation systems enabled the AION Collaboration to build and equip in parallel five state-of-the-art Ultra-Cold Strontium Laboratories within 24 months by leveraging key expertise in the collaboration. This approach could serve as a model for the development and construction of other cold atom experiments, such as atomic clock experiments and neutral atom quantum computing systems, by establishing dedicated design and production units at national laboratories. △ Less

Submitted 31 May, 2023; originally announced May 2023.

Comments: 27 pages, 21 figures

Report number: AION-REPORT/2023-03

Evaluating end-to-end entity linking on domain-specific knowledge bases: Learning about ancient technologies from museum collections

Authors: Sebastian Cadavid-Sanchez, Khalil Kacem, Rafael Aparecido Martins Frade, Johannes Boehm, Thomas Chaney, Danial Lashkari, Daniel Simig

Abstract: To study social, economic, and historical questions, researchers in the social sciences and humanities have started to use increasingly large unstructured textual datasets. While recent advances in NLP provide many tools to efficiently process such data, most existing approaches rely on generic solutions whose performance and suitability for domain-specific tasks is not well understood. This work… ▽ More To study social, economic, and historical questions, researchers in the social sciences and humanities have started to use increasingly large unstructured textual datasets. While recent advances in NLP provide many tools to efficiently process such data, most existing approaches rely on generic solutions whose performance and suitability for domain-specific tasks is not well understood. This work presents an attempt to bridge this domain gap by exploring the use of modern Entity Linking approaches for the enrichment of museum collection data. We collect a dataset comprising of more than 1700 texts annotated with 7,510 mention-entity pairs, evaluate some off-the-shelf solutions in detail using this dataset and finally fine-tune a recent end-to-end EL model on this data. We show that our fine-tuned model significantly outperforms other approaches currently available in this domain and present a proof-of-concept use case of this model. We release our dataset and our best model. △ Less

Submitted 23 May, 2023; originally announced May 2023.

Efficient numerical description of the dynamics of interacting multispecies quantum gases

Authors: Annie Pichery, Matthias Meister, Baptist Piest, Jonas Böhm, Ernst Maria Rasel, Eric Charron, Naceur Gaaloul

Abstract: We present a highly efficient method for the numerical solution of coupled Gross-Pitaevskii equations describing the evolution dynamics of a multispecies mixture of Bose-Einstein condensates in time-dependent potentials. This method, based on a grid-scaling technique, compares favorably to a more standard but much more computationally expensive solution based on a frozen-resolution grid. It allows… ▽ More We present a highly efficient method for the numerical solution of coupled Gross-Pitaevskii equations describing the evolution dynamics of a multispecies mixture of Bose-Einstein condensates in time-dependent potentials. This method, based on a grid-scaling technique, compares favorably to a more standard but much more computationally expensive solution based on a frozen-resolution grid. It allows an accurate description of the long-time behavior of interacting, multi-species quantum mixtures including the challenging problem of long free expansions relevant for microgravity and space experiments. We demonstrate a successful comparison to experimental measurements of a binary Rb-K mixture recently performed with the payload of a sounding rocket experiment. △ Less

Submitted 22 May, 2023; originally announced May 2023.

Journal ref: AVS Quantum Sci. 5, 044401 (2023)

NeatIBP 1.0, A package generating small-size integration-by-parts relations for Feynman integrals

Authors: Zihao Wu, Janko Boehm, Rourou Ma, Hefeng Xu, Yang Zhang

Abstract: In this work, we present the package {\sc NeatIBP}, which automatically generates small-size integration-by-parts (IBP) identities for Feynman integrals. Based on the syzygy and module intersection techniques, the generated IBP identities' propagator degree is controlled and thus the size of the system of IBP identities is shorter than that generated by the standard Laporta algorithm. This package… ▽ More In this work, we present the package {\sc NeatIBP}, which automatically generates small-size integration-by-parts (IBP) identities for Feynman integrals. Based on the syzygy and module intersection techniques, the generated IBP identities' propagator degree is controlled and thus the size of the system of IBP identities is shorter than that generated by the standard Laporta algorithm. This package is powered by the computer algebra systems {\sc Mathematica} and {\sc Singular}, and the library {\sc SpaSM}. It is parallelized on the level of Feynman integral sectors. The generated small-size IBP identities can subsequently be used for either finite field reduction or analytic reduction. We demonstrate the capabilities of this package on several multi-loop IBP examples. △ Less

Submitted 12 June, 2023; v1 submitted 15 May, 2023; originally announced May 2023.

Comments: minor changes

Report number: USTC-ICTS/PCFT-23-15

A Dual-Species Atom Interferometer Payload for Operation on Sounding Rockets

Authors: Michael Elsen, Baptist Piest, Fabian Adam, Oliver Anton, Paweł Arciszewski, Wolfgang Bartosch, Dennis Becker, Jonas Böhm, Sören Boles, Klaus Döringshoff, Priyanka Guggilam, Ortwin Hellmig, Isabell Imwalle, Simon Kanthak, Christian Kürbis, Matthias Koch, Maike Diana Lachmann, Moritz Mihm, Hauke Müntinga, Ayush Mani Nepal, Tim Oberschulte, Peter Ohr, Alexandros Papakonstantinou, Arnau Prat, Christian Reichelt , et al. (14 additional authors not shown)

Abstract: We report on the design and the construction of a sounding rocket payload capable of performing atom interferometry with Bose-Einstein condensates of $^{41}$K and $^{87}$Rb. The apparatus is designed to be launched in two consecutive missions with a VSB-30 sounding rocket and is qualified to withstand the expected vibrational loads of 1.8 g root-mean-square in a frequency range between 20 - 2000 H… ▽ More We report on the design and the construction of a sounding rocket payload capable of performing atom interferometry with Bose-Einstein condensates of $^{41}$K and $^{87}$Rb. The apparatus is designed to be launched in two consecutive missions with a VSB-30 sounding rocket and is qualified to withstand the expected vibrational loads of 1.8 g root-mean-square in a frequency range between 20 - 2000 Hz and the expected static loads during ascent and re-entry of 25 g. We present a modular design of the scientific payload comprising a physics package, a laser system, an electronics system and a battery module. A dedicated on-board software provides a largely automated process of predefined experiments. To operate the payload safely in laboratory and flight mode, a thermal control system and ground support equipment has been implemented and will be presented. The payload presented here represents a cornerstone for future applications of matter wave interferometry with ultracold atoms on satellites. △ Less

Submitted 15 May, 2023; originally announced May 2023.

Efficient algorithms to solve atom reconfiguration problems. II. The assignment-rerouting-ordering (aro) algorithm

Authors: Remy El Sabeh, Jessica Bohm, Zhiqian Ding, Stephanie Maaz, Naomi Nishimura, Izzat El Hajj, Amer E. Mouawad, Alexandre Cooper

Abstract: Programmable arrays of optical traps enable the assembly of configurations of single atoms to perform controlled experiments on quantum many-body systems. Finding the sequence of control operations to transform an arbitrary configuration of atoms into a predetermined one requires solving an atom reconfiguration problem quickly and efficiently. A typical approach to solve atom reconfiguration probl… ▽ More Programmable arrays of optical traps enable the assembly of configurations of single atoms to perform controlled experiments on quantum many-body systems. Finding the sequence of control operations to transform an arbitrary configuration of atoms into a predetermined one requires solving an atom reconfiguration problem quickly and efficiently. A typical approach to solve atom reconfiguration problems is to use an assignment algorithm to determine which atoms to move to which traps. This approach results in control protocols that exactly minimize the number of displacement operations; however, this approach does not optimize for the number of displaced atoms nor the number of times each atom is displaced, resulting in unnecessary control operations that increase the execution time and failure rate of the control protocol. In this work, we propose the assignment-rerouting-ordering (aro) algorithm to improve the performance of assignment-based algorithms in solving atom reconfiguration problems. The aro algorithm uses an assignment subroutine to minimize the total distance traveled by all atoms, a rerouting subroutine to reduce the number of displaced atoms, and an ordering subroutine to guarantee that each atom is displaced at most once. The ordering subroutine relies on the existence of a partial ordering of moves that can be obtained using a polynomial-time algorithm that we introduce within the formal framework of graph theory. We numerically quantify the performance of the aro algorithm in the presence and in the absence of loss, and show that it outperforms the exact, approximation, and heuristic algorithms that we use as benchmarks. Our results are useful for assembling large configurations of atoms with high success probability and fast preparation time, as well as for designing and benchmarking novel atom reconfiguration algorithms. △ Less

Submitted 11 December, 2022; originally announced December 2022.

Comments: 26 pages, 10 figures

VLBI Celestial and Terrestrial Reference Frames VIE2022b

Authors: H. Krásná, L. Baldreich, J. Böhm, S. Böhm, J. Gruber, A. Hellerschmied, F. Jaron, L. Kern, D. Mayer, A. Nothnagel, O. Panzenböck, H. Wolf

Abstract: Context: We introduce the computation of global reference frames from Very Long Baseline Interferometry (VLBI) observations at the Vienna International VLBI Service for Geodesy and Astrometry (IVS) Analysis Center (VIE) in detail. We focus on the celestial and terrestrial frames from our two latest solutions VIE2020 and VIE2022b. Aims: The current International Celestial and Terrestrial Reference… ▽ More Context: We introduce the computation of global reference frames from Very Long Baseline Interferometry (VLBI) observations at the Vienna International VLBI Service for Geodesy and Astrometry (IVS) Analysis Center (VIE) in detail. We focus on the celestial and terrestrial frames from our two latest solutions VIE2020 and VIE2022b. Aims: The current International Celestial and Terrestrial Reference Frames, ICRF3 and ITRF2020, include VLBI observations until spring 2018 and December 2020, respectively. We provide terrestrial and celestial reference frames including VLBI sessions until June 2022 organized by the IVS. Methods: Vienna terrestrial and celestial reference frames are computed in a common least squares adjustment of geodetic and astrometric VLBI observations with the Vienna VLBI and Satellite Software (VieVS). Results: We provide high-quality celestial and terrestrial reference frames computed from 24-hour IVS observing sessions. The CRF provides positions of 5407 radio sources. In particular, positions of sources with few observations at the time of the ICRF3 calculation could be improved. The frame also includes positions of 870 new radio sources, which are not included in ICRF3. The additional observations beyond the data used for ITRF2020 provide a more reliable estimation of positions and linear velocities of newly established VLBI Global Observing System (VGOS) telescopes. △ Less

Submitted 14 November, 2022; originally announced November 2022.

Comments: 11 pages, Submitted to the Astronomy & Astrophysics

Journal ref: A&A 679, A53 (2023)

Unsupervised visualization of image datasets using contrastive learning

Authors: Jan Niklas Böhm, Philipp Berens, Dmitry Kobak

Abstract: Visualization methods based on the nearest neighbor graph, such as t-SNE or UMAP, are widely used for visualizing high-dimensional data. Yet, these approaches only produce meaningful results if the nearest neighbors themselves are meaningful. For images represented in pixel space this is not the case, as distances in pixel space are often not capturing our sense of similarity and therefore neighbo… ▽ More Visualization methods based on the nearest neighbor graph, such as t-SNE or UMAP, are widely used for visualizing high-dimensional data. Yet, these approaches only produce meaningful results if the nearest neighbors themselves are meaningful. For images represented in pixel space this is not the case, as distances in pixel space are often not capturing our sense of similarity and therefore neighbors are not semantically close. This problem can be circumvented by self-supervised approaches based on contrastive learning, such as SimCLR, relying on data augmentation to generate implicit neighbors, but these methods do not produce two-dimensional embeddings suitable for visualization. Here, we present a new method, called t-SimCNE, for unsupervised visualization of image data. T-SimCNE combines ideas from contrastive learning and neighbor embeddings, and trains a parametric mapping from the high-dimensional pixel space into two dimensions. We show that the resulting 2D embeddings achieve classification accuracy comparable to the state-of-the-art high-dimensional SimCLR representations, thus faithfully capturing semantic relationships. Using t-SimCNE, we obtain informative visualizations of the CIFAR-10 and CIFAR-100 datasets, showing rich cluster structure and highlighting artifacts and outliers. △ Less

Submitted 28 February, 2023; v1 submitted 18 October, 2022; originally announced October 2022.

Comments: ICLR 2023

Journal ref: ICLR 2023

GENESIS: Co-location of Geodetic Techniques in Space

Authors: Pacôme Delva, Zuheir Altamimi, Alejandro Blazquez, Mathis Blossfeld, Johannes Böhm, Pascal Bonnefond, Jean-Paul Boy, Sean Bruinsma, Grzegorz Bury, Miltiadis Chatzinikos, Alexandre Couhert, Clément Courde, Rolf Dach, Véronique Dehant, Simone Dell'Agnello, Gunnar Elgered, Werner Enderle, Pierre Exertier, Susanne Glaser, Rüdiger Haas, Wen Huang, Urs Hugentobler, Adrian Jäggi, Ozgur Karatekin, Frank G. Lemoine , et al. (17 additional authors not shown)

Abstract: Improving and homogenizing time and space reference systems on Earth and, more directly, realizing the Terrestrial Reference Frame (TRF) with an accuracy of 1mm and a long-term stability of 0.1mm/year are relevant for many scientific and societal endeavors. The knowledge of the TRF is fundamental for Earth and navigation sciences. For instance, quantifying sea level change strongly depends on an a… ▽ More Improving and homogenizing time and space reference systems on Earth and, more directly, realizing the Terrestrial Reference Frame (TRF) with an accuracy of 1mm and a long-term stability of 0.1mm/year are relevant for many scientific and societal endeavors. The knowledge of the TRF is fundamental for Earth and navigation sciences. For instance, quantifying sea level change strongly depends on an accurate determination of the geocenter motion but also of the positions of continental and island reference stations, as well as the ground stations of tracking networks. Also, numerous applications in geophysics require absolute millimeter precision from the reference frame, as for example monitoring tectonic motion or crustal deformation for predicting natural hazards. The TRF accuracy to be achieved represents the consensus of various authorities which has enunciated geodesy requirements for Earth sciences. Today we are still far from these ambitious accuracy and stability goals for the realization of the TRF. However, a combination and co-location of all four space geodetic techniques on one satellite platform can significantly contribute to achieving these goals. This is the purpose of the GENESIS mission, proposed as a component of the FutureNAV program of the European Space Agency. The GENESIS platform will be a dynamic space geodetic observatory carrying all the geodetic instruments referenced to one another through carefully calibrated space ties. The co-location of the techniques in space will solve the inconsistencies and biases between the different geodetic techniques in order to reach the TRF accuracy and stability goals endorsed by the various international authorities and the scientific community. The purpose of this white paper is to review the state-of-the-art and explain the benefits of the GENESIS mission in Earth sciences, navigation sciences and metrology. △ Less

Submitted 30 September, 2022; originally announced September 2022.

Comments: 31 pages, 9 figures, submitted to Earth, Planets and Space (EPS)

Multiple Coulomb Scattering of muons in Lithium Hydride

Authors: M. Bogomilov, R. Tsenov, G. Vankova-Kirilova, Y. P. Song, J. Y. Tang, Z. H. Li, R. Bertoni, M. Bonesini, F. Chignoli, R. Mazza, V. Palladino, A. de Bari, D. Orestano, L. Tortora, Y. Kuno, H. Sakamoto, A. Sato, S. Ishimoto, M. Chung, C. K. Sung, F. Filthaut, M. Fedorov, D. Jokovic, D. Maletic, M. Savic , et al. (112 additional authors not shown)

Abstract: Multiple Coulomb Scattering (MCS) is a well known phenomenon occurring when charged particles traverse materials. Measurements of muons traversing low $Z$ materials made in the MuScat experiment showed that theoretical models and simulation codes, such as GEANT4 (v7.0), over-estimated the scattering. The Muon Ionization Cooling Experiment (MICE) measured the cooling of a muon beam traversing a liq… ▽ More Multiple Coulomb Scattering (MCS) is a well known phenomenon occurring when charged particles traverse materials. Measurements of muons traversing low $Z$ materials made in the MuScat experiment showed that theoretical models and simulation codes, such as GEANT4 (v7.0), over-estimated the scattering. The Muon Ionization Cooling Experiment (MICE) measured the cooling of a muon beam traversing a liquid hydrogen or lithium hydride (LiH) energy absorber as part of a programme to develop muon accelerator facilities, such as a Neutrino Factory or a Muon Collider. The energy loss and MCS that occur in the absorber material are competing effects that alter the performance of the cooling channel. Therefore measurements of MCS are required in order to validate the simulations used to predict the cooling performance in future accelerator facilities. We report measurements made in the MICE apparatus of MCS using a LiH absorber and muons within the momentum range 160 to 245 MeV/c. The measured RMS scattering width is about 9% smaller than that predicted by the approximate formula proposed by the Particle Data Group. Data at 172, 200 and 240 MeV/c are compared to the GEANT4 (v9.6) default scattering model. These measurements show agreement with this more recent GEANT4 (v9.6) version over the range of incident muon momenta. △ Less

Submitted 21 September, 2022; originally announced September 2022.

Comments: 20 pages, 14 figures, journal

Report number: RAL-P-2022-001

From $t$-SNE to UMAP with contrastive learning

Authors: Sebastian Damrich, Jan Niklas Böhm, Fred A. Hamprecht, Dmitry Kobak

Abstract: Neighbor embedding methods $t$-SNE and UMAP are the de facto standard for visualizing high-dimensional datasets. Motivated from entirely different viewpoints, their loss functions appear to be unrelated. In practice, they yield strongly differing embeddings and can suggest conflicting interpretations of the same data. The fundamental reasons for this and, more generally, the exact relationship bet… ▽ More Neighbor embedding methods $t$-SNE and UMAP are the de facto standard for visualizing high-dimensional datasets. Motivated from entirely different viewpoints, their loss functions appear to be unrelated. In practice, they yield strongly differing embeddings and can suggest conflicting interpretations of the same data. The fundamental reasons for this and, more generally, the exact relationship between $t$-SNE and UMAP have remained unclear. In this work, we uncover their conceptual connection via a new insight into contrastive learning methods. Noise-contrastive estimation can be used to optimize $t$-SNE, while UMAP relies on negative sampling, another contrastive method. We find the precise relationship between these two contrastive methods and provide a mathematical characterization of the distortion introduced by negative sampling. Visually, this distortion results in UMAP generating more compact embeddings with tighter clusters compared to $t$-SNE. We exploit this new conceptual connection to propose and implement a generalization of negative sampling, allowing us to interpolate between (and even extrapolate beyond) $t$-SNE and UMAP and their respective embeddings. Moving along this spectrum of embeddings leads to a trade-off between discrete / local and continuous / global structures, mitigating the risk of over-interpreting ostensible features of any single embedding. We provide a PyTorch implementation. △ Less

Submitted 28 February, 2023; v1 submitted 3 June, 2022; originally announced June 2022.

Comments: ICLR 2023. 44 pages, 19 figures. Code at https://github.com/hci-unihd/cl-tsne-umap and https://github.com/berenslab/contrastive-ne

Journal ref: ICLR 2023

Geometric Algebra and Algebraic Geometry of Loop and Potts Models

Authors: Janko Böhm, Jesper Lykke Jacobsen, Yunfeng Jiang, Yang Zhang

Abstract: We uncover a connection between two seemingly separate subjects in integrable models: the representation theory of the affine Temperley-Lieb algebra, and the algebraic structure of solutions to the Bethe equations of the XXZ spin chain. We study the solution of Bethe equations analytically by computational algebraic geometry, and find that the solution space encodes rich information about the repr… ▽ More We uncover a connection between two seemingly separate subjects in integrable models: the representation theory of the affine Temperley-Lieb algebra, and the algebraic structure of solutions to the Bethe equations of the XXZ spin chain. We study the solution of Bethe equations analytically by computational algebraic geometry, and find that the solution space encodes rich information about the representation theory of Temperley-Lieb algebra. Using these connections, we compute the partition function of the completely-packed loop model and of the closely related random-cluster Potts model, on medium-size lattices with toroidal boundary conditions, by two quite different methods. We consider the partial thermodynamic limit of infinitely long tori and analyze the corresponding condensation curves of the zeros of the partition functions. Two components of these curves are obtained analytically in the full thermodynamic limit. △ Less

Submitted 7 February, 2022; originally announced February 2022.

Comments: 66 pages

Report number: USTC-ICTS/PCFT-22-03

The Performance of Recent Methods for Estimating Skill Prices in Panel Data

Authors: Michael J. Böhm, Hans-Martin von Gaudecker

Abstract: This paper explores different methods to estimate prices paid per efficiency unit of labor in panel data. We study the sensitivity of skill price estimates to different assumptions regarding workers' choice problem, identification strategies, the number of occupations considered, skill accumulation processes, and estimation strategies. In order to do so, we conduct careful Monte Carlo experiments… ▽ More This paper explores different methods to estimate prices paid per efficiency unit of labor in panel data. We study the sensitivity of skill price estimates to different assumptions regarding workers' choice problem, identification strategies, the number of occupations considered, skill accumulation processes, and estimation strategies. In order to do so, we conduct careful Monte Carlo experiments designed to generate similar features as in German panel data. We find that once skill accumulation is appropriately modelled, skill price estimates are generally robust to modelling choices when the number of occupations is small, i.e., switches between occupations are rare. When switching is important, subtle issues emerge and the performance of different methods varies more strongly. △ Less

Submitted 24 November, 2021; originally announced November 2021.

Sparse dictionary learning recovers pleiotropy from human cell fitness screens

Authors: Joshua Pan, Jason J. Kwon, Jessica A. Talamas, Ashir A. Borah, Francisca Vazquez, Jesse S. Boehm, Aviad Tsherniak, Marinka Zitnik, James M. McFarland, William C. Hahn

Abstract: In high-throughput functional genomic screens, each gene product is commonly assumed to exhibit a singular biological function within a defined protein complex or pathway. In practice, a single gene perturbation may induce multiple cascading functional outcomes, a genetic principle known as pleiotropy. Here, we model pleiotropy in fitness screen collections by representing each gene perturbation a… ▽ More In high-throughput functional genomic screens, each gene product is commonly assumed to exhibit a singular biological function within a defined protein complex or pathway. In practice, a single gene perturbation may induce multiple cascading functional outcomes, a genetic principle known as pleiotropy. Here, we model pleiotropy in fitness screen collections by representing each gene perturbation as the sum of multiple perturbations of biological functions, each harboring independent fitness effects inferred empirically from the data. Our approach ('Webster') recovered pleiotropic functions for DNA damage proteins from genotoxic fitness screens, untangled distinct signaling pathways upstream of shared effector proteins from cancer cell fitness screens, and learned aspects of the cellular hierarchy in an unsupervised manner. Modeling compound sensitivity profiles in terms of genetically defined functions recovered compound mechanisms of action. Our approach establishes a sparse approximation mechanism for unraveling complex genetic architectures underlying high-dimensional gene perturbation readouts. △ Less

Submitted 11 November, 2021; originally announced November 2021.

Comments: Accepted to the 16th Machine Learning in Computational Biology (MLCB) meeting 2021, and the Learning Meaningful Representations of Life (LMRL) Workshop at NeurIPS 2021

Red- and blue-detuned magneto-optical trapping with liquid crystal variable retarders

Authors: Baptist Piest, Vera Vollenkemper, Jonas Böhm, Alexander Herbst, Ernst M. Rasel

Abstract: We exploit red- and blue-detuned magneto optical trapping (MOT) of $^{87}$Rb benefitting from a simplified setup based on liquid crystal variable retarders (LCVR). To maintain the trapping forces when switching from a red- to a blue-detuned MOT, the circularity of the cooling beams needs to be reversed. LCVRs allow fast polarization control and represent compact, simple and cost-efficient componen… ▽ More We exploit red- and blue-detuned magneto optical trapping (MOT) of $^{87}$Rb benefitting from a simplified setup based on liquid crystal variable retarders (LCVR). To maintain the trapping forces when switching from a red- to a blue-detuned MOT, the circularity of the cooling beams needs to be reversed. LCVRs allow fast polarization control and represent compact, simple and cost-efficient components which can easily be implemented in existing laser systems. This way, we achieve a blue-detuned type-II MOT for $^{87}$Rb atoms with sub-Doppler temperatures of 44.5 $μ$K. The phase space density is increased by more than two orders of magnitude compared to the standard red-detuned type-I MOT. The setup can readily be transferred to any other system working with $^{87}$Rb. △ Less

Submitted 29 September, 2021; originally announced September 2021.

Performance of the MICE diagnostic system

Authors: The MICE collaboration, M. Bogomilov, R. Tsenov, G. Vankova-Kirilova, Y. P. Song, J. Y. Tang, Z. H. Li, R. Bertoni, M. Bonesini, F. Chignoli, R. Mazza, V. Palladino, A. de Bari, D. Orestano, L. Tortora, Y. Kuno, H. Sakamoto, A. Sato, S. Ishimoto, M. Chung, C. K. Sung, F. Filthaut, M. Fedorov, D. Jokovic, D. Maletic , et al. (113 additional authors not shown)

Abstract: Muon beams of low emittance provide the basis for the intense, well-characterised neutrino beams of a neutrino factory and for multi-TeV lepton-antilepton collisions at a muon collider. The international Muon Ionization Cooling Experiment (MICE) has demonstrated the principle of ionization cooling, the technique by which it is proposed to reduce the phase-space volume occupied by the muon beam at… ▽ More Muon beams of low emittance provide the basis for the intense, well-characterised neutrino beams of a neutrino factory and for multi-TeV lepton-antilepton collisions at a muon collider. The international Muon Ionization Cooling Experiment (MICE) has demonstrated the principle of ionization cooling, the technique by which it is proposed to reduce the phase-space volume occupied by the muon beam at such facilities. This paper documents the performance of the detectors used in MICE to measure the muon-beam parameters, and the physical properties of the liquid hydrogen energy absorber during running. △ Less

Submitted 16 August, 2021; v1 submitted 10 June, 2021; originally announced June 2021.

Comments: 27 pages, 18 figures

Report number: RAL-P-2021-001

Journal ref: 2021 JINST 16 P08046

pfd-parallel, a Singular/GPI-Space package for massively parallel multivariate partial fractioning

Authors: Dominik Bendle, Janko Boehm, Murray Heymann, Rourou Ma, Mirko Rahn, Lukas Ristau, Marcel Wittmann, Zihao Wu, Yang Zhang

Abstract: Multivariate partial fractioning is a powerful tool for simplifying rational function coefficients in scattering amplitude computations. Since current research problems lead to large sets of complicated rational functions, performance of the partial fractioning as well as size of the obtained expressions are a prime concern. We develop a large scale parallel framework for multivariate partial frac… ▽ More Multivariate partial fractioning is a powerful tool for simplifying rational function coefficients in scattering amplitude computations. Since current research problems lead to large sets of complicated rational functions, performance of the partial fractioning as well as size of the obtained expressions are a prime concern. We develop a large scale parallel framework for multivariate partial fractioning, which implements and combines an improved version of Leinartas' algorithm and the {\sc MultivariateApart} algorithm. Our approach relies only on open source software. It combines parallelism over the different rational function coefficients with parallelism for individual expressions. The implementation is based on the \textsc{Singular}/\textsc{GPI-Space framework} for massively parallel computer algebra, which formulates parallel algorithms in terms of Petri nets. The modular nature of this approach allows for easy incorporation of future algorithmic developments into our package. We demonstrate the performance of our framework by simplifying expressions arising from current multiloop scattering amplitude problems. △ Less

Submitted 16 December, 2022; v1 submitted 14 April, 2021; originally announced April 2021.

Comments: Change the title and the paper format, for the journal Computer Physics Communications

Report number: PCFT-21-08, USTC-ICTS-21-08

Curiosity-driven 3D Object Detection Without Labels

Authors: David Griffiths, Jan Boehm, Tobias Ritschel

Abstract: In this paper we set out to solve the task of 6-DOF 3D object detection from 2D images, where the only supervision is a geometric representation of the objects we aim to find. In doing so, we remove the need for 6-DOF labels (i.e., position, orientation etc.), allowing our network to be trained on unlabeled images in a self-supervised manner. We achieve this through a neural network which learns a… ▽ More In this paper we set out to solve the task of 6-DOF 3D object detection from 2D images, where the only supervision is a geometric representation of the objects we aim to find. In doing so, we remove the need for 6-DOF labels (i.e., position, orientation etc.), allowing our network to be trained on unlabeled images in a self-supervised manner. We achieve this through a neural network which learns an explicit scene parameterization which is subsequently passed into a differentiable renderer. We analyze why analysis-by-synthesis-like losses for supervision of 3D scene structure using differentiable rendering is not practical, as it almost always gets stuck in local minima of visual ambiguities. This can be overcome by a novel form of training, where an additional network is employed to steer the optimization itself to explore the entire parameter space i.e., to be curious, and hence, to resolve those ambiguities and find workable minima. △ Less

Submitted 15 October, 2021; v1 submitted 2 December, 2020; originally announced December 2020.

Comments: 19 pages, 17 figures

Sensitivity of the SHiP experiment to dark photons decaying to a pair of charged particles

Authors: SHiP Collaboration, C. Ahdida, A. Akmete, R. Albanese, A. Alexandrov, A. Anokhina, S. Aoki, G. Arduini, E. Atkin, N. Azorskiy, J. J. Back, A. Bagulya, F. Baaltasar Dos Santos, A. Baranov, F. Bardou, G. J. Barker, M. Battistin, J. Bauche, A. Bay, V. Bayliss, G. Bencivenni, A. Y. Berdnikov, Y. A. Berdnikov, M. Bertani, C. Betancourt , et al. (309 additional authors not shown)

Abstract: Dark photons are hypothetical massive vector particles that could mix with ordinary photons. The simplest theoretical model is fully characterised by only two parameters: the mass of the dark photon m$_{γ^{\mathrm{D}}}$ and its mixing parameter with the photon, $\varepsilon$. The sensitivity of the SHiP detector is reviewed for dark photons in the mass range between 0.002 and 10 GeV. Different pro… ▽ More Dark photons are hypothetical massive vector particles that could mix with ordinary photons. The simplest theoretical model is fully characterised by only two parameters: the mass of the dark photon m$_{γ^{\mathrm{D}}}$ and its mixing parameter with the photon, $\varepsilon$. The sensitivity of the SHiP detector is reviewed for dark photons in the mass range between 0.002 and 10 GeV. Different production mechanisms are simulated, with the dark photons decaying to pairs of visible fermions, including both leptons and quarks. Exclusion contours are presented and compared with those of past experiments. The SHiP detector is expected to have a unique sensitivity for m$_{γ^{\mathrm{D}}}$ ranging between 0.8 and 3.3$^{+0.2}_{-0.5}$ GeV, and $\varepsilon^2$ ranging between $10^{-11}$ and $10^{-17}$. △ Less

Submitted 1 March, 2021; v1 submitted 10 November, 2020; originally announced November 2020.

The third realization of the International Celestial Reference Frame by very long baseline interferometry

Authors: P. Charlot, C. S. Jacobs, D. Gordon, S. Lambert, A. de Witt, J. Böhm, A. L. Fey, R. Heinkelmann, E. Skurikhina, O. Titov, E. F. Arias, S. Bolotin, G. Bourda, C. Ma, Z. Malkin, A. Nothnagel, D. Mayer, D. S. MacMillan, T. Nilsson, R. Gaume

Abstract: A new realization of the International Celestial Reference Frame (ICRF) is presented based on the work achieved by a working group of the International Astronomical Union (IAU) mandated for this purpose. This new realization, referred to as ICRF3, is based on nearly 40 years of data acquired by very long baseline interferometry. The ICRF3 includes positions at 8.4 GHz for 4536 sources, supplemente… ▽ More A new realization of the International Celestial Reference Frame (ICRF) is presented based on the work achieved by a working group of the International Astronomical Union (IAU) mandated for this purpose. This new realization, referred to as ICRF3, is based on nearly 40 years of data acquired by very long baseline interferometry. The ICRF3 includes positions at 8.4 GHz for 4536 sources, supplemented with positions at 24 GHz for 824 sources and at 32 GHz for 678 sources, for a total of 4588 sources. A subset of 303 sources among these, uniformly distributed on the sky, are identified as "defining sources" and as such serve to define the axes of the frame. Source positions are reported for epoch 2015.0 and must be propagated for observations at other epochs for the most accurate needs, accounting for the acceleration toward the Galactic center, which results in a dipolar proper motion field of amplitude 0.0058 milliarcsecond/yr (mas/yr). The frame shows a median positional uncertainty of about 0.1 mas in right ascension and 0.2 mas in declination, with a noise floor of 0.03 mas in the individual source coordinates. A subset of 500 sources is found to have extremely accurate positions at 8.4 GHz, in the range of 0.03 to 0.06 mas. Comparing ICRF3 with the Gaia Celestial Reference Frame 2 in the optical domain, there is no evidence for deformations larger than 0.03 mas between the two frames. Significant positional offsets between the three ICRF3 frequencies are detected for about 5% of the sources. Moreover, a notable fraction (22%) of the sources shows optical and radio positions that are significantly offset. There are indications that these positional offsets may be the manifestation of extended source structures. This third realization of the ICRF was adopted by the IAU at its 30th General Assembly in August 2018 and replaced the previous realization, ICRF2, on January 1, 2019. △ Less

Submitted 26 October, 2020; originally announced October 2020.

Comments: 28 pages, 22 figures

Journal ref: A&A 644, A159 (2020)

Classification of Complex Singularities with Non-Degenerate Newton Boundary

Authors: Janko Boehm, Magdaleen S. Marais, Gerhard Pfister

Abstract: In his groundbreaking work on classification of singularities with regard to right and stable equivalence of germs, Arnold has listed normal forms for all isolated hypersurface singularities over the complex numbers with either modality less than or equal to two or Milnor number less than or equal to 16. Moreover, he has described an algorithmic classifier, which determines the type of a given suc… ▽ More In his groundbreaking work on classification of singularities with regard to right and stable equivalence of germs, Arnold has listed normal forms for all isolated hypersurface singularities over the complex numbers with either modality less than or equal to two or Milnor number less than or equal to 16. Moreover, he has described an algorithmic classifier, which determines the type of a given such singularity. In the present paper, we extend Arnold's work to a large class of singularities which is unbounded with regard to modality and Milnor number. We develop an algorithmic classifier, which determines a normal form for any singularity with corank less than or equal to two which is equivalent to a germ with non-degenerate Newton boundary in the sense of Kouchnirenko. In order to realize the classifier, we prove a normal form theorem: Suppose K is a mu-constant stratum of the jet space which contains a germ with a non-degenerate Newton boundary. We first observe that all germs in K are equivalent to some germ with the same fixed non-degenerate Newton boundary. We then prove that all right-equivalence classes of germs in K can be covered by a single normal form obtained from a regular basis of an appropriately chosen special fiber. All algorithms are implemented in the library arnold.lib for the computer algebra system Singular. △ Less

Submitted 20 October, 2020; originally announced October 2020.

Comments: 32 pages

MSC Class: 14B05 (Primary); 32S25; 14Q05 (Secondary)

Module Intersection for the Integration-by-Parts Reduction of Multi-Loop Feynman Integrals

Authors: Dominik Bendle, Janko Boehm, Wolfram Decker, Alessandro Georgoudis, Franz-Josef Pfreundt, Mirko Rahn, Yang Zhang

Abstract: In this manuscript, which is to appear in the proceedings of the conference "MathemAmplitude 2019" in Padova, Italy, we provide an overview of the module intersection method for the the integration-by-parts (IBP) reduction of multi-loop Feynman integrals. The module intersection method, based on computational algebraic geometry, is a highly efficient way of getting IBP relations without double pro… ▽ More In this manuscript, which is to appear in the proceedings of the conference "MathemAmplitude 2019" in Padova, Italy, we provide an overview of the module intersection method for the the integration-by-parts (IBP) reduction of multi-loop Feynman integrals. The module intersection method, based on computational algebraic geometry, is a highly efficient way of getting IBP relations without double propagator or with a bound on the highest propagator degree. In this manner, trimmed IBP systems which are much shorter than the traditional ones can be obtained. We apply the modern, Petri net based, workflow management system GPI-Space in combination with the computer algebra system Singular to solve the trimmed IBP system via interpolation and efficient parallelization. We show, in particular, how to use the new plugin feature of GPI-Space to manage a global state of the computation and to efficiently handle mutable data. Moreover, a Mathematica interface to generate IBPs with restricted propagator degree, which is based on module intersection, is presented in this review. △ Less

Submitted 14 October, 2020; originally announced October 2020.

Comments: 19 pages, 5 figures. To appear in the proceedings of "MathemAmplitudes 2019: Intersection Theory & Feynman Integrals", held in Padova 18-20 December 2019

IBP reduction coefficients made simple

Authors: Janko Boehm, Marcel Wittmann, Zihao Wu, Yingxuan Xu, Yang Zhang

Abstract: We present an efficient method to shorten the analytic integration-by-parts (IBP) reduction coefficients of multi-loop Feynman integrals. For our approach, we develop an improved version of Leinartas' multivariate partial fraction algorithm, and provide a modern implementation based on the computer algebra system Singular. Furthermore, We observe that for an integral basis with uniform transcenden… ▽ More We present an efficient method to shorten the analytic integration-by-parts (IBP) reduction coefficients of multi-loop Feynman integrals. For our approach, we develop an improved version of Leinartas' multivariate partial fraction algorithm, and provide a modern implementation based on the computer algebra system Singular. Furthermore, We observe that for an integral basis with uniform transcendental (UT) weights, the denominators of IBP reduction coefficients with respect to the UT basis are either symbol letters or polynomials purely in the spacetime dimension $D$. With a UT basis, the partial fraction algorithm is more efficient both with respect to its performance and the size reduction. We show that in complicated examples with existence of a UT basis, the IBP reduction coefficients size can be reduced by a factor of as large as $\sim 100$. We observe that our algorithm also works well for settings without a UT basis. △ Less

Submitted 15 September, 2020; v1 submitted 30 August, 2020; originally announced August 2020.

Comments: minor changes, typos corrected

Report number: MPP-2020-139, PCFT-20-26, USTC-ICTS-20-26

Attraction-Repulsion Spectrum in Neighbor Embeddings

Authors: Jan Niklas Böhm, Philipp Berens, Dmitry Kobak

Abstract: Neighbor embeddings are a family of methods for visualizing complex high-dimensional datasets using $k$NN graphs. To find the low-dimensional embedding, these algorithms combine an attractive force between neighboring pairs of points with a repulsive force between all points. One of the most popular examples of such algorithms is t-SNE. Here we empirically show that changing the balance between th… ▽ More Neighbor embeddings are a family of methods for visualizing complex high-dimensional datasets using $k$NN graphs. To find the low-dimensional embedding, these algorithms combine an attractive force between neighboring pairs of points with a repulsive force between all points. One of the most popular examples of such algorithms is t-SNE. Here we empirically show that changing the balance between the attractive and the repulsive forces in t-SNE using the exaggeration parameter yields a spectrum of embeddings, which is characterized by a simple trade-off: stronger attraction can better represent continuous manifold structures, while stronger repulsion can better represent discrete cluster structures and yields higher $k$NN recall. We find that UMAP embeddings correspond to t-SNE with increased attraction; mathematical analysis shows that this is because the negative sampling optimisation strategy employed by UMAP strongly lowers the effective repulsion. Likewise, ForceAtlas2, commonly used for visualizing developmental single-cell transcriptomic data, yields embeddings corresponding to t-SNE with the attraction increased even more. At the extreme of this spectrum lie Laplacian Eigenmaps. Our results demonstrate that many prominent neighbor embedding algorithms can be placed onto the attraction-repulsion spectrum, and highlight the inherent trade-offs between them. △ Less

Submitted 18 October, 2022; v1 submitted 17 July, 2020; originally announced July 2020.

Journal ref: JMLR 23(95):1-32, 2022

Encircling exceptional points as a non-Hermitian extension of rapid adiabatic passage

Authors: Juraj Feilhauer, Alexander Schumer, Jörg Doppler, Alexei A. Mailybaev, Julian Böhm, Ulrich Kuhl, Nimrod Moiseyev, Stefan Rotter

Abstract: The efficient transfer of excitations between different levels of a quantum system is a task with many applications. Among the various protocols to carry out such a state transfer in driven systems, rapid adiabatic passage (RAP) is one of the most widely used. Here we show both theoretically and experimentally that adding a suitable amount of loss to the driven Hamiltonian turns a RAP protocol int… ▽ More The efficient transfer of excitations between different levels of a quantum system is a task with many applications. Among the various protocols to carry out such a state transfer in driven systems, rapid adiabatic passage (RAP) is one of the most widely used. Here we show both theoretically and experimentally that adding a suitable amount of loss to the driven Hamiltonian turns a RAP protocol into a scheme for encircling an exceptional point including the chiral state transfer associated with it. Our work thus discloses an intimate connection between a whole body of literature on RAP and recent studies on the dynamics in the vicinity of an exceptional point, which we expect to serve as a bridge between the disjoint communities working on these two scenarios. △ Less

Submitted 11 April, 2020; originally announced April 2020.

Comments: 5 pages, 4 figures in main text; 14 pages supplementary material

Journal ref: Phys. Rev. A 102, 040201 (2020)

Finding Your (3D) Center: 3D Object Detection Using a Learned Loss

Authors: David Griffiths, Jan Boehm, Tobias Ritschel

Abstract: Massive semantically labeled datasets are readily available for 2D images, however, are much harder to achieve for 3D scenes. Objects in 3D repositories like ShapeNet are labeled, but regrettably only in isolation, so without context. 3D scenes can be acquired by range scanners on city-level scale, but much fewer with semantic labels. Addressing this disparity, we introduce a new optimization proc… ▽ More Massive semantically labeled datasets are readily available for 2D images, however, are much harder to achieve for 3D scenes. Objects in 3D repositories like ShapeNet are labeled, but regrettably only in isolation, so without context. 3D scenes can be acquired by range scanners on city-level scale, but much fewer with semantic labels. Addressing this disparity, we introduce a new optimization procedure, which allows training for 3D detection with raw 3D scans while using as little as 5% of the object labels and still achieve comparable performance. Our optimization uses two networks. A scene network maps an entire 3D scene to a set of 3D object centers. As we assume the scene not to be labeled by centers, no classic loss, such as Chamfer can be used to train it. Instead, we use another network to emulate the loss. This loss network is trained on a small labeled subset and maps a non centered 3D object in the presence of distractions to its own center. This function is very similar - and hence can be used instead of - the gradient the supervised loss would provide. Our evaluation documents competitive fidelity at a much lower level of supervision, respectively higher quality at comparable supervision. Supplementary material can be found at: https://dgriffiths3.github.io. △ Less

Submitted 22 July, 2020; v1 submitted 6 April, 2020; originally announced April 2020.

Comments: 19 pages, 8 figures, Accepted ECCV 2020

Parallel Computation of tropical varieties, their positive part, and tropical Grassmannians

Authors: Dominik Bendle, Janko Boehm, Yue Ren, Benjamin Schröter

Abstract: In this article, we present a massively parallel framework for computing tropicalizations of algebraic varieties which can make use of finite symmetries. We compute the tropical Grassmannian TGr$_0(3,8)$, and show that it refines the $15$-dimensional skeleton of the Dressian Dr$(3,8)$ with the exception of $23$ special cones for which we construct explicit obstructions to the realizability of thei… ▽ More In this article, we present a massively parallel framework for computing tropicalizations of algebraic varieties which can make use of finite symmetries. We compute the tropical Grassmannian TGr$_0(3,8)$, and show that it refines the $15$-dimensional skeleton of the Dressian Dr$(3,8)$ with the exception of $23$ special cones for which we construct explicit obstructions to the realizability of their tropical linear spaces. Moreover, we propose algorithms for identifying maximal-dimensional tropical cones which belong to the positive tropicalization. These algorithms exploit symmetries of the tropical variety even though the positive tropicalization need not be symmetric. We compute the maximal-dimensional cones of the positive Grassmannian TGr$^+(3,8)$ and compare them to the cluster complex of the classical Grassmannian Gr$(3,8)$. △ Less

Submitted 30 March, 2020; originally announced March 2020.

Comments: 32 pages, 9 figures

MSC Class: 14T15; 68W10; 68W30; 14Q15; 14M15; 52B15

SND@LHC

Authors: SHiP Collaboration, C. Ahdida, A. Akmete, R. Albanese, A. Alexandrov, M. Andreini, A. Anokhina, S. Aoki, G. Arduini, E. Atkin, N. Azorskiy, J. J. Back, A. Bagulya, F. Baaltasar Dos Santos, A. Baranov, F. Bardou, G. J. Barker, M. Battistin, J. Bauche, A. Bay, V. Bayliss, G. Bencivenni, A. Y. Berdnikov, Y. A. Berdnikov, M. Bertani , et al. (319 additional authors not shown)

Abstract: We propose to build and operate a detector that, for the first time, will measure the process $pp\toνX$ at the LHC and search for feebly interacting particles (FIPs) in an unexplored domain. The TI18 tunnel has been identified as a suitable site to perform these measurements due to very low machine-induced background. The detector will be off-axis with respect to the ATLAS interaction point (IP1)… ▽ More We propose to build and operate a detector that, for the first time, will measure the process $pp\toνX$ at the LHC and search for feebly interacting particles (FIPs) in an unexplored domain. The TI18 tunnel has been identified as a suitable site to perform these measurements due to very low machine-induced background. The detector will be off-axis with respect to the ATLAS interaction point (IP1) and, given the pseudo-rapidity range accessible, the corresponding neutrinos will mostly come from charm decays: the proposed experiment will thus make the first test of the heavy flavour production in a pseudo-rapidity range that is not accessible by the current LHC detectors. In order to efficiently reconstruct neutrino interactions and identify their flavour, the detector will combine in the target region nuclear emulsion technology with scintillating fibre tracking layers and it will adopt a muon identification system based on scintillating bars that will also play the role of a hadronic calorimeter. The time of flight measurement will be achieved thanks to a dedicated timing detector. The detector will be a small-scale prototype of the scattering and neutrino detector (SND) of the SHiP experiment: the operation of this detector will provide an important test of the neutrino reconstruction in a high occupancy environment. △ Less

Submitted 20 February, 2020; originally announced February 2020.

Comments: Letter of Intent

Report number: CERN-LHCC-2020-002, LHCC-I-035

Random growth on a Ramanujan graph

Authors: Janko Boehm, Michael Joswig, Lars Kastner, Andrew Newman

Abstract: The behavior of a certain random growth process is analyzed on arbitrary regular and non-regular graphs. Our argument is based on the Expander Mixing Lemma, which entails that the results are strongest for Ramanujan graphs, which asymptotically maximize the spectral gap. Further, we consider Erdős--Rényi random graphs and compare our theoretical results with computational experiments on flip graph… ▽ More The behavior of a certain random growth process is analyzed on arbitrary regular and non-regular graphs. Our argument is based on the Expander Mixing Lemma, which entails that the results are strongest for Ramanujan graphs, which asymptotically maximize the spectral gap. Further, we consider Erdős--Rényi random graphs and compare our theoretical results with computational experiments on flip graphs of point configurations. The latter is relevant for enumerating triangulations. △ Less

Submitted 22 October, 2019; v1 submitted 26 August, 2019; originally announced August 2019.

Comments: 22 pages, 7 figures, 1 table. This version makes several changes based on feedback of the first version. This includes a change to the title and a new section with results on Erdős--Rényi random graphs

MSC Class: 05C81 (68R10; 52B55)

Integration-by-parts reductions of Feynman integrals using Singular and GPI-Space

Authors: Dominik Bendle, Janko Boehm, Wolfram Decker, Alessandro Georgoudis, Franz-Josef Pfreundt, Mirko Rahn, Pascal Wasser, Yang Zhang

Abstract: We introduce an algebro-geometrically motived integration-by-parts (IBP) reduction method for multi-loop and multi-scale Feynman integrals, using a framework for massively parallel computations in computer algebra. This framework combines the computer algebra system Singular with the workflow management system GPI-Space, which is being developed at the Fraunhofer Institute for Industrial Mathemati… ▽ More We introduce an algebro-geometrically motived integration-by-parts (IBP) reduction method for multi-loop and multi-scale Feynman integrals, using a framework for massively parallel computations in computer algebra. This framework combines the computer algebra system Singular with the workflow management system GPI-Space, which is being developed at the Fraunhofer Institute for Industrial Mathematics (ITWM). In our approach, the IBP relations are first trimmed by modern algebraic geometry tools and then solved by sparse linear algebra and our new interpolation methods. These steps are efficiently automatized and automatically parallelized by modeling the algorithm in GPI-Space using the language of Petri-nets. We demonstrate the potential of our method at the nontrivial example of reducing two-loop five-point nonplanar double-pentagon integrals. We also use GPI-Space to convert the basis of IBP reductions, and discuss the possible simplification of IBP coefficients in a uniformly transcendental basis. △ Less

Submitted 25 October, 2019; v1 submitted 12 August, 2019; originally announced August 2019.

Comments: minor corrections; We encourage researchers in high energy community to send us IBP reduction problems (mailto: alessandro.georgoudis@physics.uu.se)

Report number: MITP/19-055,MPP-2019-164,UUITP-30/19,USTC-ICTS-19-20

First demonstration of ionization cooling by the Muon Ionization Cooling Experiment

Authors: M. Bogomilov, R. Tsenov, G. Vankova-Kirilova, Y. P. Song, J. Y. Tang, Z. H. Li, R. Bertoni, M. Bonesini, F. Chignoli, R. Mazza, V. Palladino, A. de Bari, D. Orestano, L. Tortora, Y. Kuno, H. Sakamoto, A. Sato, S. Ishimoto, M. Chung, C. K. Sung, F. Filthaut, D. Jokovic, D. Maletic, M. Savic, N. Jovancevic , et al. (110 additional authors not shown)

Abstract: High-brightness muon beams of energy comparable to those produced by state-of-the-art electron, proton and ion accelerators have yet to be realised. Such beams have the potential to carry the search for new phenomena in lepton-antilepton collisions to extremely high energy and also to provide uniquely well-characterised neutrino beams. A muon beam may be created through the decay of pions produced… ▽ More High-brightness muon beams of energy comparable to those produced by state-of-the-art electron, proton and ion accelerators have yet to be realised. Such beams have the potential to carry the search for new phenomena in lepton-antilepton collisions to extremely high energy and also to provide uniquely well-characterised neutrino beams. A muon beam may be created through the decay of pions produced in the interaction of a proton beam with a target. To produce a high-brightness beam from such a source requires that the phase space volume occupied by the muons be reduced (cooled). Ionization cooling is the novel technique by which it is proposed to cool the beam. The Muon Ionization Cooling Experiment collaboration has constructed a section of an ionization cooling cell and used it to provide the first demonstration of ionization cooling. We present these ground-breaking measurements. △ Less

Submitted 19 July, 2019; originally announced July 2019.

Comments: 19 pages and 6 figures

Report number: RAL-P-2019-003

SynthCity: A large scale synthetic point cloud

Authors: David Griffiths, Jan Boehm

Abstract: With deep learning becoming a more prominent approach for automatic classification of three-dimensional point cloud data, a key bottleneck is the amount of high quality training data, especially when compared to that available for two-dimensional images. One potential solution is the use of synthetic data for pre-training networks, however the ability for models to generalise from synthetic data t… ▽ More With deep learning becoming a more prominent approach for automatic classification of three-dimensional point cloud data, a key bottleneck is the amount of high quality training data, especially when compared to that available for two-dimensional images. One potential solution is the use of synthetic data for pre-training networks, however the ability for models to generalise from synthetic data to real world data has been poorly studied for point clouds. Despite this, a huge wealth of 3D virtual environments exist which, if proved effective can be exploited. We therefore argue that research in this domain would be of significant use. In this paper we present SynthCity an open dataset to help aid research. SynthCity is a 367.9M point synthetic full colour Mobile Laser Scanning point cloud. Every point is assigned a label from one of nine categories. We generate our point cloud in a typical Urban/Suburban environment using the Blensor plugin for Blender. △ Less

Submitted 10 July, 2019; originally announced July 2019.

Comments: 6 pages, 4 figures, dataset white paper

A review on deep learning techniques for 3D sensed data classification

Authors: David Griffiths, Jan Boehm

Abstract: Over the past decade deep learning has driven progress in 2D image understanding. Despite these advancements, techniques for automatic 3D sensed data understanding, such as point clouds, is comparatively immature. However, with a range of important applications from indoor robotics navigation to national scale remote sensing there is a high demand for algorithms that can learn to automatically und… ▽ More Over the past decade deep learning has driven progress in 2D image understanding. Despite these advancements, techniques for automatic 3D sensed data understanding, such as point clouds, is comparatively immature. However, with a range of important applications from indoor robotics navigation to national scale remote sensing there is a high demand for algorithms that can learn to automatically understand and classify 3D sensed data. In this paper we review the current state-of-the-art deep learning architectures for processing unstructured Euclidean data. We begin by addressing the background concepts and traditional methodologies. We review the current main approaches including; RGB-D, multi-view, volumetric and fully end-to-end architecture designs. Datasets for each category are documented and explained. Finally, we give a detailed discussion about the future of deep learning for 3D sensed data, using literature to justify the areas where future research would be most valuable. △ Less

Submitted 9 July, 2019; originally announced July 2019.

Comments: 25 pages, 9 figures. Review paper

Weighted Point Cloud Augmentation for Neural Network Training Data Class-Imbalance

Authors: David Griffiths, Jan Boehm

Abstract: Recent developments in the field of deep learning for 3D data have demonstrated promising potential for end-to-end learning directly from point clouds. However, many real-world point clouds contain a large class im-balance due to the natural class im-balance observed in nature. For example, a 3D scan of an urban environment will consist mostly of road and facade, whereas other objects such as pole… ▽ More Recent developments in the field of deep learning for 3D data have demonstrated promising potential for end-to-end learning directly from point clouds. However, many real-world point clouds contain a large class im-balance due to the natural class im-balance observed in nature. For example, a 3D scan of an urban environment will consist mostly of road and facade, whereas other objects such as poles will be under-represented. In this paper we address this issue by employing a weighted augmentation to increase classes that contain fewer points. By mitigating the class im-balance present in the data we demonstrate that a standard PointNet++ deep neural network can achieve higher performance at inference on validation data. This was observed as an increase of F1 score of 19% and 25% on two test benchmark datasets; ScanNet and Semantic3D respectively where no class im-balance pre-processing had been performed. Our networks performed better on both highly-represented and under-represented classes, which indicates that the network is learning more robust and meaningful features when the loss function is not overly exposed to only a few classes. △ Less

Submitted 9 April, 2019; v1 submitted 8 April, 2019; originally announced April 2019.

Comments: 7 pages, 6 figures, submitted for ISPRS Geospatial Week conference 2019

Counts of (tropical) curves in $E\times \mathbb{P}^1$ and Feynman integrals

Authors: Janko Böhm, Christoph Goldner, Hannah Markwig

Abstract: We study generating series of Gromov-Witten invariants of $E\times\mathbb{P}^1$ and their tropical counterparts. Using tropical degeneration and floor diagram techniques, we can express the generating series as sums of Feynman integrals, where each summand corresponds to a certain type of graph which we call a pearl chain. The individual summands are --- just as in the case of mirror symmetry of e… ▽ More We study generating series of Gromov-Witten invariants of $E\times\mathbb{P}^1$ and their tropical counterparts. Using tropical degeneration and floor diagram techniques, we can express the generating series as sums of Feynman integrals, where each summand corresponds to a certain type of graph which we call a pearl chain. The individual summands are --- just as in the case of mirror symmetry of elliptic curves, where the generating series of Hurwitz numbers equals a sum of Feynman integrals --- complex analytic path integrals involving a product of propagators (equal to the Weierstrass-$\wp$-function plus an Eisenstein series). We also use pearl chains to study generating functions of counts of tropical curves in $E_{\mathbb{T}}\times\mathbb{P}^1_\mathbb{T}$ of so-called leaky degree. △ Less

Submitted 23 May, 2019; v1 submitted 12 December, 2018; originally announced December 2018.

Comments: 26 pages, 12 figures. We thank an anonymous referee for pointing out a mistake which we fixed in this version

MSC Class: Primary 14N35; 14T05; 81T18; Secondary 11F11; 14J27; 14N10; 14J81

Computeralgebra - vom Vorlesungsthema zum Forschungsthema

Authors: Janko Boehm

Abstract: In this note for the joint meeting of DMV and GDM we illustrate with examples the role of computer algebra in university mathematics education. We discuss its potential in teaching algebra, but also computer algebra as a subject in its own right, its value in the context of practical programming projects and its role as a research topic in student papers. In this note for the joint meeting of DMV and GDM we illustrate with examples the role of computer algebra in university mathematics education. We discuss its potential in teaching algebra, but also computer algebra as a subject in its own right, its value in the context of practical programming projects and its role as a research topic in student papers. △ Less

Submitted 14 November, 2018; originally announced November 2018.

Comments: German, 5 pages

MSC Class: 97H99 (Primary); 97U50 (Secondary)

Journal ref: Beiträge zum Mathematikunterricht 2018, 325-328

Massively parallel computations in algebraic geometry - not a contradiction

Authors: Janko Boehm, Anne Frühbis-Krüger, Mirko Rahn

Abstract: The design and implementation of parallel algorithms is a fundamental task in computer algebra. Combining the computer algebra system Singular and the workflow management system GPI-Space, we have developed an infrastructure for massively parallel computations in commutative algebra and algebraic geometry. In this note, we give an overview on the current capabilities of this framework by looking i… ▽ More The design and implementation of parallel algorithms is a fundamental task in computer algebra. Combining the computer algebra system Singular and the workflow management system GPI-Space, we have developed an infrastructure for massively parallel computations in commutative algebra and algebraic geometry. In this note, we give an overview on the current capabilities of this framework by looking into three sample applications: determining smoothness of algebraic varieties, computing GIT-fans in geometric invariant theory, and determining tropicalizations. These applications employ algorithmic methods originating from commutative algebra, sheaf structures on manifolds, local geometry, convex geometry, group theory, and combinatorics, illustrating the potential of the framework in further problems in computer algebra. △ Less

Submitted 14 November, 2018; originally announced November 2018.

Comments: 9 pages, 6 figures

MSC Class: 68W10 (Primary); 68W30; 14Q99; 14B05; 14L24; 14T05 (Secondary)

Journal ref: Computeralgebrarundbrief 64 (2019), 8-13

First particle-by-particle measurement of emittance in the Muon Ionization Cooling Experiment

Authors: The MICE Collaboration, D. Adams, D. Adey, R. Asfandiyarov, G. Barber, A. de Bari, R. Bayes, V. Bayliss, R. Bertoni, V. Blackmore, A. Blondel, J. Boehm, M. Bogomilov, M. Bonesini, C. N. Booth, D. Bowring, S. Boyd, T. W. Bradshaw, A. D. Bross, C. Brown, L. Coney, G. Charnley, G. T. Chatzitheodoridis, F. Chignoli, M. Chung , et al. (111 additional authors not shown)

Abstract: The Muon Ionization Cooling Experiment (MICE) collaboration seeks to demonstrate the feasibility of ionization cooling, the technique by which it is proposed to cool the muon beam at a future neutrino factory or muon collider. The emittance is measured from an ensemble of muons assembled from those that pass through the experiment. A pure muon ensemble is selected using a particle-identification s… ▽ More The Muon Ionization Cooling Experiment (MICE) collaboration seeks to demonstrate the feasibility of ionization cooling, the technique by which it is proposed to cool the muon beam at a future neutrino factory or muon collider. The emittance is measured from an ensemble of muons assembled from those that pass through the experiment. A pure muon ensemble is selected using a particle-identification system that can reject efficiently both pions and electrons. The position and momentum of each muon are measured using a high-precision scintillating-fibre tracker in a 4\,T solenoidal magnetic field. This paper presents the techniques used to reconstruct the phase-space distributions and reports the first particle-by-particle measurement of the emittance of the MICE Muon Beam as a function of muon-beam momentum. △ Less

Submitted 26 March, 2019; v1 submitted 31 October, 2018; originally announced October 2018.

Tropical Mirror Symmetry in Dimension One

Authors: Janko Böhm, Christoph Goldner, Hannah Markwig

Abstract: We prove a tropical mirror symmetry theorem for descendant Gromov-Witten invariants of the elliptic curve, generalizing the tropical mirror symmetry theorem for Hurwitz numbers of the elliptic curve, Theorem 2.20 in [Böhm J., Bringmann K., Buchholz A., Markwig H., J. Reine Angew. Math. 732 (2017), 211-246, arXiv:1309.5893]. For the case of the elliptic curve, the tropical version of mirror symmetr… ▽ More We prove a tropical mirror symmetry theorem for descendant Gromov-Witten invariants of the elliptic curve, generalizing the tropical mirror symmetry theorem for Hurwitz numbers of the elliptic curve, Theorem 2.20 in [Böhm J., Bringmann K., Buchholz A., Markwig H., J. Reine Angew. Math. 732 (2017), 211-246, arXiv:1309.5893]. For the case of the elliptic curve, the tropical version of mirror symmetry holds on a fine level and easily implies the equality of the generating series of descendant Gromov-Witten invariants of the elliptic curve to Feynman integrals. To prove tropical mirror symmetry for elliptic curves, we investigate the bijection between graph covers and sets of monomials contributing to a coefficient in a Feynman integral. We also soup up the traditional approach in mathematical physics to mirror symmetry for the elliptic curve, involving operators on a Fock space, to give a proof of tropical mirror symmetry for Hurwitz numbers of the elliptic curve. In this way, we shed light on the intimate relation between the operator approach on a bosonic Fock space and the tropical approach. △ Less

Submitted 25 June, 2022; v1 submitted 27 September, 2018; originally announced September 2018.

MSC Class: 14J33; 14N35; 14T05; 81T18; 11F11; 14H30; 14N10; 14H52; 14H81

Journal ref: SIGMA 18 (2022), 046, 30 pages

Towards Massively Parallel Computations in Algebraic Geometry

Authors: Janko Boehm, Wolfram Decker, Anne Frühbis-Krüger, Franz-Josef Pfreundt, Mirko Rahn, Lukas Ristau

Abstract: Introducing parallelism and exploring its use is still a fundamental challenge for the computer algebra community. In high performance numerical simulation, on the other hand, transparent environments for distributed computing which follow the principle of separating coordination and computation have been a success story for many years. In this paper, we explore the potential of using this princip… ▽ More Introducing parallelism and exploring its use is still a fundamental challenge for the computer algebra community. In high performance numerical simulation, on the other hand, transparent environments for distributed computing which follow the principle of separating coordination and computation have been a success story for many years. In this paper, we explore the potential of using this principle in the context of computer algebra. More precisely, we combine two well-established systems: The mathematics we are interested in is implemented in the computer algebra system Singular, whose focus is on polynomial computations, while the coordination is left to the workflow management system GPI-Space, which relies on Petri nets as its mathematical modeling language, and has been successfully used for coordinating the parallel execution (autoparallelization) of academic codes as well as for commercial software in application areas such as seismic data processing. The result of our efforts is a major step towards a framework for massively parallel computations in the application areas of Singular, specifically in commutative algebra and algebraic geometry. As a first test case for this framework, we have modeled and implemented a hybrid smoothness test for algebraic varieties which combines ideas from Hironaka's celebrated desingularization proof with the classical Jacobian criterion. Applying our implementation to two examples originating from current research in algebraic geometry, one of which cannot be handled by other means, we illustrate the behavior of the smoothness test within our framework, and investigate how the computations scale up to 256 cores. △ Less

Submitted 29 August, 2018; originally announced August 2018.

Comments: 39 pages, 5 figures, 2 tables

MSC Class: 68W10 (Primary); 68W30; 14B05; 14Q99 (Secondary)

The liquid-hydrogen absorber for MICE

Authors: V. Bayliss, J. Boehm, T. Bradshaw, M. Courthold, S. Harrison, M. Hills, P. Hodgson, S. Ishimoto, A. Kurup, W. Lau, K. Long, A. Nichols, D. Summers, M. Tucker, P. Warburton, S. Watson, C. Whyte

Abstract: The Muon Ionization Cooling Experiment (MICE) has been built at the STFC Rutherford Appleton Laboratory to demonstrate the principle of muon beam phase-space reduction via ionization cooling. Muon beam cooling will be required at a future proton-derived neutrino factory or muon collider. Ionization cooling is achieved by passing the beam through an energy-absorbing material, such as liquid hydroge… ▽ More The Muon Ionization Cooling Experiment (MICE) has been built at the STFC Rutherford Appleton Laboratory to demonstrate the principle of muon beam phase-space reduction via ionization cooling. Muon beam cooling will be required at a future proton-derived neutrino factory or muon collider. Ionization cooling is achieved by passing the beam through an energy-absorbing material, such as liquid hydrogen, and then re-accelerating the beam using RF cavities. This paper describes the hydrogen system constructed for MICE including: the liquid-hydrogen absorber, its associated cryogenic and gas systems, the control and monitoring system, and the necessary safety engineering. The performance of the system in cool-down, liquefaction, and stable operation is also presented. △ Less

Submitted 9 July, 2018; originally announced July 2018.

Comments: 25 pages, 21 figures, part of the MICE collaboration