Search

With the rising adoption of dry dilution refrigerators across scientific and industrial domains, there has been a pressing demand for highly efficient vibration decoupling systems capable of operation at cryogenic temperatures in order to achieve the low vibration levels required for operation of sensitive equipment like cryogenic detectors or quantum devices. As part of the NUCLEUS experiment, a cryogenic spring pendulum has been engineered to effectively isolate pulse tube vibrations by establishing an autonomous frame of reference for the experimental volume, while sustaining temperatures below 10 mK. Attaining attenuation of up to two orders of magnitude within the region of interest of the NUCLEUS cryogenic detectors, we achieved displacement RMS values in the order of 1 nm in the axial direction and 100 pm radially, thereby reducing vibrations below typical environmental levels. Our successful detector operation across multiple cooldown cycles demonstrated negligible sensitivity to pulse tube induced vibrations, culminating in the achievement of an ultra-low $(6.22 \pm 0.07)$ eV baseline resolution on a gram-scale CaWO$_4$ cryogenic calorimeter during continuous pulse tube operation over the course of several weeks.

We focus on two aspects of cyclic orbit codes: invariants under equivalence and quasi-optimality. Regarding the first aspect, we establish a connection between the codewords of a cyclic orbit code and a certain linear set on the projective line. This allows us to derive new bounds on the parameters of the code. In the second part, we study a particular family of (quasi-)optimal cyclic orbit codes and derive a general existence theorem for quasi-optimal codes in even-dimensional vector spaces over finite fields of any characteristic. Finally, for our particular code family we describe the automorphism groups under the general linear group and a suitable Galois group.

DarkSide-20k is a novel liquid argon dark matter detector currently under construction at the Laboratori Nazionali del Gran Sasso (LNGS) of the Istituto Nazionale di Fisica Nucleare (INFN) that will push the sensitivity for Weakly Interacting Massive Particle (WIMP) detection into the neutrino fog. The core of the apparatus is a dual-phase Time Projection Chamber (TPC), filled with \SI{50} {tonnes} of low radioactivity underground argon (UAr) acting as the WIMP target. NUV-HD-Cryo Silicon Photomultipliers (SiPM)s designed by Fondazione Bruno Kessler (FBK) (Povo, Trento, Italy) were selected as the photon sensors covering two $10.5~\text{m}^2$ Optical Planes, one at each end of the TPC, and a total of $5~\text{m}^2$ photosensitive surface for the liquid argon veto detectors. This paper describes the Quality Assurance and Quality Control (QA/QC) plan and procedures accompanying the production of FBK~NUV-HD-Cryo SiPM wafers manufactured by LFoundry s.r.l. (Avezzano, AQ, Italy). SiPM characteristics are measured at 77~K at the wafer level with a custom-designed probe station. As of May~2024, 603 of the 1400 production wafers (43\% of the total) for DarkSide-20k were tested, including wafers from all 57 production Lots. The wafer yield is $93.6\pm2.5$\%, which exceeds the 80\% specification defined in the original DarkSide-20k production plan.

We present a test of the equivalence principle on cosmological scales involving minimal assumptions. Our approach relies on the cross-correlation of two different galaxy populations with large-scale relativistic corrections. We construct a measurable quantity $E_P$ acting as a null test, i.e. deviating from unity whenever the weak equivalence principle is violated. We provide forecasts with the DESI Bright Galaxy Sample and with the Square Kilometre Array Phase 2 (SKA2). The relativistic corrections can be detected with high significance by both surveys, while $E_P$ can only be measured by SKA2. We forecast a precision around 10-15$\%$ across the redshift range between 0.25 and 0.75., Comment: 9 pages (5 main text), 3 figures

