Showing 1–50 of 121 results for author: Joseph, M

Optimizing Binary and Ternary Neural Network Inference on RRAM Crossbars using CIM-Explorer

Authors: Rebecca Pelke, José Cubero-Cascante, Nils Bosbach, Niklas Degener, Florian Idrizi, Lennart M. Reimann, Jan Moritz Joseph, Rainer Leupers

Abstract: Using Resistive Random Access Memory (RRAM) crossbars in Computing-in-Memory (CIM) architectures offers a promising solution to overcome the von Neumann bottleneck. Due to non-idealities like cell variability, RRAM crossbars are often operated in binary mode, utilizing only two states: Low Resistive State (LRS) and High Resistive State (HRS). Binary Neural Networks (BNNs) and Ternary Neural Networ… ▽ More Using Resistive Random Access Memory (RRAM) crossbars in Computing-in-Memory (CIM) architectures offers a promising solution to overcome the von Neumann bottleneck. Due to non-idealities like cell variability, RRAM crossbars are often operated in binary mode, utilizing only two states: Low Resistive State (LRS) and High Resistive State (HRS). Binary Neural Networks (BNNs) and Ternary Neural Networks (TNNs) are well-suited for this hardware due to their efficient mapping. Existing software projects for RRAM-based CIM typically focus on only one aspect: compilation, simulation, or Design Space Exploration (DSE). Moreover, they often rely on classical 8 bit quantization. To address these limitations, we introduce CIM-Explorer, a modular toolkit for optimizing BNN and TNN inference on RRAM crossbars. CIM-Explorer includes an end-to-end compiler stack, multiple mapping options, and simulators, enabling a DSE flow for accuracy estimation across different crossbar parameters and mappings. CIM-Explorer can accompany the entire design process, from early accuracy estimation for specific crossbar parameters, to selecting an appropriate mapping, and compiling BNNs and TNNs for a finalized crossbar chip. In DSE case studies, we demonstrate the expected accuracy for various mappings and crossbar parameters. CIM-Explorer can be found on GitHub. △ Less

Submitted 20 May, 2025; originally announced May 2025.

Evaluating the Scalability of Binary and Ternary CNN Workloads on RRAM-based Compute-in-Memory Accelerators

Authors: José Cubero-Cascante, Rebecca Pelke, Noah Flohr, Arunkumar Vaidyanathan, Rainer Leupers, Jan Moritz Joseph

Abstract: The increasing computational demand of Convolutional Neural Networks (CNNs) necessitates energy-efficient acceleration strategies. Compute-in-Memory (CIM) architectures based on Resistive Random Access Memory (RRAM) offer a promising solution by reducing data movement and enabling low-power in-situ computations. However, their efficiency is limited by the high cost of peripheral circuits, particul… ▽ More The increasing computational demand of Convolutional Neural Networks (CNNs) necessitates energy-efficient acceleration strategies. Compute-in-Memory (CIM) architectures based on Resistive Random Access Memory (RRAM) offer a promising solution by reducing data movement and enabling low-power in-situ computations. However, their efficiency is limited by the high cost of peripheral circuits, particularly Analog-to-Digital Converters (ADCs). Large crossbars and low ADC resolutions are often used to mitigate this, potentially compromising accuracy. This work introduces novel simulation methods to model the impact of resistive wire parasitics and limited ADC resolution on RRAM crossbars. Our parasitics model employs a vectorised algorithm to compute crossbar output currents with errors below 0.15% compared to SPICE. Additionally, we propose a variable step-size ADC and a calibration methodology that significantly reduces ADC resolution requirements. These accuracy models are integrated with a statistics-based energy model. Using our framework, we conduct a comparative analysis of binary and ternary CNNs. Experimental results demonstrate that the ternary CNNs exhibit greater resilience to wire parasitics and lower ADC resolution but suffer a 40% reduction in energy efficiency. These findings provide valuable insights for optimising RRAM-based CIM accelerators for energy-efficient deep learning. △ Less

Submitted 26 May, 2025; v1 submitted 12 May, 2025; originally announced May 2025.

Comments: PREPRINT - Accepted at the 2025 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2025)

On dissociated infinite permutation groups

Authors: Rémi Barritault, Colin Jahel, Matthieu Joseph

