-
Dehn functions of subgroups of products of free groups: 3-factor case, $F_{n-1}$ case, and Bridson-Dison group
Authors:
Dario Ascari,
Federica Bertolotti,
Giovanni Italiano,
Claudio Llosa Isenrich,
Matteo Migliorini
Abstract:
Subgroups of direct products of finitely many finitely generated free groups form a natural class that plays an important role in geometric group theory. Its members include fundamental examples, such as the Stallings-Bieri groups. This raises the problem of understanding their geometric invariants. We prove that finitely presented subgroups of direct products of three free groups, as well as subg…
▽ More
Subgroups of direct products of finitely many finitely generated free groups form a natural class that plays an important role in geometric group theory. Its members include fundamental examples, such as the Stallings-Bieri groups. This raises the problem of understanding their geometric invariants. We prove that finitely presented subgroups of direct products of three free groups, as well as subgroups of finiteness type $\mathcal{F}_{n-1}$ in a direct product of $n$ free groups, have Dehn function bounded above by $N^9$. This gives a positive answer to a question of Dison within these important subclasses and provides new insights in the context of Bridson's conjecture that finitely presented subgroups of direct products of free groups have polynomially bounded Dehn function. We also give the first precise computation of a superquadratic Dehn function of a finitely presented subgroup of a direct product of finitely many free groups: we show that the Bridson-Dison group is a subgroup of a direct product of three free groups with Dehn function $N^4$. To prove our results we generalise techniques for "pushing fillings" into normal subgroups and define a new invariant for obtaining optimal lower bounds on Dehn functions.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
-
Triggerless data acquisition pipeline for Machine Learning based statistical anomaly detection
Authors:
Gaia Grosso,
Nicolò Lai,
Matteo Migliorini,
Jacopo Pazzini,
Andrea Triossi,
Marco Zanetti,
Alberto Zucchetta
Abstract:
This work describes an online processing pipeline designed to identify anomalies in a continuous stream of data collected without external triggers from a particle detector. The processing pipeline begins with a local reconstruction algorithm, employing neural networks on an FPGA as its first stage. Subsequent data preparation and anomaly detection stages are accelerated using GPGPUs. As a practic…
▽ More
This work describes an online processing pipeline designed to identify anomalies in a continuous stream of data collected without external triggers from a particle detector. The processing pipeline begins with a local reconstruction algorithm, employing neural networks on an FPGA as its first stage. Subsequent data preparation and anomaly detection stages are accelerated using GPGPUs. As a practical demonstration of anomaly detection, we have developed a data quality monitoring application using a cosmic muon detector. Its primary objective is to detect deviations from the expected operational conditions of the detector. This serves as a proof-of-concept for a system that can be adapted for use in large particle physics experiments, enabling anomaly detection on datasets with reduced bias.
△ Less
Submitted 3 November, 2023;
originally announced November 2023.
-
The Analytical Method algorithm for trigger primitives generation at the LHC Drift Tubes detector
Authors:
G. Abbiendi,
J. Alcaraz Maestre,
A. Álvarez Fernández,
B. Álvarez González,
N. Amapane,
I. Bachiller,
L. Barcellan,
C. Baldanza,
C. Battilana,
M. Bellato,
G. Bencze,
M. Benettoni,
N. Beni,
A. Benvenuti,
A. Bergnoli,
L. C. Blanco Ramos,
L. Borgonovi,
A. Bragagnolo,
V. Cafaro,
A. Calderon,
E. Calvo,
R. Carlin,
C. A. Carrillo Montoya,
F. R. Cavallo,
J. M. Cela Ruiz
, et al. (121 additional authors not shown)
Abstract:
The Compact Muon Solenoid (CMS) experiment prepares its Phase-2 upgrade for the high-luminosity era of the LHC operation (HL-LHC). Due to the increase of occupancy, trigger latency and rates, the full electronics of the CMS Drift Tube (DT) chambers will need to be replaced. In the new design, the time bin for the digitisation of the chamber signals will be of around 1~ns, and the totality of the s…
▽ More
The Compact Muon Solenoid (CMS) experiment prepares its Phase-2 upgrade for the high-luminosity era of the LHC operation (HL-LHC). Due to the increase of occupancy, trigger latency and rates, the full electronics of the CMS Drift Tube (DT) chambers will need to be replaced. In the new design, the time bin for the digitisation of the chamber signals will be of around 1~ns, and the totality of the signals will be forwarded asynchronously to the service cavern at full resolution. The new backend system will be in charge of building the trigger primitives of each chamber. These trigger primitives contain the information at chamber level about the muon candidates position, direction, and collision time, and are used as input in the L1 CMS trigger. The added functionalities will improve the robustness of the system against ageing. An algorithm based on analytical solutions for reconstructing the DT trigger primitives, called Analytical Method, has been implemented both as a software C++ emulator and in firmware. Its performance has been estimated using the software emulator with simulated and real data samples, and through hardware implementation tests. Measured efficiencies are 96 to 98\% for all qualities and time and spatial resolutions are close to the ultimate performance of the DT chambers. A prototype chain of the HL-LHC electronics using the Analytical Method for trigger primitive generation has been installed during Long Shutdown 2 of the LHC and operated in CMS cosmic data taking campaigns in 2020 and 2021. Results from this validation step, the so-called Slice Test, are presented.
△ Less
Submitted 3 February, 2023;
originally announced February 2023.
-
Design and Validation of a Multi-Arm Relocatable Manipulator for Space Applications
Authors:
Enrico Mingo Hoffman,
Arturo Laurenzi,
Francesco Ruscelli,
Luca Rossini,
Lorenzo Baccelliere,
Davide Antonucci,
Alessio Margan,
Paolo Guria,
Marco Migliorini,
Stefano Cordasco,
Gennaro Raiola,
Luca Muratore,
Joaquín Estremera Rodrigo,
Andrea Rusconi,
Guido Sangiovanni,
Nikos G. Tsagarakis
Abstract:
This work presents the computational design and validation of the Multi-Arm Relocatable Manipulator (MARM), a three-limb robot for space applications, with particular reference to the MIRROR (i.e., the Multi-arm Installation Robot for Readying ORUs and Reflectors) use-case scenario as proposed by the European Space Agency. A holistic computational design and validation pipeline is proposed, with t…
▽ More
This work presents the computational design and validation of the Multi-Arm Relocatable Manipulator (MARM), a three-limb robot for space applications, with particular reference to the MIRROR (i.e., the Multi-arm Installation Robot for Readying ORUs and Reflectors) use-case scenario as proposed by the European Space Agency. A holistic computational design and validation pipeline is proposed, with the aim of comparing different limb designs, as well as ensuring that valid limb candidates enable MARM to perform the complex loco-manipulation tasks required. Motivated by the task complexity in terms of kinematic reachability, (self)-collision avoidance, contact wrench limits, and motor torque limits affecting Earth experiments, this work leverages on multiple state-of-art planning and control approaches to aid the robot design and validation. These include sampling-based planning on manifolds, non-linear trajectory optimization, and quadratic programs for inverse dynamics computations with constraints. Finally, we present the attained MARM design and conduct preliminary tests for hardware validation through a set of lab experiments.
△ Less
Submitted 24 January, 2023;
originally announced January 2023.
-
A horizontally scalable online processing system for trigger-less data acquisition
Authors:
Matteo Migliorini,
Jacopo Pazzini,
Andrea Triossi,
Marco Zanetti,
Alberto Zucchetta
Abstract:
The majority of high energy physics experiments rely on data acquisition and hardware-based trigger systems performing a number of stringent selections before storing data for offline analysis. The online reconstruction and selection performed at the trigger level are bound to the synchronous nature of the data acquisition system, resulting in a trade-off between the amount of data collected and t…
▽ More
The majority of high energy physics experiments rely on data acquisition and hardware-based trigger systems performing a number of stringent selections before storing data for offline analysis. The online reconstruction and selection performed at the trigger level are bound to the synchronous nature of the data acquisition system, resulting in a trade-off between the amount of data collected and the complexity of the online reconstruction performed. Exotic physics processes, such as long-lived and slow-moving particles, are rarely targeted by online triggers as they require complex and nonstandard online reconstruction, usually incompatible with the time constraints of most data acquisition systems. The online trigger selection can thus impact as one of the main limiting factors to the experimental reach for exotic signatures. Alternative data acquisition solutions based on the continuous and asynchronous processing of the stream of data from the detectors are therefore foreseeable. Trigger-less data readout systems, paired with efficient streaming data processing solutions, can provide a viable alternative. In this document, an end-to-end implementation of a fully trigger-less data acquisition and online processing system is discussed. An easily scalable and deployable implementation of such an architecture is proposed, based on open-source distributed computing frameworks capable of performing asynchronous online processing of streaming data. The proposed schema can be suitable for deployment as a fully integrated system for small-scale experimental apparatus, or to complement the trigger-based data acquisition systems of larger experiments. A muon telescope setup consisting of a set of gaseous detectors is used as the experimental development testbed in this work, and a fully integrated online processing pipeline deployed on cloud computing resources is implemented and described.
△ Less
Submitted 8 March, 2022; v1 submitted 9 November, 2021;
originally announced November 2021.
-
Hyperbolic 5-manifolds that fiber over $S^1$
Authors:
Giovanni Italiano,
Bruno Martelli,
Matteo Migliorini
Abstract:
We exhibit some finite-volume cusped hyperbolic 5-manifolds that fiber over the circle. These include the smallest hyperbolic 5-manifold known, discovered by Ratcliffe and Tschantz. As a consequence, we build a finite type subgroup of a hyperbolic group that is not hyperbolic.
We exhibit some finite-volume cusped hyperbolic 5-manifolds that fiber over the circle. These include the smallest hyperbolic 5-manifold known, discovered by Ratcliffe and Tschantz. As a consequence, we build a finite type subgroup of a hyperbolic group that is not hyperbolic.
△ Less
Submitted 27 November, 2021; v1 submitted 31 May, 2021;
originally announced May 2021.
-
Muon trigger with fast Neural Networks on FPGA, a demonstrator
Authors:
Matteo Migliorini,
Jacopo Pazzini,
Andrea Triossi,
Marco Zanetti,
Alberto Zucchetta
Abstract:
The online reconstruction of muon tracks in High Energy Physics experiments is a highly demanding task, typically performed with programmable logic boards, such as FPGAs. Complex analytical algorithms are executed in a quasi-real-time environment to identify, select and reconstruct local tracks in often noise-rich environments. A novel approach to the generation of local triggers based on an hybri…
▽ More
The online reconstruction of muon tracks in High Energy Physics experiments is a highly demanding task, typically performed with programmable logic boards, such as FPGAs. Complex analytical algorithms are executed in a quasi-real-time environment to identify, select and reconstruct local tracks in often noise-rich environments. A novel approach to the generation of local triggers based on an hybrid combination of Artificial Neural Networks and analytical methods is proposed, targeting the muon reconstruction for drift tube detectors. The proposed algorithm exploits Neural Networks to solve otherwise computationally expensive analytical tasks for the unique identification of coherent signals and the removal of the geometrical ambiguities. The proposed approach is deployed on state-of-the-art FPGA and its performances are evaluated on simulation and on data collected from cosmic rays.
△ Less
Submitted 10 May, 2021;
originally announced May 2021.
-
Hyperbolic manifolds that fiber algebraically up to dimension 8
Authors:
Giovanni Italiano,
Bruno Martelli,
Matteo Migliorini
Abstract:
We construct some cusped finite-volume hyperbolic $n$-manifolds $M_n$ that fiber algebraically in all the dimensions $5\leq n \leq 8$. That is, there is a surjective homomorphism $π_1(M_n) \to \mathbb Z$ with finitely generated kernel.
The kernel is also finitely presented in the dimensions $n=7, 8$, and this leads to the first examples of hyperbolic $n$-manifolds $\widetilde M_n$ whose fundamen…
▽ More
We construct some cusped finite-volume hyperbolic $n$-manifolds $M_n$ that fiber algebraically in all the dimensions $5\leq n \leq 8$. That is, there is a surjective homomorphism $π_1(M_n) \to \mathbb Z$ with finitely generated kernel.
The kernel is also finitely presented in the dimensions $n=7, 8$, and this leads to the first examples of hyperbolic $n$-manifolds $\widetilde M_n$ whose fundamental group is finitely presented but not of finite type. These $n$-manifolds $\widetilde M_n$ have infinitely many cusps of maximal rank and hence infinite Betti number $b_{n-1}$. They cover the finite-volume manifold $M_n$.
We obtain these examples by assigning some appropriate colours and states to a family of right-angled hyperbolic polytopes $P_5, \ldots, P_8$, and then applying some arguments of Jankiewicz, Norin, Wise and Bestvina, Brady. We exploit in an essential way the remarkable properties of the Gosset polytopes dual to $P_n$, and the algebra of integral octonions for the crucial dimensions $n=7,8$.
△ Less
Submitted 29 September, 2022; v1 submitted 20 October, 2020;
originally announced October 2020.
-
Front-end control system and precise threshold configuration of the v-Angra experiment
Authors:
Mariana L Migliorini,
Antonio Fernandes Jr,
Joao C Anjos,
Pietro Chimenti,
Igor A Costa,
Luis F G Gonzalez,
Germano P Guedes,
Ernesto Kemp,
Herman P Lima Jr,
Guilherme S P Lopes,
Amaro S Lopes Jr,
Rafael A Nobrega,
Igor F Pains,
Iuri M Pepe,
Dion B S Ribeiro,
David M Souza
Abstract:
The v-Angra experiment aims to estimate the flux of antineutrino particles coming out from the Angra II nuclear reactor. Such flux is proportional to the thermal power released in the fission process and therefore can be used to infer the quantity of fuel that has been burned during a certain period. To do so, the v-Angra Collaboration has developed an antineutrino detector and a complete acquisit…
▽ More
The v-Angra experiment aims to estimate the flux of antineutrino particles coming out from the Angra II nuclear reactor. Such flux is proportional to the thermal power released in the fission process and therefore can be used to infer the quantity of fuel that has been burned during a certain period. To do so, the v-Angra Collaboration has developed an antineutrino detector and a complete acquisition system to readout and store the signals generated by its sensors. The entire detection system has been installed inside a container laboratory placed beside the dome of the nuclear reactor, in a restricted zone of the Angra II site. The system is supposed to work standalone for a few years in order to collect enough data so that the experiment can be validated. The detector's readout electronics and its environmental conditions are crucial parts of the experiment and they should work autonomously and be controlled and monitored remotely. Additionally, threshold configuration is a central issue of the experiment since antineutrino particles produce low energy signals in the detector, being necessary to carefully adjust it for all the detector channels in order to make the system capable of detecting signals as low as those generated by single photons. To this end, an embedded system was developed and integrated to the detection apparatus installed in the container at the Angra II site and is now operational and accessible to the v-Angra Collaboration. This article aims at describing the proposed embedded system and presenting the results obtained during its commissioning phase.
△ Less
Submitted 21 July, 2020;
originally announced July 2020.
-
Brazilian Report on Safeguards Application of Reactor Neutrinos
Authors:
E. Kemp,
J. A. M. Alfonzo,
J. C. Anjos,
G. Cernicchiaro,
P. Chimenti,
I. A. Costa,
P. C. M. A. Farias,
A. Fernandes Jr.,
G. P. Guedes,
L. F. G. Gonzalez,
H. P. Lima Jr.,
A. S. Lopes Jr.,
J. Marcelo,
M. L. Migliorini,
R. A. Nóbrega,
I. M. Pepe,
D. B. S. Ribeiro,
W. V. Santos,
D. M. Souza,
L. R. Teixeira,
A. M. Trzeciak
Abstract:
The Neutrinos Angra Experiment is a water-based Cherenkov detector located in the Angra dos Reis nuclear power plant. The experiment has completed a major step by finishing the commissioning of the detector and the data acquisition system at the experimental site. The experiment was designed to detect the electron antineutrinos produced by the nuclear reactor with the main purpose to demonstrate t…
▽ More
The Neutrinos Angra Experiment is a water-based Cherenkov detector located in the Angra dos Reis nuclear power plant. The experiment has completed a major step by finishing the commissioning of the detector and the data acquisition system at the experimental site. The experiment was designed to detect the electron antineutrinos produced by the nuclear reactor with the main purpose to demonstrate the feasibility of monitoring the reactor activity using an antineutrino detector. This effort is within the context of the International Atomic Energy Agency (IAEA) program to identify potential and novel technologies that can be applied for non-proliferation safeguards. Challenges, such as operating at the surface, therefore with huge noise rates, and the need to build very sensitive but small-scale detectors, make the Angra experiment an excellent platform for develo** the application itself, as well as acquiring expertise in new technologies and analysis methods. In this report, we describe the main detector features and the electronics chain (front-end and data acquisition). We also report preliminary physics results obtained from the commissioning phase data. Finally, we address conclusions regarding the future perspectives to keep this program active, due to its importance in the insertion of Latin-American scientists and engineers in a world-scale cutting edge scientific program.
△ Less
Submitted 20 December, 2019;
originally announced December 2019.
-
Machine Learning Pipelines with Modern Big Data Tools for High Energy Physics
Authors:
Matteo Migliorini,
Riccardo Castellotti,
Luca Canali,
Marco Zanetti
Abstract:
The effective utilization at scale of complex machine learning (ML) techniques for HEP use cases poses several technological challenges, most importantly on the actual implementation of dedicated end-to-end data pipelines. A solution to these challenges is presented, which allows training neural network classifiers using solutions from the Big Data and data science ecosystems, integrated with tool…
▽ More
The effective utilization at scale of complex machine learning (ML) techniques for HEP use cases poses several technological challenges, most importantly on the actual implementation of dedicated end-to-end data pipelines. A solution to these challenges is presented, which allows training neural network classifiers using solutions from the Big Data and data science ecosystems, integrated with tools, software, and platforms common in the HEP environment. In particular, Apache Spark is exploited for data preparation and feature engineering, running the corresponding (Python) code interactively on Jupyter notebooks. Key integrations and libraries that make Spark capable of ingesting data stored using ROOT format and accessed via the XRootD protocol, are described and discussed. Training of the neural network models, defined using the Keras API, is performed in a distributed fashion on Spark clusters by using BigDL with Analytics Zoo and also by using TensorFlow, notably for distributed training on CPU and GPU resourcess. The implementation and the results of the distributed training are described in detail in this work.
△ Less
Submitted 16 June, 2020; v1 submitted 23 September, 2019;
originally announced September 2019.
-
Neutrinos Angra experiment: commissioning and first operational measurements
Authors:
H. P. Lima Jr,
J. A. M. Alfonzo,
J. C. Anjos,
G. Cernicchiaro,
P. Chimenti,
I. A. Costa,
M. P. Dias,
P. C. M. A. Farias,
A. Fernandes Junior,
G. P. Guedes,
L. F. G. Gonzalez,
E. Kemp,
G. S. Lopes,
J. Marcelo,
M. L. Migliorini,
R. A. Nobrega,
I. M. Pepe,
D. B. S. Ribeiro,
D. M. Souza,
L. R. Teixeira
Abstract:
The Neutrinos Angra Experiment has completed a major step by finishing the comissioning of the detector and the data acquisition system at the experimental site located in the Angra dos Reis nuclear power plant. The experiment consists of a water-based detector and associated electronics, both designed with the goal of detecting the electron antineutrinos produced by the nuclear reactor. The detec…
▽ More
The Neutrinos Angra Experiment has completed a major step by finishing the comissioning of the detector and the data acquisition system at the experimental site located in the Angra dos Reis nuclear power plant. The experiment consists of a water-based detector and associated electronics, both designed with the goal of detecting the electron antineutrinos produced by the nuclear reactor. The detection is possible due to the Inverse Beta Decay, where the final products in the water are photons in the UV-to-visible range of the spectrum. The assembled detector comprises three active volumes filled with water: (i) a cubic target detector for electron antineutrinos, covered by 32 8-inches PMTs, (ii) a lateral layer surrounding the target (veto) equipped with 4 PMTs and (iii) a third volume covering the top of both, also equipped with 4~PMTs. In the present document the main features of the detector assembly as well as the integration of the readout electronics on-site are reported. Finally, some operational characteristics are shown based on straightforward analysis of the first measurements performed during the last months with the fully working detector.
△ Less
Submitted 22 May, 2019; v1 submitted 30 December, 2018;
originally announced December 2018.
-
On the shape factor of interaction laws for a non-local approximation of the Sobolev norm and the total variation
Authors:
Clara Antonucci,
Massimo Gobbino,
Matteo Migliorini,
Nicola Picenni
Abstract:
We consider the family of non-local and non-convex functionals introduced by H. Brezis and H.-M. Nguyen in a recent paper. These functionals Gamma-converge to a multiple of the Sobolev norm or the total variation, depending on a summability exponent, but the exact values of the constants are unknown in many cases.
We describe a new approach to the Gamma-convergence result that leads in some spec…
▽ More
We consider the family of non-local and non-convex functionals introduced by H. Brezis and H.-M. Nguyen in a recent paper. These functionals Gamma-converge to a multiple of the Sobolev norm or the total variation, depending on a summability exponent, but the exact values of the constants are unknown in many cases.
We describe a new approach to the Gamma-convergence result that leads in some special cases to the exact value of the constants, and to the existence of smooth recovery families.
△ Less
Submitted 19 May, 2018; v1 submitted 14 January, 2018;
originally announced January 2018.
-
Optimal constants for a non-local approximation of Sobolev norms and total variation
Authors:
Clara Antonucci,
Massimo Gobbino,
Matteo Migliorini,
Nicola Picenni
Abstract:
We consider the family of non-local and non-convex functionals proposed and investigated by J. Bourgain, H. Brezis and H.-M. Nguyen in a series of papers of the last decade. It was known that this family of functionals Gamma-converges to a suitable multiple of the Sobolev norm or the total variation, depending on the summability exponent, but the exact constants and the structure of recovery famil…
▽ More
We consider the family of non-local and non-convex functionals proposed and investigated by J. Bourgain, H. Brezis and H.-M. Nguyen in a series of papers of the last decade. It was known that this family of functionals Gamma-converges to a suitable multiple of the Sobolev norm or the total variation, depending on the summability exponent, but the exact constants and the structure of recovery families were still unknown, even in dimension one.
We prove a Gamma-convergence result with explicit values of the constants in any space dimension. We also show the existence of recovery families consisting of smooth functions with compact support.
The key point is reducing the problem first to dimension one, and then to a finite combinatorial rearrangement inequality.
△ Less
Submitted 19 May, 2018; v1 submitted 3 August, 2017;
originally announced August 2017.