Cryogenic phonon detectors are adopted in experiments searching for dark matter interactions or coherent elastic neutrino-nucleus scattering, thanks to the low energy threshold they can achieve. The phonon-mediated sensing of particle interactions in passive silicon absorbers has been demonstrated with Kinetic Inductance Detectors (KIDs). Targets with neutron number larger than silicon, however, feature higher cross section to neutrinos while multi-target absorbers in dark matter experiments would provide a stronger evidence of a possible signal. In this work we present the design, fabrication and operation of KIDs coupled to a germanium absorber, achieving phonon-sensing performance comparable to silicon absorbers. The device introduced in this work is a proof of concept for a scalable neutrino detector and for a multi-target dark matter experiment., Comment: 3 Figures, 2 Tables, 5 pages

In recent years, graphene Field-Effect-Transistors (GFETs) have demonstrated an outstanding potential for Terahertz (THz) photodetection due to their fast response and high-sensitivity. Such features are essential to enable emerging THz applications, including 6G wireless communications, quantum information, bioimaging and security. However, the overall performance of these photodetectors may be utterly compromised by the impact of internal resistances presented in the device, so-called access or parasitic resistances. In this work, we provide a detailed study of the influence of internal device resistances in the photoresponse of high-mobility dual-gate GFET detectors. Such dual-gate architectures allow us to fine tune (decrease) the internal resistance of the device by an order of magnitude and consequently demonstrate an improved responsivity and noise-equivalent-power values of the photodetector, respectively. Our results can be well understood by a series resistance model, as shown by the excellent agreement found between the experimental data and theoretical calculations. These findings are therefore relevant to understand and improve the overall performance of existing high-mobility graphene photodetectors.

Tangible User Interfaces (TUI) for human--computer interaction (HCI) provide the user with physical representations of digital information with the aim to overcome the limitations of screen-based interfaces. Although many compelling demonstrations of TUIs exist in the literature, there is a lack of research on TUIs intended for daily two-handed tasks and processes, such as cooking. In response to this gap, we propose SPICE (Smart Projection Interface for Cooking Enhancement). SPICE investigates TUIs in a kitchen setting, aiming to transform the recipe following experience from simply text-based to tangibly interactive. SPICE includes a tracking system, an agent-based software, and vision large language models to create and interpret a kitchen environment where recipe information is projected directly onto the cooking surface. We conducted a comparative usability study of SPICE and text-based recipe following with 30 participants, assessing the task difficulty, total duration, and efficiency, as well as user confidence and taste perception. The results indicate that SPICE allowed participants to perform the recipe with less stops and in shorter time while also improving self-reported efficiency, confidence, and taste. Despite this, participants self-reported no change in overall difficulty, which is a direction for future research. Overall, the SPICE project demonstrates the potential of using TUIs to improve everyday activities, paving the way for future research in HCI and new computing interfaces., Comment: Article submitted to IUI 2025

The recently derived Fourier--Matsubara expansion of imaginary--time correlation functions comprises an exact result of linear response theory for finite-temperature quantum many-body systems. In its density--density version, the expansion facilitates systematic comparisons between quasi-exact \emph{ab initio} path integral Monte Carlo simulations and approximate dielectric formalism schemes at the level of the imaginary--time (density--density) correlation functions and the dynamic Matsubara local field corrections. On this theoretical basis, the dynamic properties of the quantum version of the Singwi--Tosi--Land--Sj\"olander scheme are analyzed for the paramagnetic warm dense uniform electron gas. The marginal improvement compared to the semi-classical version of the Singwi--Tosi--Land--Sj\"olander scheme is attributed to the weak Matsubara order dependence of the approximate dynamic Matsubara local field correction. The evaluation of the ideal density response function at the non-interacting occupation numbers is identified to constitute a general deficiency of the dielectric formalism, which calls for a reformulation in future works., Comment: 26 pages, 4 figures

Generation and manipulation of randomness is a relevant task for several applications of information technology. It has been shown that quantum mechanics offers some advantages for this type of task. A promising model for randomness manipulation is provided by the Bernoulli factories, protocols capable of changing the bias of Bernoulli random processes in a controlled way. At first, this framework was proposed and investigated in a fully classical regime. Recent extensions of this model to the quantum case showed the possibility of implementing a wider class of randomness manipulation functions. We propose a Bernoulli factory scheme with quantum states as input and output, using a photonic path-encoding approach. Our scheme is modular, universal, and its functioning is truly oblivious of the input bias, characteristics that were missing in earlier work. We report on experimental implementations using an integrated and fully programmable photonic platform, thus demonstrating the viability of our approach. These results open new paths for randomness manipulation with integrated quantum technologies.