Abstract: The goal of this paper is threefold. First, we describe the notion of dissociation for closed subgroups of the group of permutations on a countably infinite set and explain its numerous consequences on unitary representations (classification of unitary representations, Property (T), Howe-Moore property, etc.) and on ergodic actions (non-existence of type III non-singular actions, Stabilizer rigidi… ▽ More The goal of this paper is threefold. First, we describe the notion of dissociation for closed subgroups of the group of permutations on a countably infinite set and explain its numerous consequences on unitary representations (classification of unitary representations, Property (T), Howe-Moore property, etc.) and on ergodic actions (non-existence of type III non-singular actions, Stabilizer rigidity, etc.). Some of the results presented here are new, others were proved in different contexts. Second, we introduce a new method to prove dissociation. It is based on a reinforcement of the classical notion of strong amalgamation, where we allow to amalgamate over countable sets. Third, we apply this technique of amalgamation to provide new examples of dissociated closed permutation groups, including isometry groups of some metrically homogeneous graphs, automorphism groups of diversities, and more. △ Less

Submitted 18 April, 2025; originally announced April 2025.

Comments: 34 pages

MSC Class: Primary: 22A25; 22F50. Secondary: 37A15; 60G09

Approximate Differential Privacy of the $\ell_2$ Mechanism

Authors: Matthew Joseph, Alex Kulesza, Alexander Yu

Abstract: We study the $\ell_2$ mechanism for computing a $d$-dimensional statistic with bounded $\ell_2$ sensitivity under approximate differential privacy. Across a range of privacy parameters, we find that the $\ell_2$ mechanism obtains lower error than the Laplace and Gaussian mechanisms, matching the former at $d=1$ and approaching the latter as $d \to \infty$. We study the $\ell_2$ mechanism for computing a $d$-dimensional statistic with bounded $\ell_2$ sensitivity under approximate differential privacy. Across a range of privacy parameters, we find that the $\ell_2$ mechanism obtains lower error than the Laplace and Gaussian mechanisms, matching the former at $d=1$ and approaching the latter as $d \to \infty$. △ Less

Submitted 21 February, 2025; originally announced February 2025.

Improving Energy Efficiency in Manufacturing: A Novel Expert System Shell

Authors: Borys Ioshchikhes, Michael Frank, Tresa Maria Joseph, Matthias Weigold

Abstract: Expert systems are effective tools for automatically identifying energy efficiency potentials in manufacturing, thereby contributing significantly to global climate targets. These systems analyze energy data, pinpoint inefficiencies, and recommend optimizations to reduce energy consumption. Beyond systematic approaches for developing expert systems, there is a pressing need for simple and rapid so… ▽ More Expert systems are effective tools for automatically identifying energy efficiency potentials in manufacturing, thereby contributing significantly to global climate targets. These systems analyze energy data, pinpoint inefficiencies, and recommend optimizations to reduce energy consumption. Beyond systematic approaches for developing expert systems, there is a pressing need for simple and rapid software implementation solutions. Expert system shells, which facilitate the swift development and deployment of expert systems, are crucial tools in this process. They provide a template that simplifies the creation and integration of expert systems into existing manufacturing processes. This paper provides a comprehensive comparison of existing expert system shells regarding their suitability for improving energy efficiency, highlighting significant gaps and limitations. To address these deficiencies, we introduce a novel expert system shell, implemented in Jupyter Notebook, that provides a flexible and easily integrable solution for expert system development. △ Less

Submitted 2 November, 2024; originally announced November 2024.

Comments: 6 pages, 3 figures, preprint for conference contribution

Privately Counting Partially Ordered Data

Authors: Matthew Joseph, Mónica Ribero, Alexander Yu

Abstract: We consider differentially private counting when each data point consists of $d$ bits satisfying a partial order. Our main technical contribution is a problem-specific $K$-norm mechanism that runs in time $O(d^2)$. Experiments show that, depending on the partial order in question, our solution dominates existing pure differentially private mechanisms, and can reduce their error by an order of magn… ▽ More We consider differentially private counting when each data point consists of $d$ bits satisfying a partial order. Our main technical contribution is a problem-specific $K$-norm mechanism that runs in time $O(d^2)$. Experiments show that, depending on the partial order in question, our solution dominates existing pure differentially private mechanisms, and can reduce their error by an order of magnitude or more. △ Less

Submitted 9 October, 2024; originally announced October 2024.

Bosonic Quantum Computational Complexity

Authors: Ulysse Chabaud, Michael Joseph, Saeed Mehraban, Arsalan Motamedi

Abstract: Quantum computing involving physical systems with continuous degrees of freedom, such as the quantum states of light, has recently attracted significant interest. However, a well-defined quantum complexity theory for these bosonic computations over infinite-dimensional Hilbert spaces is missing. In this work, we lay foundations for such a research program. We introduce natural complexity classes a… ▽ More Quantum computing involving physical systems with continuous degrees of freedom, such as the quantum states of light, has recently attracted significant interest. However, a well-defined quantum complexity theory for these bosonic computations over infinite-dimensional Hilbert spaces is missing. In this work, we lay foundations for such a research program. We introduce natural complexity classes and problems based on bosonic generalizations of BQP, the local Hamiltonian problem, and QMA. We uncover several relationships and subtle differences between standard Boolean classical and discrete variable quantum complexity classes and identify outstanding open problems. In particular: 1. We show that the power of quadratic (Gaussian) quantum dynamics is equivalent to the class BQL. More generally, we define classes of continuous-variable quantum polynomial time computations with a bounded probability of error based on higher-degree gates. Due to the infinite dimensional Hilbert space, it is not a priori clear whether a decidable upper bound can be obtained for these classes. We identify complete problems for these classes and demonstrate a BQP lower and EXPSPACE upper bound. We further show that the problem of computing expectation values of polynomial bosonic observables is in PSPACE. 2. We prove that the problem of deciding the boundedness of the spectrum of a bosonic Hamiltonian is co-NP-hard. Furthermore, we show that the problem of finding the minimum energy of a bosonic Hamiltonian critically depends on the non-Gaussian stellar rank of the family of energy-constrained states one optimizes over: for constant stellar rank, it is NP-complete; for polynomially-bounded rank, it is in QMA; for unbounded rank, it is undecidable. △ Less

Submitted 5 October, 2024; originally announced October 2024.

Unitary Representations of the Isometry Groups of Urysohn Spaces

Authors: Rémi Barritault, Colin Jahel, Matthieu Joseph

Abstract: We obtain a complete classification of the continuous unitary representations of the isometry group of the rational Urysohn space $\mathbb{Q}\mathbb{U}$. As a consequence, we show that Isom$(\mathbb{Q}\mathbb{U})$ has property (T). We also derive several ergodic theoretic consequences from this classification: $(i)$ every probability measure-preserving action of Isom$(\mathbb{Q}\mathbb{U})$ is eit… ▽ More We obtain a complete classification of the continuous unitary representations of the isometry group of the rational Urysohn space $\mathbb{Q}\mathbb{U}$. As a consequence, we show that Isom$(\mathbb{Q}\mathbb{U})$ has property (T). We also derive several ergodic theoretic consequences from this classification: $(i)$ every probability measure-preserving action of Isom$(\mathbb{Q}\mathbb{U})$ is either essentially free or essentially transitive, $(ii)$ every ergodic Isom$(\mathbb{Q}\mathbb{U})$-invariant probability measure on $[0,1]^{\mathbb{Q}\mathbb{U}}$ is a product measure. We obtain the same results for isometry groups of variations of $\mathbb{Q}\mathbb{U}$, such as the rational Urysohn sphere $\mathbb{Q}\mathbb{U}_1$, the integral Urysohn space $\mathbb{Z}\mathbb{U}$, etc. △ Less

Submitted 2 October, 2024; originally announced October 2024.

Pan-African Citizen Science e-Lab: An Emerging Online Platform for Astronomy Research, Education and Outreach in Africa

Authors: Miracle Chibuzor Marcel, Kassamba Abdel Aziz Diaby, Meryem Guennoun, Betty Rose Nabifo, Mohamed Elattar, Andoniaina Rajaonarivelo, Privatus Pius, Molly Nkamogelang Kgobathe, Immanuel Luis, Sigrid Shilunga, Nejmeddine Etteyeb, Keketso Qhomane, Samuel Nyangi, Tresford Chilufya Kalunga, Nunes Alfredo Assano, Edson Domingos Jequecene, Mafuka Lusala Joseph, Esaenwi Sudum, Jorbedom Leelabari Gerald, Christopher Tombe Louis Gore, Kareem Waleed Hosny, Nagat Yasser, Jocelyn Franck, Mamoudou Kourouma, Baboucarr Bobb , et al. (48 additional authors not shown)

Abstract: Citizen science offers an opportunity for ordinary people, known as citizen scientists or citizen astronomers in the context of astronomy, to contribute to scientific research. The Pan-African Citizen Science e-Lab (PACS e-Lab) was founded to promote and engage the African public in citizen science and soft astronomy research to advance space research and exploration and enhance space education an… ▽ More Citizen science offers an opportunity for ordinary people, known as citizen scientists or citizen astronomers in the context of astronomy, to contribute to scientific research. The Pan-African Citizen Science e-Lab (PACS e-Lab) was founded to promote and engage the African public in citizen science and soft astronomy research to advance space research and exploration and enhance space education and outreach. PACS e-Lab, in collaboration with several international astronomy research, education, and outreach organizations, currently runs several projects including but not limited to asteroid search, exoplanet photometry, research writing for peer-reviewed publications, astrophoto visual development, and Amateur Radio contact with astronauts aboard the International Space Station (ARISS). Despite several challenges, the group has engaged over 600 Africans from more than 40 countries and is working towards covering the entire continent in the future. PACS e-Lab's development efforts resonate with seven United Nations Sustainable Development Goals (UN-SDGs). △ Less

Submitted 6 August, 2024; originally announced August 2024.

Comments: 32 pages,17 figures, 2 Tables

Pan-African Asteroid Search Campaign: Africa's Contribution to Planetary Defense

Authors: Miracle Chibuzor Marcel, Kassamba Abdel Aziz Diaby, Meryem Guennoun, Betty Rose Nabifo, Mohamed Elattar, Andoniaina Rajaonarivelo, Privatus Pius, Molly Nkamogelang Kgobathe, Immanuel Luis, Sigrid Shilunga, Nejmeddine Etteyeb, Keketso Qhomane, Samuel Nyangi, Tresford Chilufya Kalunga, Nunes Alfredo Assano, Edson Domingos Jequecene, Mafuka Lusala Joseph, Esaenwi Sudum, Jorbedom Leelabari Gerald, Christopher Tombe Louis Gore, Kareem Waleed Hosny, Nagat Yasser, Jocelyn Franck, Mamoudou Kourouma, Baboucarr Bobb , et al. (48 additional authors not shown)

Abstract: Asteroid search is a global effort for planetary defense. The International Astronomical Search Collaboration (IASC) is the leading global educational outreach program that provides high-quality astronomical datasets to citizen scientists to discover asteroids. Since December 4, 2020, the Pan-African Citizen Science e-Lab (PACS e-Lab) has been IASC's biggest partner on the continent in recruiting… ▽ More Asteroid search is a global effort for planetary defense. The International Astronomical Search Collaboration (IASC) is the leading global educational outreach program that provides high-quality astronomical datasets to citizen scientists to discover asteroids. Since December 4, 2020, the Pan-African Citizen Science e-Lab (PACS e-Lab) has been IASC's biggest partner on the continent in recruiting and training citizen scientists in asteroid search endeavors. Over 30 asteroids have been discovered by 60 citizen scientists. About 595 citizen scientists from over 40 countries have been engaged in the project up to the time of composing this literature. The group is set to expand its endeavors to the rest of the continent and aims to engage thousands of citizen scientists. △ Less

Submitted 6 August, 2024; originally announced August 2024.

Comments: 16 pages, 10 figures, 5 Tables

Stepping into the Forest: Confronting Interacting Radiation Models for the Hubble Tension with Lyman-$α$ Data

Authors: Hengameh Bagherian, Melissa Joseph, Martin Schmaltz, Eashwar N. Sivarajan

Abstract: Models of interacting dark radiation have been shown to alleviate the Hubble tension. Extensions incorporating a coupling between dark matter and dark radiation (DM-DR) have been proposed as combined solutions to both the Hubble and $S_8$ tensions. A key feature of these extended models is a break in the matter power spectrum (MPS), suppressing power for modes that enter the horizon before the DM-… ▽ More Models of interacting dark radiation have been shown to alleviate the Hubble tension. Extensions incorporating a coupling between dark matter and dark radiation (DM-DR) have been proposed as combined solutions to both the Hubble and $S_8$ tensions. A key feature of these extended models is a break in the matter power spectrum (MPS), suppressing power for modes that enter the horizon before the DM-DR interactions turn off. In scenarios with a massless mediator, modes that enter before matter-radiation equality get suppressed, whereas for massive mediators, the break is determined by the mediator mass, a free parameter. In this work, we test these models against probes of LSS: weak lensing, CMB lensing, full-shape galaxy clustering, and eBOSS measurements of the 1D Ly$α\,$ forest flux power spectrum. The latter are the most constraining since they probe small scales where many models predict the largest deviations. In fact, already within $Λ{\rm CDM}\,$, the eBOSS Ly$α\,$ data are in significant tension with Planck CMB data, with the Ly$α\,$ data preferring a steeper slope of the MPS at $k \sim h \mathrm{Mpc}^{-1}$. We find that the simplest dark radiation models, which improve the Hubble tension, worsen the fit to the Ly$α\,$ data. However, models with DM-DR interactions can simultaneously address both tensions. △ Less

Submitted 11 June, 2024; v1 submitted 27 May, 2024; originally announced May 2024.

Comments: 22 pages, 15 figures, 8 tables. Minor typo fixed in tables and plots

A Calibratable Model for Fast Energy Estimation of MVM Operations on RRAM Crossbars

Authors: José Cubero-Cascante, Arunkumar Vaidyanathan, Rebecca Pelke, Lorenzo Pfeifer, Rainer Leupers, Jan Moritz Joseph

Abstract: The surge in AI usage demands innovative power reduction strategies. Novel Compute-in-Memory (CIM) architectures, leveraging advanced memory technologies, hold the potential for significantly lowering energy consumption by integrating storage with parallel Matrix-Vector-Multiplications (MVMs). This study addresses the 1T1R RRAM crossbar, a core component in numerous CIM architectures. We introduce… ▽ More The surge in AI usage demands innovative power reduction strategies. Novel Compute-in-Memory (CIM) architectures, leveraging advanced memory technologies, hold the potential for significantly lowering energy consumption by integrating storage with parallel Matrix-Vector-Multiplications (MVMs). This study addresses the 1T1R RRAM crossbar, a core component in numerous CIM architectures. We introduce an abstract model and a calibration methodology for estimating operational energy. Our tool condenses circuit-level behaviour into a few parameters, facilitating energy assessments for DNN workloads. Validation against low-level SPICE simulations demonstrates speedups of up to 1000x and energy estimations with errors below 1%. △ Less

Submitted 13 May, 2024; v1 submitted 7 May, 2024; originally announced May 2024.

Comments: Pre-print of work presented at AICAS 2024. 5 pages, 6 figures

ACM Class: C.3; I.2; I.6

A Fully Automated Platform for Evaluating ReRAM Crossbars

Authors: Rebecca Pelke, Felix Staudigl, Niklas Thomas, Nils Bosbach, Mohammed Hossein, Jose Cubero-Cascante, Leticia Bolzani Poehls, Rainer Leupers, Jan Moritz Joseph

Abstract: Resistive Random Access Memory (ReRAM) is a promising candidate for implementing Computing-in-Memory (CIM) architectures and neuromorphic circuits. ReRAM cells exhibit significant variability across different memristive devices and cycles, necessitating further improvements in the areas of devices, algorithms, and applications. To achieve this, understanding the stochastic behavior of the differen… ▽ More Resistive Random Access Memory (ReRAM) is a promising candidate for implementing Computing-in-Memory (CIM) architectures and neuromorphic circuits. ReRAM cells exhibit significant variability across different memristive devices and cycles, necessitating further improvements in the areas of devices, algorithms, and applications. To achieve this, understanding the stochastic behavior of the different ReRAM technologies is essential. The NeuroBreakoutBoard (NBB) is a versatile instrumentation platform to characterize Non-Volatile Memories (NVMs). However, the NBB itself does not provide any functionality in the form of software or a controller. In this paper, we present a control board for the NBB able to perform reliability assessments of 1T1R ReRAM crossbars. In more detail, an interface that allows a host PC to communicate with the NBB via the new control board is implemented. In a case study, we analyze the Cycle-to-Cycle (C2C) variation and read disturb TiN/Ti/HfO2/TiN cells for different read voltages to gain an understanding of their operational behavior. △ Less

Submitted 20 March, 2024; originally announced March 2024.

Simultaneous X-ray and optical variability of M dwarfs observed with eROSITA and TESS

Authors: W. M. Joseph, B. Stelzer, E. Magaudda, T. Vičánek Martínez

Abstract: We study variability through simultaneous optical and X-ray observations for the first time in a statistical sample of 256 M dwarfs. Such observations are required to constrain the flare frequency and energetics and to understand the physics of flares. Using light curves from extended ROentgen Survey with an Imaging Telescope Array (eROSITA) on board the Russian Spektrum-Roentgen-Gamma mission (SR… ▽ More We study variability through simultaneous optical and X-ray observations for the first time in a statistical sample of 256 M dwarfs. Such observations are required to constrain the flare frequency and energetics and to understand the physics of flares. Using light curves from extended ROentgen Survey with an Imaging Telescope Array (eROSITA) on board the Russian Spektrum-Roentgen-Gamma mission (SRG) and the Transiting Exoplanet Survey Satellite (TESS), we identify 256 M dwarfs with simultaneous detections. The 25 brightest or most variable in X-rays are selected. Stellar parameters are obtained from Gaia and 2MASS, while X-ray fluxes are derived from eROSITA count rates. Proximity (<100 pc), fast rotation (P_rot < 9 d), and high flare frequency characterize our sample. Optical and X-ray duty cycles correlate positively, with faster rotators exhibiting more variability. Stars with frequent X-ray flares often coincide with optical flares. Analyzing individual X-ray flares is hindered by eROSITA's low cadence, mitigated by leveraging TESS optical flares and solar flare knowledge. An exponential fit to 21 X-ray light curves post-optical flares reveals a correlation between X-ray and optical flare energies. Despite uncertainties due to poor eROSITA sampling, our study underscores the significance of simultaneous all-sky surveys in diverse wavelengths for unprecedented insights into stellar variability. △ Less

Submitted 30 January, 2024; originally announced January 2024.

Journal ref: A&A 688, A49 (2024)

The SRG/eROSITA all-sky survey: First X-ray catalogues and data release of the western Galactic hemisphere

Authors: A. Merloni, G. Lamer, T. Liu, M. E. Ramos-Ceja, H. Brunner, E. Bulbul, K. Dennerl, V. Doroshenko, M. J. Freyberg, S. Friedrich, E. Gatuzz, A. Georgakakis, F. Haberl, Z. Igo, I. Kreykenbohm, A. Liu, C. Maitra, A. Malyali, M. G. F. Mayer, K. Nandra, P. Predehl, J. Robrade, M. Salvato, J. S. Sanders, I. Stewart , et al. (120 additional authors not shown)

Abstract: The eROSITA telescope array aboard the Spektrum Roentgen Gamma (SRG) satellite began surveying the sky in December 2019, with the aim of producing all-sky X-ray source lists and sky maps of an unprecedented depth. Here we present catalogues of both point-like and extended sources using the data acquired in the first six months of survey operations (eRASS1; completed June 2020) over the half sky wh… ▽ More The eROSITA telescope array aboard the Spektrum Roentgen Gamma (SRG) satellite began surveying the sky in December 2019, with the aim of producing all-sky X-ray source lists and sky maps of an unprecedented depth. Here we present catalogues of both point-like and extended sources using the data acquired in the first six months of survey operations (eRASS1; completed June 2020) over the half sky whose proprietary data rights lie with the German eROSITA Consortium. We describe the observation process, the data analysis pipelines, and the characteristics of the X-ray sources. With nearly 930000 entries detected in the most sensitive 0.2-2.3 keV energy range, the eRASS1 main catalogue presented here increases the number of known X-ray sources in the published literature by more than 60%, and provides a comprehensive inventory of all classes of X-ray celestial objects, covering a wide range of physical processes. A smaller catalogue of 5466 sources detected in the less sensitive but harder 2.3-5 keV band is the result of the first true imaging survey of the entire sky above 2 keV. We show that the number counts of X-ray sources in eRASS1 are consistent with those derived over narrower fields by past X-ray surveys of a similar depth, and we explore the number counts variation as a function of the location in the sky. Adopting a uniform all-sky flux limit (at 50% completeness) of F_{0.5-2 keV} > 5 \times 10^{-14}$ erg\,s$^{-1}$\,cm$^{-2}$, we estimate that the eROSITA all-sky survey resolves into individual sources about 20% of the cosmic X-ray background in the 1-2 keV range. The catalogues presented here form part of the first data release (DR1) of the SRG/eROSITA all-sky survey. Beyond the X-ray catalogues, DR1 contains all detected and calibrated event files, source products (light curves and spectra), and all-sky maps. Illustrative examples of these are provided. △ Less

Submitted 30 January, 2024; originally announced January 2024.

Comments: 39 pages, 23 figures. Accepted for publication in A&A. Accompanying eROSITA-DE Data Release 1

Journal ref: A&A, vol. 682, A34 (2024)

CLSA-CIM: A Cross-Layer Scheduling Approach for Computing-in-Memory Architectures

Authors: Rebecca Pelke, Jose Cubero-Cascante, Nils Bosbach, Felix Staudigl, Rainer Leupers, Jan Moritz Joseph

Abstract: The demand for efficient machine learning (ML) accelerators is growing rapidly, driving the development of novel computing concepts such as resistive random access memory (RRAM)-based tiled computing-in-memory (CIM) architectures. CIM allows to compute within the memory unit, resulting in faster data processing and reduced power consumption. Efficient compiler algorithms are essential to exploit t… ▽ More The demand for efficient machine learning (ML) accelerators is growing rapidly, driving the development of novel computing concepts such as resistive random access memory (RRAM)-based tiled computing-in-memory (CIM) architectures. CIM allows to compute within the memory unit, resulting in faster data processing and reduced power consumption. Efficient compiler algorithms are essential to exploit the potential of tiled CIM architectures. While conventional ML compilers focus on code generation for CPUs, GPUs, and other von Neumann architectures, adaptations are needed to cover CIM architectures. Cross-layer scheduling is a promising approach, as it enhances the utilization of CIM cores, thereby accelerating computations. Although similar concepts are implicitly used in previous work, there is a lack of clear and quantifiable algorithmic definitions for cross-layer scheduling for tiled CIM architectures. To close this gap, we present CLSA-CIM, a cross-layer scheduling algorithm for tiled CIM architectures. We integrate CLSA-CIM with existing weight-mapping strategies and compare performance against state-of-the-art (SOTA) scheduling algorithms. CLSA-CIM improves the utilization by up to 17.9 x , resulting in an overall speedup increase of up to 29.2 x compared to SOTA. △ Less

Submitted 17 January, 2024; v1 submitted 15 January, 2024; originally announced January 2024.

Some Constructions of Private, Efficient, and Optimal $K$-Norm and Elliptic Gaussian Noise

Authors: Matthew Joseph, Alexander Yu

Abstract: Differentially private computation often begins with a bound on some $d$-dimensional statistic's $\ell_p$ sensitivity. For pure differential privacy, the $K$-norm mechanism can improve on this approach using a norm tailored to the statistic's sensitivity space. Writing down a closed-form description of this optimal norm is often straightforward. However, running the $K$-norm mechanism reduces to u… ▽ More Differentially private computation often begins with a bound on some $d$-dimensional statistic's $\ell_p$ sensitivity. For pure differential privacy, the $K$-norm mechanism can improve on this approach using a norm tailored to the statistic's sensitivity space. Writing down a closed-form description of this optimal norm is often straightforward. However, running the $K$-norm mechanism reduces to uniformly sampling the norm's unit ball; this ball is a $d$-dimensional convex body, so general sampling algorithms can be slow. Turning to concentrated differential privacy, elliptic Gaussian noise offers similar improvement over spherical Gaussian noise. Once the shape of this ellipse is determined, sampling is easy; however, identifying the best such shape may be hard. This paper solves both problems for the simple statistics of sum, count, and vote. For each statistic, we provide a sampler for the optimal $K$-norm mechanism that runs in time $\tilde O(d^2)$ and derive a closed-form expression for the optimal shape of elliptic Gaussian noise. The resulting algorithms all yield meaningful accuracy improvements while remaining fast and simple enough to be practical. More broadly, we suggest that problem-specific sensitivity space analysis may be an overlooked tool for private additive noise. △ Less

Submitted 21 May, 2024; v1 submitted 27 September, 2023; originally announced September 2023.

Comments: This version corresponds to the camera-ready accepted at COLT 2024

Mapping of CNNs on multi-core RRAM-based CIM architectures

Authors: Rebecca Pelke, Nils Bosbach, Jose Cubero, Felix Staudigl, Rainer Leupers, Jan Moritz Joseph

Abstract: RRAM-based multi-core systems improve the energy efficiency and performance of CNNs. Thereby, the distributed parallel execution of convolutional layers causes critical data dependencies that limit the potential speedup. This paper presents synchronization techniques for parallel inference of convolutional layers on RRAM-based CIM architectures. We propose an architecture optimization that enables… ▽ More RRAM-based multi-core systems improve the energy efficiency and performance of CNNs. Thereby, the distributed parallel execution of convolutional layers causes critical data dependencies that limit the potential speedup. This paper presents synchronization techniques for parallel inference of convolutional layers on RRAM-based CIM architectures. We propose an architecture optimization that enables efficient data exchange and discuss the impact of different architecture setups on the performance. The corresponding compiler algorithms are optimized for high speedup and low memory consumption during CNN inference. We achieve more than 99% of the theoretical acceleration limit with a marginal data transmission overhead of less than 4% for state-of-the-art CNN benchmarks. △ Less

Submitted 26 October, 2023; v1 submitted 7 September, 2023; originally announced September 2023.

parti-gem5: gem5's Timing Mode Parallelised

Authors: José Cubero-Cascante, Niko Zurstraßen, Jörn Nöller, Rainer Leupers, Jan Moritz Joseph

Abstract: Detailed timing models are indispensable tools for the design space exploration of Multiprocessor Systems on Chip (MPSoCs). As core counts continue to increase, the complexity in memory hierarchies and interconnect topologies is also growing, making accurate predictions of design decisions more challenging than ever. In this context, the open-source Full System Simulator (FSS) gem5 is a popular ch… ▽ More Detailed timing models are indispensable tools for the design space exploration of Multiprocessor Systems on Chip (MPSoCs). As core counts continue to increase, the complexity in memory hierarchies and interconnect topologies is also growing, making accurate predictions of design decisions more challenging than ever. In this context, the open-source Full System Simulator (FSS) gem5 is a popular choice for MPSoC design space exploration, thanks to its flexibility and robust set of detailed timing models. However, its single-threaded simulation kernel severely hampers its throughput. To address this challenge, we introduce parti-gem5, an extension of gem5 that enables parallel timing simulations on modern multi-core simulation hosts. Unlike previous works, parti-gem5 supports gem5's timing mode, the O3CPU, and Ruby's custom cache and interconnect models. Compared to reference single-thread simulations, we achieved speedups of up to 42.7x when simulating a 120-core ARM MPSoC on a 64-core x86-64 host system. While our method introduces timing deviations, the error in total simulated time is below 15% in most cases. △ Less

Submitted 13 May, 2024; v1 submitted 18 August, 2023; originally announced August 2023.

Comments: Pre-print of work presented at SAMOS Conference XXIII

ACM Class: I.6.0

Work-in-Progress: A Universal Instrumentation Platform for Non-Volatile Memories

Authors: Felix Staudigl, Mohammed Hossein, Tobias Ziegler, Hazem Al Indari, Rebecca Pelke, Sebastian Siegel, Dirk J. Wouters, Dominik Sisejkovic, Jan Moritz Joseph, Rainer Leupers

Abstract: Emerging non-volatile memories (NVMs) represent a disruptive technology that allows a paradigm shift from the conventional von Neumann architecture towards more efficient computing-in-memory (CIM) architectures. Several instrumentation platforms have been proposed to interface NVMs allowing the characterization of single cells and crossbar structures. However, these platforms suffer from low flexi… ▽ More Emerging non-volatile memories (NVMs) represent a disruptive technology that allows a paradigm shift from the conventional von Neumann architecture towards more efficient computing-in-memory (CIM) architectures. Several instrumentation platforms have been proposed to interface NVMs allowing the characterization of single cells and crossbar structures. However, these platforms suffer from low flexibility and are not capable of performing CIM operations on NVMs. Therefore, we recently designed and built the NeuroBreakoutBoard, a highly versatile instrumentation platform capable of executing CIM on NVMs. We present our preliminary results demonstrating a relative error < 5% in the range of 1 k$Ω$ to 1 M$Ω$ and showcase the switching behavior of a HfO$_2$/Ti-based memristive cell. △ Less

Submitted 3 August, 2023; originally announced August 2023.

Stabilizers for ergodic actions and invariant random expansions of non-archimedean Polish groups

Authors: Colin Jahel, Matthieu Joseph

Abstract: Let $G$ be a closed permutation group on a countably infinite set $Ω$, which acts transitively but not highly transitively. If $G$ is oligomorphic, has no algebraicity and weakly eliminates imaginaries, we prove that any probability measure preserving ergodic action $G\curvearrowright (X,μ)$ is either essentially free or essentially transitive. As this stabilizers rigidity result concerns a class… ▽ More Let $G$ be a closed permutation group on a countably infinite set $Ω$, which acts transitively but not highly transitively. If $G$ is oligomorphic, has no algebraicity and weakly eliminates imaginaries, we prove that any probability measure preserving ergodic action $G\curvearrowright (X,μ)$ is either essentially free or essentially transitive. As this stabilizers rigidity result concerns a class of non locally compact Polish groups, our methods of proof drastically differ from that of similar results in the realm of locally compact groups. We bring the notion of dissociation from exchangeability theory in the context of stabilizers rigidity by proving that if $G\lneq\mathrm{Sym}(Ω)$ is a transitive, proper, closed subgroup, which has no algebraicity and weakly eliminates imaginaries, then any dissociated probability measure preserving action of $G$ is either essentially free or essentially transitive. A key notion that we develop in our approach is that of invariant random expansions, which are $G$-invariant probability measures on the space of expansions of the canonical (model theoretic) structure associated with $G$. We also initiate the study of invariant random subgroups for Polish groups and prove that - although the result for p.m.p. ergodic actions fails for the group $\mathrm{Sym}(Ω)$ of all permutations of $Ω$ - any ergodic invariant random subgroup of $\mathrm{Sym}(Ω)$ is essentially transitive. △ Less

Submitted 28 November, 2023; v1 submitted 12 July, 2023; originally announced July 2023.

Comments: Cosmetic changes in the introduction. In various places, the assumption "G admits weak elimination of imaginaries'' has been replaced by the (weaker) assumption "G is primitive''. An error corrected and a few details added in the proof Lem. 5.3

MSC Class: 37A15; 22F50; 03C15; 03C98; 60G09; 03C75

Single-molecule fluorescence multiplexing by multi-parameter spectroscopic detection of nanostructured FRET labels

Authors: Jiachong Chu, Ayesha Ejaz, Kyle M. Lin, Madeline R. Joseph, Aria E. Coraor, D. Allan Drummond, Allison H. Squires

Abstract: Multiplexed, real-time fluorescence detection at the single-molecule level is highly desirable to reveal the stoichiometry, dynamics, and interactions of individual molecular species within complex systems. However, traditionally fluorescence sensing is limited to 3-4 concurrently detected labels, due to low signal-to-noise, high spectral overlap between labels, and the need to avoid dissimilar dy… ▽ More Multiplexed, real-time fluorescence detection at the single-molecule level is highly desirable to reveal the stoichiometry, dynamics, and interactions of individual molecular species within complex systems. However, traditionally fluorescence sensing is limited to 3-4 concurrently detected labels, due to low signal-to-noise, high spectral overlap between labels, and the need to avoid dissimilar dye chemistries. We have engineered a palette of several dozen fluorescent labels, called FRETfluors, for spectroscopic multiplexing at the single-molecule level. Each FRETfluor is a compact nanostructure formed from the same three chemical building blocks (DNA, Cy3, and Cy5). The composition and dye-dye geometries create a characteristic Förster Resonance Energy Transfer (FRET) efficiency for each construct. In addition, we varied the local DNA sequence and attachment chemistry to alter the Cy3 and Cy5 emission properties and thereby shift the emission signatures of an entire series of FRET constructs to new sectors of the multi-parameter detection space. Unique spectroscopic emission of each FRETfluor is therefore conferred by a combination of FRET and this site-specific tuning of individual fluorophore photophysics. We show single-molecule identification of a set of 27 FRETfluors in a sample mixture using a subset of constructs statistically selected to minimize classification errors, measured using an Anti-Brownian ELectrokinetic (ABEL) trap which provides precise multi-parameter spectroscopic measurements. The ABEL trap also enables discrimination between FRETfluors attached to a target (here: mRNA) and unbound FRETfluors, eliminating the need for washes or removal of excess label by purification. We show single-molecule identification of a set of 27 FRETfluors in a sample mixture using a subset of constructs selected to minimize classification errors. △ Less

Submitted 25 January, 2024; v1 submitted 4 July, 2023; originally announced July 2023.

Comments: 62 pages, 6 figures, 19 Supplementary figures, 5 Supplementary tables, 9 Supplementary notes

Better Private Linear Regression Through Better Private Feature Selection

Authors: Travis Dick, Jennifer Gillenwater, Matthew Joseph

Abstract: Existing work on differentially private linear regression typically assumes that end users can precisely set data bounds or algorithmic hyperparameters. End users often struggle to meet these requirements without directly examining the data (and violating privacy). Recent work has attempted to develop solutions that shift these burdens from users to algorithms, but they struggle to provide utility… ▽ More Existing work on differentially private linear regression typically assumes that end users can precisely set data bounds or algorithmic hyperparameters. End users often struggle to meet these requirements without directly examining the data (and violating privacy). Recent work has attempted to develop solutions that shift these burdens from users to algorithms, but they struggle to provide utility as the feature dimension grows. This work extends these algorithms to higher-dimensional problems by introducing a differentially private feature selection method based on Kendall rank correlation. We prove a utility guarantee for the setting where features are normally distributed and conduct experiments across 25 datasets. We find that adding this private feature selection step before regression significantly broadens the applicability of ``plug-and-play'' private linear regression algorithms at little additional cost to privacy, computation, or decision-making by the end user. △ Less

Submitted 1 June, 2023; originally announced June 2023.

The 4D Camera: an 87 kHz direct electron detector for scanning/transmission electron microscopy

Authors: Peter Ercius, Ian J. Johnson, Philipp Pelz, Benjamin H. Savitzky, Lauren Hughes, Hamish G. Brown, Steven E. Zeltmann, Shang-Lin Hsu, Cassio C. S. Pedroso, Bruce E. Cohen, Ramamoorthy Ramesh, David Paul, John M. Joseph, Thorsten Stezelberger, Cory Czarnik, Matthew Lent, Erin Fong, Jim Ciston, Mary C. Scott, Colin Ophus, Andrew M. Minor, and Peter Denes

Abstract: We describe the development, operation, and application of the 4D Camera -- a 576 by 576 pixel active pixel sensor for scanning/transmission electron microscopy which operates at 87,000 Hz. The detector generates data at approximately 480 Gbit/s which is captured by dedicated receiver computers with a parallelized software infrastructure that has been implemented to process the resulting 10 - 700… ▽ More We describe the development, operation, and application of the 4D Camera -- a 576 by 576 pixel active pixel sensor for scanning/transmission electron microscopy which operates at 87,000 Hz. The detector generates data at approximately 480 Gbit/s which is captured by dedicated receiver computers with a parallelized software infrastructure that has been implemented to process the resulting 10 - 700 Gigabyte-sized raw datasets. The back illuminated detector provides the ability to detect single electron events at accelerating voltages from 30 - 300 keV. Through electron counting, the resulting sparse data sets are reduced in size by 10 - 300x compared to the raw data, and open-source sparsity-based processing algorithms offer rapid data analysis. The high frame rate allows for large and complex 4D-STEM experiments to be accomplished with typical STEM scanning parameters. △ Less

Submitted 19 May, 2023; originally announced May 2023.

Torsors and tilings from toric toggling

Authors: Colin Defant, Michael Joseph, Matthew Macauley, Alex McDonough

Abstract: Much of dynamical algebraic combinatorics focuses on global dynamical systems defined via maps that are compositions of local toggle operators. The second author and Roby studied such maps that result from toggling independent sets of a path graph. We investigate a "toric" analogue of this work by analyzing the dynamics arising from toggling independent sets of a cycle graph. Each orbit in the dyn… ▽ More Much of dynamical algebraic combinatorics focuses on global dynamical systems defined via maps that are compositions of local toggle operators. The second author and Roby studied such maps that result from toggling independent sets of a path graph. We investigate a "toric" analogue of this work by analyzing the dynamics arising from toggling independent sets of a cycle graph. Each orbit in the dynamical system can be encoded via a grid of 0s and 1s; two commuting bijections on the set of 1s in this grid produce torsors for what we call the infinite snake group and the finite ouroboros groups. By studying related covering maps, we deduce precise combinatorial properties of the orbits. Because the snake and ouroboros groups are abelian, they define tilings of cylinders and tori by parallelograms, which we also characterize. Many of the ideas developed here should be adaptable both to other toggle actions in combinatorics and to other cellular automata. △ Less

Submitted 12 May, 2023; originally announced May 2023.

Comments: 32 pages, 17 figures

MSC Class: 05E18

Design of linear block copolymers and ABC star terpolymers that produce two length scales at phase separation

Authors: Merin Joseph, Daniel J. Read, Alastair M. Rucklidge

Abstract: Quasicrystals (materials with long range order but without the usual spatial periodicity of crystals) were discovered in several soft matter systems in the last twenty years. The stability of quasicrystals has been attributed to the presence of two prominent length scales in a specific ratio, which is 1.93 for the twelve-fold quasicrystals most commonly found in soft matter. We propose design crit… ▽ More Quasicrystals (materials with long range order but without the usual spatial periodicity of crystals) were discovered in several soft matter systems in the last twenty years. The stability of quasicrystals has been attributed to the presence of two prominent length scales in a specific ratio, which is 1.93 for the twelve-fold quasicrystals most commonly found in soft matter. We propose design criteria for block copolymers such that quasicrystal-friendly length scales emerge at the point of phase separation from a melt, basing our calculations on the Random Phase Approximation. We consider two block copolymer families: linear chains containing two different monomer types in blocks of different lengths, and ABC star terpolymers. In all examples, we are able to identify parameter windows with the two length scales having a ratio of 1.93. The models that we consider that are simplest for polymer synthesis are, first, a monodisperse A_L B A_S B melt and, second, a model based on random reactions from a mixture of A_L, A_S and B chains: both feature the length scale ratio of 1.93 and should be relatively easy to synthesise. △ Less

Submitted 11 October, 2023; v1 submitted 27 April, 2023; originally announced April 2023.

Comments: 37 pages, 8 figures, Dataset available at https://doi.org/10.5518/1333

MSC Class: 52C23; 70K50; 82B26; 82D60

Journal ref: Macromolecules 2023, 56, 7847-7859

Fault Injection in Native Logic-in-Memory Computation on Neuromorphic Hardware

Authors: Felix Staudigl, Thorben Fetz, Rebecca Pelke, Dominik Sisejkovic, Jan Moritz Joseph, Leticia Bolzani Pöhls, Rainer Leupers

Abstract: Logic-in-memory (LIM) describes the execution of logic gates within memristive crossbar structures, promising to improve performance and energy efficiency. Utilizing only binary values, LIM particularly excels in accelerating binary neural networks, shifting it in the focus of edge applications. Considering its potential, the impact of faults on BNNs accelerated with LIM still lacks investigation.… ▽ More Logic-in-memory (LIM) describes the execution of logic gates within memristive crossbar structures, promising to improve performance and energy efficiency. Utilizing only binary values, LIM particularly excels in accelerating binary neural networks, shifting it in the focus of edge applications. Considering its potential, the impact of faults on BNNs accelerated with LIM still lacks investigation. In this paper, we propose faulty logic-in-memory (FLIM), a fault injection platform capable of executing full-fledged BNNs on LIM while injecting in-field faults. The results show that FLIM runs a single MNIST picture 66754x faster than the state of the art by offering a fine-grained fault injection methodology. △ Less

Submitted 15 February, 2023; originally announced February 2023.

Dark Radiation from Neutrino Mixing after Big Bang Nucleosynthesis

Authors: Daniel Aloni, Melissa Joseph, Martin Schmaltz, Neal Weiner

Abstract: A light ($m_{νd} \lesssim $ MeV) dark fermion mixing with the Standard Model neutrinos can naturally equilibrate with the neutrinos via oscillations and scattering. In the presence of dark sector interactions, production of dark fermions is generically suppressed above BBN, but then enhanced at later times. Over much of the parameter space, we find that the dark sector equilibrates, even for mixin… ▽ More A light ($m_{νd} \lesssim $ MeV) dark fermion mixing with the Standard Model neutrinos can naturally equilibrate with the neutrinos via oscillations and scattering. In the presence of dark sector interactions, production of dark fermions is generically suppressed above BBN, but then enhanced at later times. Over much of the parameter space, we find that the dark sector equilibrates, even for mixing angles $θ_0$ as small as $10^{-13}$, and equilibration occurs at $T_{\rm equil} \simeq m_{νd} \left(θ_0^2 M_{Pl}/ m_{νd} \right)^{1/5} $ which is naturally at most a few orders of magnitude above the dark fermion mass. The implications of this are twofold: one, that light states are often only constrained by the CMB and LSS without leaving an imprint on BBN, and two, that sectors which equilibrate before recombination will typically have a mass threshold before recombination, as well. This can result in dark radiation abruptly transitioning from non-interacting to interacting, or vice-versa, a ''step'' in the amount of dark radiation, and dark matter with similar transitions in its interactions, all of which can leave important signals in the CMB and LSS, and may be relevant for cosmological tensions in observables such as $H_0$ or $S_8$. Minimal models leave an unambiguous imprint on the CMB above the sensitivity of upcoming experiments. △ Less

Submitted 29 November, 2023; v1 submitted 25 January, 2023; originally announced January 2023.

Comments: 6 pages, 2 figures

Amenable wreath products with non almost finite actions of mean dimension zero

Authors: Matthieu Joseph

Abstract: Almost finiteness was introduced in the seminal work of Kerr as an dynamical analogue of Z-stability in the Toms-Winter conjecture. In this article, we provide the first examples of minimal, topologically free actions of amenable groups that have mean dimension zero but are not almost finite. More precisely, we prove that there exists an infinite family of amenable wreath products that admit topol… ▽ More Almost finiteness was introduced in the seminal work of Kerr as an dynamical analogue of Z-stability in the Toms-Winter conjecture. In this article, we provide the first examples of minimal, topologically free actions of amenable groups that have mean dimension zero but are not almost finite. More precisely, we prove that there exists an infinite family of amenable wreath products that admit topologically free, minimal profinite actions on the Cantor space which fail to be almost finite. Furthermore, these actions have dynamical comparison. This intriguing new phenomenon shows that Kerr's dynamical analogue of Toms-Winter conjecture fails for minimal, topologically free actions of amenable groups. The notion of allosteric group holds a significant position in our study. A group is allosteric if it admits a minimal action on a compact space with an invariant ergodic probability measure that is topologically free but not essentially free. We study allostery of wreath products and provide the first examples of allosteric amenable groups. △ Less

Submitted 3 November, 2023; v1 submitted 18 January, 2023; originally announced January 2023.

Comments: 16 pages. Final version, to appear in Trans. Amer. Math. Soc

MSC Class: 37A15; 37B05; 20E08; 20E26; 20E15; 46L35

Sausage Volume of the Random String and Survival in a medium of Poisson Traps

Authors: Siva Athreya, Mathew Joseph, Carl Mueller

Abstract: We provide asymptotic bounds on the survival probability of a moving polymer in an environment of Poisson traps. Our model for the polymer is the vector-valued solution of a stochastic heat equation driven by additive spacetime white noise; solutions take values in ${\mathbb R}^d, d \geq 1$. We give upper and lower bounds for the survival probability in the cases of hard and soft obstacles. Our bo… ▽ More We provide asymptotic bounds on the survival probability of a moving polymer in an environment of Poisson traps. Our model for the polymer is the vector-valued solution of a stochastic heat equation driven by additive spacetime white noise; solutions take values in ${\mathbb R}^d, d \geq 1$. We give upper and lower bounds for the survival probability in the cases of hard and soft obstacles. Our bounds decay exponentially with rate proportional to $T^{d/(d+2)}$, the same exponent that occurs in the case of Brownian motion. The exponents also depend on the length $J$ of the polymer, but here our upper and lower bounds involve different powers of $J$. Secondly, our main theorems imply upper and lower bounds for the growth of the Wiener sausage around our string. The Wiener sausage is the union of balls of a given radius centered at points of our random string, with time less than or equal to a given value. △ Less

Submitted 6 December, 2022; originally announced December 2022.

MSC Class: 60H15; 60G17; 60G60

Geometric construction of classes in van Daele's K-theory

Authors: Collin Mark Joseph, Ralf Meyer

Abstract: We describe explicit generators for the "real" K-theory of "real" spheres in van Daele's picture. Pulling these generators back along suitable maps from tori to spheres produces a family of Hamiltonians used in the physics literature on topological insulators. We compute their K-theory classes geometrically, based on wrong-way functoriality of K-theory and the geometric version of bivariant K-theo… ▽ More We describe explicit generators for the "real" K-theory of "real" spheres in van Daele's picture. Pulling these generators back along suitable maps from tori to spheres produces a family of Hamiltonians used in the physics literature on topological insulators. We compute their K-theory classes geometrically, based on wrong-way functoriality of K-theory and the geometric version of bivariant K-theory, which we extend to the "real" case. △ Less

Submitted 29 November, 2022; originally announced November 2022.

Journal ref: J. Math. Phys. 64 (2023), Paper No. 053504

AskYourDB: An end-to-end system for querying and visualizing relational databases using natural language

Authors: Manu Joseph, Harsh Raj, Anubhav Yadav, Aaryamann Sharma

Abstract: Querying databases for the right information is a time consuming and error-prone task and often requires experienced professionals for the job. Furthermore, the user needs to have some prior knowledge about the database. There have been various efforts to develop an intelligence which can help business users to query databases directly. However, there has been some successes, but very little in te… ▽ More Querying databases for the right information is a time consuming and error-prone task and often requires experienced professionals for the job. Furthermore, the user needs to have some prior knowledge about the database. There have been various efforts to develop an intelligence which can help business users to query databases directly. However, there has been some successes, but very little in terms of testing and deploying those for real world users. In this paper, we propose a semantic parsing approach to address the challenge of converting complex natural language into SQL and institute a product out of it. For this purpose, we modified state-of-the-art models, by various pre and post processing steps which make the significant part when a model is deployed in production. To make the product serviceable to businesses we added an automatic visualization framework over the queried results. △ Less

Submitted 16 October, 2022; originally announced October 2022.

Comments: 9 pages

Ensemble Creation via Anchored Regularization for Unsupervised Aspect Extraction

Authors: Pulah Dhandekar, Manu Joseph

Abstract: Aspect Based Sentiment Analysis is the most granular form of sentiment analysis that can be performed on the documents / sentences. Besides delivering the most insights at a finer grain, it also poses equally daunting challenges. One of them being the shortage of labelled data. To bring in value right out of the box for the text data being generated at a very fast pace in today's world, unsupervis… ▽ More Aspect Based Sentiment Analysis is the most granular form of sentiment analysis that can be performed on the documents / sentences. Besides delivering the most insights at a finer grain, it also poses equally daunting challenges. One of them being the shortage of labelled data. To bring in value right out of the box for the text data being generated at a very fast pace in today's world, unsupervised aspect-based sentiment analysis allows us to generate insights without investing time or money in generating labels. From topic modelling approaches to recent deep learning-based aspect extraction models, this domain has seen a lot of development. One of the models that we improve upon is ABAE that reconstructs the sentences as a linear combination of aspect terms present in it, In this research we explore how we can use information from another unsupervised model to regularize ABAE, leading to better performance. We contrast it with baseline rule based ensemble and show that the ensemble methods work better than the individual models and the regularization based ensemble performs better than the rule-based one. △ Less

Submitted 13 October, 2022; originally announced October 2022.

LAMA-Net: Unsupervised Domain Adaptation via Latent Alignment and Manifold Learning for RUL Prediction

Authors: Manu Joseph, Varchita Lalwani

Abstract: Prognostics and Health Management (PHM) is an emerging field which has received much attention from the manufacturing industry because of the benefits and efficiencies it brings to the table. And Remaining Useful Life (RUL) prediction is at the heart of any PHM system. Most recent data-driven research demand substantial volumes of labelled training data before a performant model can be trained und… ▽ More Prognostics and Health Management (PHM) is an emerging field which has received much attention from the manufacturing industry because of the benefits and efficiencies it brings to the table. And Remaining Useful Life (RUL) prediction is at the heart of any PHM system. Most recent data-driven research demand substantial volumes of labelled training data before a performant model can be trained under the supervised learning paradigm. This is where Transfer Learning (TL) and Domain Adaptation (DA) methods step in and make it possible for us to generalize a supervised model to other domains with different data distributions with no labelled data. In this paper, we propose \textit{LAMA-Net}, an encoder-decoder based model (Transformer) with an induced bottleneck, Latent Alignment using Maximum Mean Discrepancy (MMD) and manifold learning is proposed to tackle the problem of Unsupervised Homogeneous Domain Adaptation for RUL prediction. \textit{LAMA-Net} is validated using the C-MAPSS Turbofan Engine dataset by NASA and compared against other state-of-the-art techniques for DA. The results suggest that the proposed method offers a promising approach to perform domain adaptation in RUL prediction. Code will be made available once the paper comes out of review. △ Less

Submitted 17 August, 2022; originally announced August 2022.

Comments: 12 pages

Easy Differentially Private Linear Regression

Authors: Kareem Amin, Matthew Joseph, Mónica Ribero, Sergei Vassilvitskii

Abstract: Linear regression is a fundamental tool for statistical analysis. This has motivated the development of linear regression methods that also satisfy differential privacy and thus guarantee that the learned model reveals little about any one data point used to construct it. However, existing differentially private solutions assume that the end user can easily specify good data bounds and hyperparame… ▽ More Linear regression is a fundamental tool for statistical analysis. This has motivated the development of linear regression methods that also satisfy differential privacy and thus guarantee that the learned model reveals little about any one data point used to construct it. However, existing differentially private solutions assume that the end user can easily specify good data bounds and hyperparameters. Both present significant practical obstacles. In this paper, we study an algorithm which uses the exponential mechanism to select a model with high Tukey depth from a collection of non-private regression models. Given $n$ samples of $d$-dimensional data used to train $m$ models, we construct an efficient analogue using an approximate Tukey depth that runs in time $O(d^2n + dm\log(m))$. We find that this algorithm obtains strong empirical performance in the data-rich setting with no data bounds or hyperparameter selection required. △ Less

Submitted 16 March, 2023; v1 submitted 15 August, 2022; originally announced August 2022.

Comments: This version corresponds to the camera-ready at ICLR 2023

NISTT: A Non-Intrusive SystemC-TLM 2.0 Tracing Tool

Authors: Nils Bosbach, Lukas Jünger, Jan Moritz Joseph, Rainer Leupers

Abstract: The increasing complexity of systems-on-a-chip requires the continuous development of electronic design automation tools. Nowadays, the simulation of systems-on-a-chip using virtual platforms is common. Virtual platforms enable hardware/software co-design to shorten the time to market, offer insights into the models, and allow debugging of the simulated hardware. Profiling tools are required to im… ▽ More The increasing complexity of systems-on-a-chip requires the continuous development of electronic design automation tools. Nowadays, the simulation of systems-on-a-chip using virtual platforms is common. Virtual platforms enable hardware/software co-design to shorten the time to market, offer insights into the models, and allow debugging of the simulated hardware. Profiling tools are required to improve the usability of virtual platforms. During simulation, these tools capture data that are evaluated afterward. Those data can reveal information about the simulation itself and the software executed on the platform. This work presents the tracing tool NISTT that can profile SystemC-TLM-2.0-based virtual platforms. NISTT is implemented in a completely non-intrusive way. That means no changes in the simulation are needed, the source code of the simulation is not required, and the traced simulation does not need to contain debug symbols. The standardized SystemC application programming interface guarantees the compatibility of NISTT with other simulations. The strengths of NISTT are demonstrated in a case study. Here, NISTT is connected to a virtual platform and traces the boot process of Linux. After the simulation, the database created by NISTT is evaluated, and the results are visualized. Furthermore, the overhead of NISTT is quantified. It is shown that NISTT has only a minor influence on the overall simulation performance. △ Less

Submitted 19 May, 2025; v1 submitted 22 July, 2022; originally announced July 2022.

Comments: PREPRINT - accepted by 30th IFIP/IEEE International Conference on Very Large Scale Integration 2022 (VLSI-SoC 2022)

GANDALF: Gated Adaptive Network for Deep Automated Learning of Features

Authors: Manu Joseph, Harsh Raj

Abstract: We propose a novel high-performance, interpretable, and parameter \& computationally efficient deep learning architecture for tabular data, Gated Adaptive Network for Deep Automated Learning of Features (GANDALF). GANDALF relies on a new tabular processing unit with a gating mechanism and in-built feature selection called Gated Feature Learning Unit (GFLU) as a feature representation learning unit… ▽ More We propose a novel high-performance, interpretable, and parameter \& computationally efficient deep learning architecture for tabular data, Gated Adaptive Network for Deep Automated Learning of Features (GANDALF). GANDALF relies on a new tabular processing unit with a gating mechanism and in-built feature selection called Gated Feature Learning Unit (GFLU) as a feature representation learning unit. We demonstrate that GANDALF outperforms or stays at-par with SOTA approaches like XGBoost, SAINT, FT-Transformers, etc. by experiments on multiple established public benchmarks. We have made available the code at github.com/manujosephv/pytorch_tabular under MIT License. △ Less

Submitted 9 January, 2024; v1 submitted 18 July, 2022; originally announced July 2022.

Comments: 15 pages + Reference & Appendix

A Step in Understanding the $S_8$ Tension

Authors: Melissa Joseph, Daniel Aloni, Martin Schmaltz, Eashwar N. Sivarajan, Neal Weiner

Abstract: Models of dark sectors with a mass threshold can have important cosmological signatures. If, in the era prior to recombination, a relativistic species becomes nonrelativistic and is then depopulated in equilibrium, there can be measurable impacts on the cosmic microwave background as the entropy is transferred to lighter relativistic particles. In particular, if this ``step'' occurs near… ▽ More Models of dark sectors with a mass threshold can have important cosmological signatures. If, in the era prior to recombination, a relativistic species becomes nonrelativistic and is then depopulated in equilibrium, there can be measurable impacts on the cosmic microwave background as the entropy is transferred to lighter relativistic particles. In particular, if this ``step'' occurs near $z\sim 20,000$, the model can naturally accommodate larger values of $H_0$. If this stepped radiation is additionally coupled to dark matter, there can be a meaningful impact on the matter power spectrum as dark matter can be coupled via a species that becomes nonrelativistic and depleted. This can naturally lead to suppressed power at scales inside the sound horizon before the step, while leaving conventional cold dark matter signatures for power outside the sound horizon. We study these effects and show such models can naturally provide lower values of $S_8$ than scenarios without a step. This suggests these models may provide an interesting framework to address the $S_8$ tension, both in concert with the $H_0$ tension and without. △ Less

Submitted 24 July, 2023; v1 submitted 7 July, 2022; originally announced July 2022.

EmuNoC: Hybrid Emulation for Fast and Flexible Network-on-Chip Prototyping on FPGAs

Authors: Yee Yang Tan, Felix Staudigl, Lukas Jünger, Anna Drewes, Rainer Leupers, Jan Moritz Joseph

Abstract: Networks-on-Chips (NoCs) recently became widely used, from multi-core CPUs to edge-AI accelerators. Emulation on FPGAs promises to accelerate their RTL modeling compared to slow simulations. However, realistic test stimuli are challenging to generate in hardware for diverse applications. In other words, both a fast and flexible design framework is required. The most promising solution is hybrid em… ▽ More Networks-on-Chips (NoCs) recently became widely used, from multi-core CPUs to edge-AI accelerators. Emulation on FPGAs promises to accelerate their RTL modeling compared to slow simulations. However, realistic test stimuli are challenging to generate in hardware for diverse applications. In other words, both a fast and flexible design framework is required. The most promising solution is hybrid emulation, in which parts of the design are simulated in software, and the other parts are emulated in hardware. This paper proposes a novel hybrid emulation framework called EmuNoC. We introduce a clock-synchronization method and software-only packet generation that improves the emulation speed by 36.3x to 79.3x over state-of-the-art frameworks while retaining the flexibility of a pure-software interface for stimuli simulation. We also increased the area efficiency to model up to an NoC with 169 routers on a single FPGA, while previous frameworks only achieved 64 routers. △ Less

Submitted 23 June, 2022; originally announced June 2022.

X-Fault: Impact of Faults on Binary Neural Networks in Memristor-Crossbar Arrays with Logic-in-Memory Computation

Authors: Felix Staudigl, Karl J. X. Sturm, Maximilian Bartel, Thorben Fetz, Dominik Sisejkovic, Jan Moritz Joseph, Leticia Bolzani Pöhls, Rainer Leupers

Abstract: Memristor-based crossbar arrays represent a promising emerging memory technology to replace conventional memories by offering a high density and enabling computing-in-memory (CIM) paradigms. While analog computing provides the best performance, non-idealities and ADC/DAC conversion limit memristor-based CIM. Logic-in-Memory (LIM) presents another flavor of CIM, in which the memristors are used in… ▽ More Memristor-based crossbar arrays represent a promising emerging memory technology to replace conventional memories by offering a high density and enabling computing-in-memory (CIM) paradigms. While analog computing provides the best performance, non-idealities and ADC/DAC conversion limit memristor-based CIM. Logic-in-Memory (LIM) presents another flavor of CIM, in which the memristors are used in a binary manner to implement logic gates. Since binary neural networks (BNNs) use binary logic gates as the dominant operation, they can benefit from the massively parallel execution of binary operations and better resilience to variations of the memristors. Although conventional neural networks have been thoroughly investigated, the impact of faults on memristor-based BNNs remains unclear. Therefore, we analyze the impact of faults on logic gates in memristor-based crossbar arrays for BNNs. We propose a simulation framework that simulates different traditional faults to examine the accuracy loss of BNNs on memristive crossbar arrays. In addition, we compare different logic families based on the robustness and feasibility to accelerate AI applications. △ Less

Submitted 4 April, 2022; originally announced April 2022.

Isometric orbit equivalence for probability-measure preserving actions

Authors: Matthieu Joseph

Abstract: We study probability-measure preserving (p.m.p.) actions of finitely generated groups via the graphings they define. We introduce and study the notion of isometric orbit equivalence for p.m.p. actions: two p.m.p. actions are isometric orbit equivalent if the graphings defined by some fixed generating systems of the groups are measurably isometric. We highlight two kind of phenomena. First, we prov… ▽ More We study probability-measure preserving (p.m.p.) actions of finitely generated groups via the graphings they define. We introduce and study the notion of isometric orbit equivalence for p.m.p. actions: two p.m.p. actions are isometric orbit equivalent if the graphings defined by some fixed generating systems of the groups are measurably isometric. We highlight two kind of phenomena. First, we prove that the notion of isometric orbit equivalence is rigid for groups whose Cayley graph, with respect to a fixed generating system, has a countable group of automorphism. On the other hand, we introduce a general construction of isometric orbit equivalent p.m.p. actions, which leads to interesting nontrivial examples of isometric orbit equivalent p.m.p. actions for the free group. In particular, our examples show that mixing is not invariant under isometric orbit equivalence. △ Less

Submitted 6 April, 2023; v1 submitted 28 March, 2022; originally announced March 2022.

Comments: Appendix added. Minor bug fixes and improvements. Comments welcome

MSC Class: 37A15; 37B05; 22F10

Cosmology Intertwined: A Review of the Particle Physics, Astrophysics, and Cosmology Associated with the Cosmological Tensions and Anomalies

Authors: Elcio Abdalla, Guillermo Franco Abellán, Amin Aboubrahim, Adriano Agnello, Ozgur Akarsu, Yashar Akrami, George Alestas, Daniel Aloni, Luca Amendola, Luis A. Anchordoqui, Richard I. Anderson, Nikki Arendse, Marika Asgari, Mario Ballardini, Vernon Barger, Spyros Basilakos, Ronaldo C. Batista, Elia S. Battistelli, Richard Battye, Micol Benetti, David Benisty, Asher Berlin, Paolo de Bernardis, Emanuele Berti, Bohdan Bidenko , et al. (178 additional authors not shown)

Abstract: In this paper we will list a few important goals that need to be addressed in the next decade, also taking into account the current discordances between the different cosmological probes, such as the disagreement in the value of the Hubble constant $H_0$, the $σ_8$--$S_8$ tension, and other less statistically significant anomalies. While these discordances can still be in part the result of system… ▽ More In this paper we will list a few important goals that need to be addressed in the next decade, also taking into account the current discordances between the different cosmological probes, such as the disagreement in the value of the Hubble constant $H_0$, the $σ_8$--$S_8$ tension, and other less statistically significant anomalies. While these discordances can still be in part the result of systematic errors, their persistence after several years of accurate analysis strongly hints at cracks in the standard cosmological scenario and the necessity for new physics or generalisations beyond the standard model. In this paper, we focus on the $5.0\,σ$ tension between the {\it Planck} CMB estimate of the Hubble constant $H_0$ and the SH0ES collaboration measurements. After showing the $H_0$ evaluations made from different teams using different methods and geometric calibrations, we list a few interesting new physics models that could alleviate this tension and discuss how the next decade's experiments will be crucial. Moreover, we focus on the tension of the {\it Planck} CMB data with weak lensing measurements and redshift surveys, about the value of the matter energy density $Ω_m$, and the amplitude or rate of the growth of structure ($σ_8,fσ_8$). We list a few interesting models proposed for alleviating this tension, and we discuss the importance of trying to fit a full array of data with a single model and not just one parameter at a time. Additionally, we present a wide range of other less discussed anomalies at a statistical significance level lower than the $H_0$--$S_8$ tensions which may also constitute hints towards new physics, and we discuss possible generic theoretical approaches that can collectively explain the non-standard nature of these signals.[Abridged] △ Less

Submitted 24 April, 2022; v1 submitted 11 March, 2022; originally announced March 2022.

Comments: Contribution to Snowmass 2021. 224 pages, 27 figures. Accepted for publication in JHEAp

Journal ref: J. High En. Astrophys. 2204, 002 (2022)

Investigating Older Adults' Attitudes towards Crisis Informatics Tools: Opportunities for Enhancing Community Resilience during Disasters

Authors: Nurul M Suhaimi, Yixuan Zhang, Mary Joseph, Miso Kim, Andrea G Parker, Jacqueline Griffin

Abstract: The world population is projected to rapidly age over the next 30 years. Given the increasing digital technology adoption amongst older adults, researchers have investigated how technology can support aging populations. However, little work has examined how technology can support older adults during crises, despite increasingly common natural disasters, public health emergencies, and other crisis… ▽ More The world population is projected to rapidly age over the next 30 years. Given the increasing digital technology adoption amongst older adults, researchers have investigated how technology can support aging populations. However, little work has examined how technology can support older adults during crises, despite increasingly common natural disasters, public health emergencies, and other crisis scenarios in which older adults are especially vulnerable. Addressing this gap, we conducted focus groups with older adults residing in coastal locations to examine to what extent they felt technology could support them during emergencies. Our findings characterize participants' desire for tools that enhance community resilience-local knowledge, preparedness, community relationships, and communication, that help communities withstand disasters. Further, older adults' crisis technology preferences were linked to their sense of control, social relationships, and digital readiness. We discuss how a focus on community resilience can yield crisis technologies that more effectively support older adults. △ Less

Submitted 22 February, 2022; originally announced February 2022.

A Joint Exponential Mechanism For Differentially Private Top-$k$

Authors: Jennifer Gillenwater, Matthew Joseph, Andrés Muñoz Medina, Mónica Ribero

Abstract: We present a differentially private algorithm for releasing the sequence of $k$ elements with the highest counts from a data domain of $d$ elements. The algorithm is a "joint" instance of the exponential mechanism, and its output space consists of all $O(d^k)$ length-$k$ sequences. Our main contribution is a method to sample this exponential mechanism in time $O(dk\log(k) + d\log(d))$ and space… ▽ More We present a differentially private algorithm for releasing the sequence of $k$ elements with the highest counts from a data domain of $d$ elements. The algorithm is a "joint" instance of the exponential mechanism, and its output space consists of all $O(d^k)$ length-$k$ sequences. Our main contribution is a method to sample this exponential mechanism in time $O(dk\log(k) + d\log(d))$ and space $O(dk)$. Experiments show that this approach outperforms existing pure differential privacy methods and improves upon even approximate differential privacy methods for moderate $k$. △ Less

Submitted 30 August, 2022; v1 submitted 28 January, 2022; originally announced January 2022.

Plume: Differential Privacy at Scale

Authors: Kareem Amin, Jennifer Gillenwater, Matthew Joseph, Alex Kulesza, Sergei Vassilvitskii

Abstract: Differential privacy has become the standard for private data analysis, and an extensive literature now offers differentially private solutions to a wide variety of problems. However, translating these solutions into practical systems often requires confronting details that the literature ignores or abstracts away: users may contribute multiple records, the domain of possible records may be unknow… ▽ More Differential privacy has become the standard for private data analysis, and an extensive literature now offers differentially private solutions to a wide variety of problems. However, translating these solutions into practical systems often requires confronting details that the literature ignores or abstracts away: users may contribute multiple records, the domain of possible records may be unknown, and the eventual system must scale to large volumes of data. Failure to carefully account for all three issues can severely impair a system's quality and usability. We present Plume, a system built to address these problems. We describe a number of sometimes subtle implementation issues and offer practical solutions that, together, make an industrial-scale system for differentially private data analysis possible. Plume is currently deployed at Google and is routinely used to process datasets with trillions of records. △ Less

Submitted 27 January, 2022; originally announced January 2022.

Belinskaya's theorem is optimal

Authors: Alessandro Carderi, Matthieu Joseph, François Le Maître, Romain Tessera

Abstract: Belinskaya's theorem states that given an ergodic measure-preserving transformation, any other transformation with the same orbits and an $\mathrm{L}^1$ cocycle must be flip-conjugate to it. Our main result shows that this theorem is optimal: for all $p<1$ the integrability condition on the cocycle cannot be relaxed to being in $\mathrm{L}^p$. This also allows us to answer a question of Kerr and L… ▽ More Belinskaya's theorem states that given an ergodic measure-preserving transformation, any other transformation with the same orbits and an $\mathrm{L}^1$ cocycle must be flip-conjugate to it. Our main result shows that this theorem is optimal: for all $p<1$ the integrability condition on the cocycle cannot be relaxed to being in $\mathrm{L}^p$. This also allows us to answer a question of Kerr and Li: for ergodic measure-preserving transformations, Shannon orbit equivalence doesn't boil down to flip-conjugacy. △ Less

Submitted 7 July, 2023; v1 submitted 17 January, 2022; originally announced January 2022.

Comments: Some more fixes in the appendix; added a reference to M. Joseph's thesis in Remark 3.4. Final final version matching the online first version in Fundamenta Mathematicae

MSC Class: Primary 37A05; Secondary 37A15

NeuroHammer: Inducing Bit-Flips in Memristive Crossbar Memories

Authors: Felix Staudigl, Hazem Al Indari, Daniel Schön, Dominik Sisejkovic, Farhad Merchant, Jan Moritz Joseph, Vikas Rana, Stephan Menzel, Rainer Leupers

Abstract: Emerging non-volatile memory (NVM) technologies offer unique advantages in energy efficiency, latency, and features such as computing-in-memory. Consequently, emerging NVM technologies are considered an ideal substrate for computation and storage in future-generation neuromorphic platforms. These technologies need to be evaluated for fundamental reliability and security issues. In this paper, we p… ▽ More Emerging non-volatile memory (NVM) technologies offer unique advantages in energy efficiency, latency, and features such as computing-in-memory. Consequently, emerging NVM technologies are considered an ideal substrate for computation and storage in future-generation neuromorphic platforms. These technologies need to be evaluated for fundamental reliability and security issues. In this paper, we present \emph{NeuroHammer}, a security threat in ReRAM crossbars caused by thermal crosstalk between memory cells. We demonstrate that bit-flips can be deliberately induced in ReRAM devices in a crossbar by systematically writing adjacent memory cells. A simulation flow is developed to evaluate NeuroHammer and the impact of physical parameters on the effectiveness of the attack. Finally, we discuss the security implications in the context of possible attack scenarios. △ Less

Submitted 6 December, 2021; v1 submitted 2 December, 2021; originally announced December 2021.

A Step in Understanding the Hubble Tension

Authors: Daniel Aloni, Asher Berlin, Melissa Joseph, Martin Schmaltz, Neal Weiner

Abstract: As cosmological data have improved, tensions have arisen. One such tension is the difference between the locally measured Hubble constant $H_0$ and the value inferred from the cosmic microwave background (CMB). Interacting radiation has been suggested as a solution, but studies show that conventional models are precluded by high-$\ell$ CMB polarization data. It seems at least plausible that a solu… ▽ More As cosmological data have improved, tensions have arisen. One such tension is the difference between the locally measured Hubble constant $H_0$ and the value inferred from the cosmic microwave background (CMB). Interacting radiation has been suggested as a solution, but studies show that conventional models are precluded by high-$\ell$ CMB polarization data. It seems at least plausible that a solution may be provided by related models that distinguish between high- and low-$\ell$ multipoles. When interactions of strongly-coupled radiation are mediated by a force-carrier that becomes non-relativistic, the dark radiation undergoes a "step" in which its relative energy density increases as the mediator deposits its entropy into the lighter species. If this transition occurs while CMB-observable modes are inside the horizon, high- and low-$\ell$ peaks are impacted differently, corresponding to modes that enter the horizon before or after the step. These dynamics are naturally packaged into the simplest supersymmetric theory, the Wess-Zumino model, with the mass of the scalar mediator near the eV-scale. We investigate the cosmological signatures of such "Wess-Zumino Dark Radiation" (WZDR) and find that it provides an improved fit to the CMB alone, favoring larger values of $H_0$. If supernovae measurements from the SH0ES collaboration are also included in the analysis, the inferred value of $H_0$ is yet larger, but the preference for dark radiation and the location of the transition is left nearly unchanged. Utilizing a standardized set of measures, we compare to other models and find that WZDR is among the most successful at addressing the $H_0$ tension and the best of those with a Lagrangian formulation. △ Less

Submitted 25 May, 2022; v1 submitted 29 October, 2021; originally announced November 2021.

Comments: 17 pages, 6 figures, 8 tables. Bug in WZDR MCMC runs fixed, plots and tables updated, conclusions unchanged

Cognitive network science quantifies feelings expressed in suicide letters and Reddit mental health communities

Authors: Simmi Marina Joseph, Salvatore Citraro, Virginia Morini, Giulio Rossetti, Massimo Stella

Abstract: Writing messages is key to expressing feelings. This study adopts cognitive network science to reconstruct how individuals report their feelings in clinical narratives like suicide notes or mental health posts. We achieve this by reconstructing syntactic/semantic associations between conceptsin texts as co-occurrences enriched with affective data. We transform 142 suicide notes and 77,000 Reddit p… ▽ More Writing messages is key to expressing feelings. This study adopts cognitive network science to reconstruct how individuals report their feelings in clinical narratives like suicide notes or mental health posts. We achieve this by reconstructing syntactic/semantic associations between conceptsin texts as co-occurrences enriched with affective data. We transform 142 suicide notes and 77,000 Reddit posts from the r/anxiety, r/depression, r/schizophrenia, and r/do-it-your-own (r/DIY) forums into 5 cognitive networks, each one expressing meanings and emotions as reported by authors. These networks reconstruct the semantic frames surrounding 'feel', enabling a quantification of prominent associations and emotions focused around feelings. We find strong feelings of sadness across all clinical Reddit boards, added to fear r/depression, and replaced by joy/anticipation in r/DIY. Semantic communities and topic modelling both highlight key narrative topics of 'regret', 'unhealthy lifestyle' and 'low mental well-being'. Importantly, negative associations and emotions co-existed with trustful/positive language, focused on 'getting better'. This emotional polarisation provides quantitative evidence that online clinical boards possess a complex structure, where users mix both positive and negative outlooks. This dichotomy is absent in the r/DIY reference board and in suicide notes, where negative emotional associations about regret and pain persist but are overwhelmed by positive jargon addressing loved ones. Our quantitative comparisons provide strong evidence that suicide notes encapsulate different ways of expressing feelings compared to online Reddit boards, the latter acting more like personal diaries and relief valve. Our findings provide an interpretable, quantitative aid for supporting psychological inquiries of human feelings in digital and clinical settings. △ Less

Submitted 29 October, 2021; v1 submitted 28 October, 2021; originally announced October 2021.

Continuum of allosteric actions for non-amenable surface groups

Authors: Matthieu Joseph

Abstract: Let $Σ$ be a closed surface other than the sphere, the torus, the projective plane or the Klein bottle. We construct a continuum of p.m.p. ergodic minimal profinite actions for the fundamental group of $Σ$, that are topologically free but not essentially free, a property that we call allostery. Moreover, the IRS's we obtain are pairwise distincts. Let $Σ$ be a closed surface other than the sphere, the torus, the projective plane or the Klein bottle. We construct a continuum of p.m.p. ergodic minimal profinite actions for the fundamental group of $Σ$, that are topologically free but not essentially free, a property that we call allostery. Moreover, the IRS's we obtain are pairwise distincts. △ Less

Submitted 3 October, 2021; originally announced October 2021.

Comments: 18 pages, 3 figures

MSC Class: 37A15; 37B05; 20E08; 20E26; 20E15

Journal ref: Ergod. Th. Dynam. Sys. 44 (2024) 1581-1596