Teleoperation of humanoid robots has long been a challenging domain, necessitating advances in both hardware and software to achieve seamless and intuitive control. This paper presents an integrated solution based on several elements: calibration-free motion capture and retargeting, low-latency fast whole-body kinematics streaming toolbox and high-bandwidth cycloidal actuators. Our motion retargeting approach stands out for its simplicity, requiring only 7 IMUs to generate full-body references for the robot. The kinematics streaming toolbox, ensures real-time, responsive control of the robot's movements, significantly reducing latency and enhancing operational efficiency. Additionally, the use of cycloidal actuators makes it possible to withstand high speeds and impacts with the environment. Together, these approaches contribute to a teleoperation framework that offers unprecedented performance. Experimental results on the humanoid robot Nadia demonstrate the effectiveness of the integrated system.

Motivated by the growing use of Artificial Intelligence (AI) tools in control design, this paper takes the first steps towards bridging the gap between results from Direct Gradient methods for the Linear Quadratic Regulator (LQR), and neural networks. More specifically, it looks into the case where one wants to find a Linear Feed-Forward Neural Network (LFFNN) feedback that minimizes a LQR cost. This paper starts by computing the gradient formulas for the parameters of each layer, which are used to derive a key conservation law of the system. This conservation law is then leveraged to prove boundedness and global convergence of solutions to critical points, and invariance of the set of stabilizing networks under the training dynamics. This is followed by an analysis of the case where the LFFNN has a single hidden layer. For this case, the paper proves that the training converges not only to critical points but to the optimal feedback control law for all but a set of measure-zero of the initializations. These theoretical results are followed by an extensive analysis of a simple version of the problem (the ``vector case''), proving the theoretical properties of accelerated convergence and robustness for this simpler example. Finally, the paper presents numerical evidence of faster convergence of the training of general LFFNNs when compared to traditional direct gradient methods, showing that the acceleration of the solution is observable even when the gradient is not explicitly computed but estimated from evaluations of the cost function.

DarkSide-20k (DS-20k) is a dark matter detection experiment under construction at the Laboratori Nazionali del Gran Sasso (LNGS) in Italy. It utilises ~100 t of low radioactivity argon from an underground source (UAr) in its inner detector, with half serving as target in a dual-phase time projection chamber (TPC). The UAr cryogenics system must maintain stable thermodynamic conditions throughout the experiment's lifetime of >10 years. Continuous removal of impurities and radon from the UAr is essential for maximising signal yield and mitigating background. We are developing an efficient and powerful cryogenics system with a gas purification loop with a target circulation rate of 1000 slpm. Central to its design is a condenser operated with liquid nitrogen which is paired with a gas heat exchanger cascade, delivering a combined cooling power of >8 kW. Here we present the design choices in view of the DS-20k requirements, in particular the condenser's working principle and the cooling control, and we show test results obtained with a dedicated benchmarking platform at CERN and LNGS. We find that the thermal efficiency of the recirculation loop, defined in terms of nitrogen consumption per argon flow rate, is 95 % and the pressure in the test cryostat can be maintained within $\pm$(0.1-0.2) mbar. We further detail a 5-day cool-down procedure of the test cryostat, maintaining a cooling rate typically within -2 K/h, as required for the DS-20k inner detector. Additionally, we assess the circuit's flow resistance, and the heat transfer capabilities of two heat exchanger geometries for argon phase change, used to provide gas for recirculation. We conclude by discussing how our findings influence the finalisation of the system design, including necessary modifications to meet requirements and ongoing testing activities., Comment: 45 pages, 24 figures

The DArk Matter In CCDs at Modane (DAMIC-M) experiment is designed to search for light dark matter (m$_{\chi}$<10\,GeV/c$^2$) at the Laboratoire Souterrain de Modane (LSM) in France. DAMIC-M will use skipper charge-coupled devices (CCDs) as a kg-scale active detector target. Its single-electron resolution will enable eV-scale energy thresholds and thus world-leading sensitivity to a range of hidden sector dark matter candidates. A DAMIC-M prototype, the Low Background Chamber (LBC), has been taking data at LSM since 2022. The LBC provides a low-background environment, which has been used to characterize skipper CCDs, study dark current, and measure radiopurity of materials planned for DAMIC-M. It also allows testing of various subsystems like readout electronics, data acquisition software, and slow control. This paper describes the technical design and performance of the LBC.

The novelty of the current work is precisely to propose a statistical procedure to combine estimates of the modal parameters provided by any set of Operational Modal Analysis (OMA) algorithms so as to avoid preference for a particular one and also to derive an approximate joint probability distribution of the modal parameters, from which engineering statistics of interest such as mean value and variance are readily provided. The effectiveness of the proposed strategy is assessed considering measured data from an actual centrifugal compressor. The statistics obtained for both forward and backward modal parameters are finally compared against modal parameters identified during standard stability verification testing (SVT) of centrifugal compressors prior to shipment, using classical Experimental Modal Analysis (EMA) algorithms. The current work demonstrates that combination of OMA algorithms can provide quite accurate estimates for both the modal parameters and the associated uncertainties with low computational costs., Comment: 6 figures

The dual-phase liquid argon time projection chamber is presently one of the leading technologies to search for dark matter particles with masses below 10 GeV/c$^2$. This was demonstrated by the DarkSide-50 experiment with approximately 50 kg of low-radioactivity liquid argon as target material. The next generation experiment DarkSide-20k, currently under construction, will use 1,000 times more argon and is expected to start operation in 2027. Based on the DarkSide-50 experience, here we assess the DarkSide-20k sensitivity to models predicting light dark matter particles, including Weakly Interacting Massive Particles (WIMPs) and sub-GeV/c$^2$ particles interacting with electrons in argon atoms. With one year of data, a sensitivity improvement to dark matter interaction cross-sections by at least one order of magnitude with respect to DarkSide-50 is expected for all these models. A sensitivity to WIMP--nucleon interaction cross-sections below $1\times10^{-42}$ cm$^2$ is achievable for WIMP masses above 800 MeV/c$^2$. With 10 years exposure, the neutrino fog can be reached for WIMP masses around 5 GeV/c$^2$., Comment: 13 pages, 4 figures, supplementary material (4 figures)

Numerical ``direct'' approaches to time-optimal control often fail to find solutions that are singular in the sense of the Pontryagin Maximum Principle, performing better when searching for saturated (bang-bang) solutions. In previous work by one of the authors, singular solutions were shown to exist for the time-optimal control problem for fully actuated mechanical systems under hard torque constraints. Explicit formulas, based on a Lie theoretic analysis of the problem, were given for singular segments of trajectories, but the global structure of solutions remains unknown. In this work, we review the aforementioned framework, and show how to effectively combine these formulas with the use of general-purpose optimal control software packages. By using the explicit formula given by the theory in the intervals where the numerical solution enters a singular arc, we not only obtain an algebraic expression for the control in that interval but we are also able to remove artifacts present in the numerical solution. In this way, the best features of numerical algorithms and theory complement each other and provide a better picture of the global optimal structure. We illustrate the technique on a two degree of freedom robotic arm example, using two distinct optimal control numerical software packages running on different programming languages.

For a linear Hamming metric code of length n over a finite field, the number of distinct weights of its codewords is at most n. The codes achieving the equality in the above bound were called full weight spectrum codes. In this paper we will focus on the analogous class of codes within the framework of cyclic subspace codes. Cyclic subspace codes have garnered significant attention, particularly for their applications in random network coding to correct errors and erasures. We investigate one-orbit cyclic subspace codes that are full weight spectrum in this context. Utilizing number theoretical results and combinatorial arguments, we provide a complete classification of full weight spectrum one-orbit cyclic subspace codes.

Subspace codes have recently been used for error correction in random network coding. In this work, we focus on one-orbit cyclic subspace codes. If $S$ is an $\mathbb{F}_q$-subspace of $\mathbb{F}_{q^n}$, then the one-orbit cyclic subspace code defined by $S$ is \[ \mathrm{Orb}(S)=\{\alpha S \colon \alpha \in \mathbb{F}_{q^n}^*\}, \]where $\alpha S=\lbrace \alpha s \colon s\in S\rbrace$ for any $\alpha\in \mathbb{F}_{q^n}^*$. Few classification results of subspace codes are known, therefore it is quite natural to initiate a classification of cyclic subspace codes, especially in the light of the recent classification of the isometries for cyclic subspace codes. We consider three-dimensional one-orbit cyclic subspace codes, which are divided into three families: the first one containing only $\mathrm{Orb}(\mathbb{F}_{q^3})$; the second one containing the optimum-distance codes; and the third one whose elements are codes with minimum distance $2$. We study inequivalent codes in the latter two families., Comment: Accepted to the 2024 IEEE International Symposium on Information Theory (ISIT 2024)

Experiments aimed at direct searches for WIMP dark matter require highly effective reduction of backgrounds and control of any residual radioactive contamination. In particular, neutrons interacting with atomic nuclei represent an important class of backgrounds due to the expected similarity of a WIMP-nucleon interaction, so that such experiments often feature a dedicated neutron detector surrounding the active target volume. In the context of the development of DarkSide-20k detector at INFN Gran Sasso National Laboratory (LNGS), several R&D projects were conceived and developed for the creation of a new hybrid material rich in both hydrogen and gadolinium nuclei to be employed as an essential element of the neutron detector. Thanks to its very high cross-section for neutron capture, gadolinium is one of the most widely used elements in neutron detectors, while the hydrogen-rich material is instrumental in efficiently moderating the neutrons. In this paper results from one of the R&Ds are presented. In this effort the new hybrid material was obtained as a poly(methyl methacrylate) (PMMA) matrix, loaded with gadolinium oxide in the form of nanoparticles. We describe its realization, including all phases of design, purification, construction, characterization, and determination of mechanical properties of the new material.

The MEMENTO (MEtallic Melt Evolution in Next-step TOkamaks) code is a new numerical implementation of the physics model originally developed for the MEMOS-U code with the objective to self-consistently describe the generation of melt and its subsequent large scale dynamics in fusion devices and to assess the damage of metallic reactor armor under powerful normal and off-normal plasma events. The model has been validated in multiple dedicated EUROfusion experiments. MEMENTO solves the heat and phase transfer problem coupled with the incompressible Navier-Stokes equations in the shallow water approximation for the thin liquid film over the solid metal and with the current propagation equations on a domain that features a time-evolving deforming metal-plasma interface. The code utilizes non-uniform and adaptive meshing along with sub-cycling in time facilitated by the AMReX open-source framework as well as AMReX's built-in parallelization capabilities., Comment: 15 pages, 12 figures

The standard approach to test for deviations from general relativity on cosmological scales is to combine measurements of the growth rate of structure with gravitational lensing. In this study, we show that this method suffers from an important limitation with regard to these two probes: models of dark matter with additional interactions can lead to the very same observational signatures found in modified gravity and vice versa. Using synthetic data of redshift-space distortions, weak lensing, and cosmic microwave background, we demonstrate that this degeneracy is inevitable between modifications of gravity and a dark fifth force. We then show that the coming generation of surveys, in particular the Square Kilometre Array, will allow us to break the degeneracy between such models through measurements of gravitational redshift. Performing a Markov chain Monte Carlo analysis of the synthetic dataset, we quantify the extent to which gravitational redshift can distinguish between two representative classes of models, generalized Brans-Dicke (modified gravity) and coupled quintessence (fifth force)., Comment: 11 pages, 4 figures; inclusion of Figure 4 and minor changes in v2 to match version in press on Physical Review D

Virtual Reality (VR) has emerged as a promising tool for enhancing social skills and emotional well-being in individuals with Autism Spectrum Disorder (ASD). Through a technical exploration, this study employs a multiplayer serious gaming environment within VR, engaging 34 individuals diagnosed with ASD and employing high-precision biosensors for a comprehensive view of the participants' arousal and responses during the VR sessions. Participants were subjected to a series of 3 virtual scenarios designed in collaboration with stakeholders and clinical experts to promote socio-cognitive skills and emotional regulation in a controlled and structured virtual environment. We combined the framework with wearable non-invasive sensors for bio-signal acquisition, focusing on the collection of heart rate variability, and respiratory patterns to monitor participants behaviors. Further, behavioral assessments were conducted using observation and semi-structured interviews, with the data analyzed in conjunction with physiological measures to identify correlations and explore digital-intervention efficacy. Preliminary analysis revealed significant correlations between physiological responses and behavioral outcomes, indicating the potential of physiological feedback to enhance VR-based interventions for ASD. The study demonstrated the feasibility of using real-time data to adapt virtual scenarios, suggesting a promising avenue to support personalized therapy. The integration of quantitative physiological feedback into digital platforms represents a forward step in the personalized intervention for ASD. By leveraging real-time data to adjust therapeutic content, this approach promises to enhance the efficacy and engagement of digital-based therapies., Comment: 19 pages, 6 figures

The devices designed for the Internet-of-Things encompass a large variety of distinct processor architectures, forming a highly heterogeneous zoo. In order to tackle this, we employ a simulator to estimate the performance of the matrix-matrix multiplication (GEMM) kernel on processors designed to operate at the edge. Our simulator adheres to the modern implementations of GEMM, advocated by GotoBLAS2, BLIS, OpenBLAS, etc., to carefully account for the amount of data transfers across the memory hierarchy of different algorithmic variants of the kernel. %Armed with this tool, A small collection of experiments provide the necessary data to calibrate the simulator and deliver highly accurate estimations of the execution time for a given processor architecture., Comment: 12 pages, 2 Tables, 6 Figures

In many particle physics experiments the data processing is based on the analysis of the digitized waveforms provided by the detector. While the waveform amplitude is usually correlated to the event energy, the shape may carry useful information for event discrimination. Thanks to the high signal to noise ratio they provide, matched filters are often applied. Their original design is however intended for the estimation of the waveform amplitude only. In this work we introduce an analytical extension of the original matched filter for the estimation of a possible shape deformation with respect to a reference template. The new filter is validated on simulations and, with respect to shape parameters calculated on unfiltered waveforms or derived from the original matched filter, it improves the discrimination capability by at least a factor 2 both at low and high signal to noise ratios, making it applicable to the data of several experiments., Comment: 10 pages, 5 figures

The finite temperature version of the Vashishta-Singwi (VS) dielectric scheme for the paramagnetic warm dense uniform electron fluid is revisited correcting for an earlier thermodynamic derivative error. The VS scheme handles quantum mechanical effects at the level of the random phase approximation and treats correlations via the density expansion of a generalized Singwi-Tosi-Land-Sj\"olander (STLS) closure that inserts a parameter determined by enforcing the compressibility sum rule. Systematic comparison with quasi-exact results, based on quantum Monte Carlo simulations, reveals a structural superiority of the VS scheme towards strong coupling and a thermodynamic superiority of the STLS scheme courtesy of a favorable cancellation of errors. Guidelines are provided for the construction of dielectric schemes that are expected to be more accurate but computationally costly., Comment: 24 pages, 16 figures, 2 tables

Frequency-selective or even frequency-tunable Terahertz (THz) photodevices are critical components for many technological applications that require nanoscale manipulation, control and confinement of light. Within this context, gate-tunable phototransistors based on plasmonic resonances are often regarded as the most promising devices for frequency-selective detection of THz fields. The exploitation of constructive interference of plasma waves in such detectors not only promises frequency selectivity, but also a pronounced sensitivity enhancement at the target frequencies. However, clear signatures of plasmon-assisted resonances in THz detectors have been only revealed at cryogenic temperatures so far, and remain unobserved at application-relevant room-temperature conditions. In this work, we demonstrate the sought-after room-temperature resonant detection of THz radiation in short-channel gated photodetectors made from high-quality single-layer graphene. The survival of this intriguing resonant regime at room-temperature ultimately relies on the weak intrinsic electron-phonon scattering in graphene, which avoids the damping of the plasma oscillations.

Sidon spaces have been introduced by Bachoc, Serra and Z\'emor as the $q$-analogue of Sidon sets, classical combinatorial objects introduced by Simon Szidon. In 2018 Roth, Raviv and Tamo introduced the notion of $r$-Sidon spaces, as an extension of Sidon spaces, which may be seen as the $q$-analogue of $B_r$-sets, a generalization of classical Sidon sets. Thanks to their work, the interest on Sidon spaces has increased quickly because of their connection with cyclic subspace codes they pointed out. This class of codes turned out to be of interest since they can be used in random linear network coding. In this work we focus on a particular class of them, the one-orbit cyclic subspace codes, through the investigation of some properties of Sidon spaces and $r$-Sidon spaces, providing some upper and lower bounds on the possible dimension of their \textit{r-span} and showing explicit constructions in the case in which the upper bound is achieved. Moreover, we provide further constructions of $r$-Sidon spaces, arising from algebraic and combinatorial objects, and we show examples of $B_r$-sets constructed by means of them.

Upcoming galaxy surveys provide the necessary sensitivity to measure gravitational redshift, a general relativistic effect that generates a dipole in galaxy clustering data when correlating two distinct populations of galaxies. Here, we study the constraining power of gravitational redshift within the framework of the effective theory of interacting dark energy. This formalism describes linear cosmological perturbations in scalar-tensor theories of gravity with a limited number of free functions, and allows each particle species to be coupled differently to the gravitational sector. In this work, we focus on Horndeski theories with a non-minimal coupling of dark matter to the scalar degree of freedom, yielding a breaking of the weak equivalence principle for this cosmic component, a scenario that is yet untested. We show that the dipole generated by gravitational redshift significantly breaks degeneracies and tightens the constraints on the parameters of the effective theory compared to the standard redshift-space distortion analysis solely based on the even multipoles in the galaxy correlation function, with an improvement of up to $\sim 50\%$ for populations with a galaxy bias difference equal to 1. We make the Python package EF-TIGRE (Effective Field Theory of Interacting dark energy with Gravitational REdshift) developed for this work publicly available., Comment: 24+6 pages, 5+4 figures, code available at https://github.com/Mik3M4n/EF-TIGRE. v2 matches version in press on JCAP

We explore the utilization of the Apache TVM open source framework to automatically generate a family of algorithms that follow the approach taken by popular linear algebra libraries, such as GotoBLAS2, BLIS and OpenBLAS, in order to obtain high-performance blocked formulations of the general matrix multiplication (GEMM). % In addition, we fully automatize the generation process, by also leveraging the Apache TVM framework to derive a complete variety of the processor-specific micro-kernels for GEMM. This is in contrast with the convention in high performance libraries, which hand-encode a single micro-kernel per architecture using Assembly code. % In global, the combination of our TVM-generated blocked algorithms and micro-kernels for GEMM 1)~improves portability, maintainability and, globally, streamlines the software life cycle; 2)~provides high flexibility to easily tailor and optimize the solution to different data types, processor architectures, and matrix operand shapes, yielding performance on a par (or even superior for specific matrix shapes) with that of hand-tuned libraries; and 3)~features a small memory footprint., Comment: 35 pages, 22 figures. Submitted to ACM TOMS

The optimization of the matrix multiplication (or GEMM) has been a need during the last decades. This operation is considered the flagship of current linear algebra libraries such as BLIS, OpenBLAS, or Intel OneAPI because of its widespread use in a large variety of scientific applications. The GEMM is usually implemented following the GotoBLAS philosophy, which tiles the GEMM operands and uses a series of nested loops for performance improvement. These approaches extract the maximum computational power of the architectures through small pieces of hardware-oriented, high-performance code called micro-kernel. However, this approach forces developers to generate, with a non-negligible effort, a dedicated micro-kernel for each new hardware. In this work, we present a step-by-step procedure for generating micro-kernels with the Exo compiler that performs close to (or even better than) manually developed microkernels written with intrinsic functions or assembly language. Our solution also improves the portability of the generated code, since a hardware target is fully specified by a concise library-based description of its instructions., Comment: 11 pages, 18 figures. Presented at CGO 2024. It includes a software artifact step-by-step execution

Rare-event search experiments located on-surface, such as short-baseline reactor neutrino experiments, are often limited by muon-induced background events. Highly efficient muon vetos are essential to reduce the detector background and to reach the sensitivity goals. We demonstrate the feasibility of deploying organic plastic scintillators at sub-Kelvin temperatures. For the NUCLEUS experiment, we developed a cryogenic muon veto equipped with wavelength shifting fibers and a silicon photo multiplier operating inside a dilution refrigerator. The achievable compactness of cryostat-internal integration is a key factor in keeping the muon rate to a minimum while maximizing coverage. The thermal and light output properties of a plastic scintillation detector were examined. We report first data on the thermal conductivity and heat capacity of the polystyrene-based scintillator UPS-923A over a wide range of temperatures extending below one Kelvin. The light output was measured down to 0.8K and observed to increase by a factor of 1.61$\pm$0.05 compared to 300K. The development of an organic plastic scintillation muon veto operating in sub-Kelvin temperature environments opens new perspectives for rare-event searches with cryogenic detectors at sites lacking substantial overburden.

Charge-coupled devices (CCDs) are a leading technology in direct dark matter searches because of their eV-scale energy threshold and high spatial resolution. The sensitivity of future CCD experiments could be enhanced by distinguishing nuclear recoil signals from electronic recoil backgrounds in the CCD silicon target. We present a technique for event-by-event identification of nuclear recoils based on the spatial correlation between the primary ionization event and the lattice defect left behind by the recoiling atom, later identified as a localized excess of leakage current under thermal stimulation. By irradiating a CCD with an $^{241}$Am$^{9}$Be neutron source, we demonstrate $>93\%$ identification efficiency for nuclear recoils with energies $>150$ keV, where the ionization events were confirmed to be nuclear recoils from topology. The technique remains fully efficient down to 90 keV, decreasing to 50$\%$ at 8 keV, and reaching ($6\pm2$)$\%$ at 1.5--3.5 keV. Irradiation with a $^{24}$Na $\gamma$-ray source shows no evidence of defect generation by electronic recoils, with the fraction of electronic recoils with energies $<85$ keV that are spatially correlated with defects $<0.1$$\%$., Comment: 9 pages, 7 figures

We present the first continuous operation in a surface lab of BULLKID, a detector for searches of light Dark Matter and precision measurements of the coherent and elastic neutrino-nucleus scattering. The detector consists of an array of 60 cubic silicon particle absorbers of 0.34 g each, sensed by cryogenic kinetic inductance detectors. The data presented focusses on one of the central elements of the array and on its surrounding elements used as veto. The energy spectrum resulting from an exposure of 39 hours to ambient backgrounds, obtained without radiation shields, is flat at the level of $(2.0\pm0.1\,{\rm stat.}\pm0.2\,{\rm syst.})\times10^6$ counts / keV kg days down to the energy threshold of $160\pm13$ eV. The data analysis demonstrates the unique capability of rejecting backgrounds generated from interactions in other sites of the array, stemming from the segmented and monolithic structure of the detector.