title: Commonsense-augmented Memory Construction and Management in Long-term Conversations via Context-aware Persona Refinement

abstract: Memorizing and utilizing speakers' personas is a common practice for response generation in long-term conversations. Yet, human-authored datasets often provide uninformative persona sentences that hinder response quality. This paper presents a novel framework that leverages commonsense-based persona expansion to address such issues in long-term conversation. While prior work focuses on not producing personas that contradict others, we focus on transforming contradictory personas into sentences that contain rich speaker information, by refining them based on their contextual backgrounds with designed strategies. As the pioneer of persona expansion in multi-session settings, our framework facilitates better response generation via human-like persona refinement. The supplementary video of our work is available at https://caffeine-15bbf.web.app/.


title: InfiniteEn: A Multi-Source Energy Harvesting System with Load Monitoring Module for Batteryless Internet of Things

abstract: This paper presents InfiniteEn, a multi-source energy harvesting platform designed for the Internet of Batteryless Things (IoBT). InfiniteEn incorporates an efficient energy combiner to combine energy from different harvesting sources. The energy combiner uses capacitor-to-capacitor energy transfer to combine energy from multiple sources and achieves a nominal efficiency of 88\%. In addition to multiplexing different sources, the energy combiner facilitates the estimation of the harvesting rate and the calibration of the capacity of the energy buffer. The energy storage architecture of InfiniteEn employs an array of storage buffers that can be configured on demand to cope with varying energy harvesting rates and load's energy requirements. To address the challenge of tracking the energy state of batteryless devices with minimum energy overhead, this work introduces the concept of a Load Monitoring Module (LMM). InfiniteEn is a load-agnostic platform, meaning that it does not require any prior knowledge of the energy profile of the load to track its energy states. The LMM assists InfiniteEn in tracking the energy state of the load and dynamically modifying the storage buffers to meet the load's energy requirements. Furthermore, the module can detect and signal any abnormalities in the energy consumption pattern of the load caused by a hardware or software defect. Experiments demonstrate that LMM has a response time of less than 11 ms to energy state changes.


title: The explicit form of the unitary representation of the Poincar\'e group for vector-valued wave functions (massive and massless), with applications to photon's localization and position operators

abstract: We geometrically derive the explicit form of the Unitary representation of the Poincare group and use it to apply speed-of-light boosts to simple polarization basis to end up with Hawton-Baylis photon position operator with commuting components. We give explicit formulas for other photon boost eigenmodes. We investigate the underlying affine connections on the light cone in momentum space and find that while Pryce connection is metric semi-symmetric, the flat Hawton-Baylis connection is not semi-symmetric. Finally we discuss localizability of photon states localized on closed loops and show that photon states on the circle, both unnormalized improper states and finite norm wave packet smeared over washer-like regions are strictly localized with respect to Hawton-Baylis operators with commuting components and also with respect to the noncommutative Jauch-Piron-Amrein POV measure.


title: Shocks, clouds and atomic outflows in active galactic nuclei hosting relativistic jets

abstract: A number of observations have revealed atomic and/or molecular lines in active galaxies hosting jets and outflows. Line widths indicate outward motions of hundreds to few thousands of kilometers per second. They appear associated to the presence of radio emission in Gigahert-peaked spectrum (GPS) and compact steep spectrum (CSS) sources, with linear sizes < 10 kpc. Numerical simulations have shown that the bow shocks triggered by relativistic jets in their host galaxies drive ionisation and turbulence in the interstellar medium (ISM). However, the presence of atomic lines requires rapid recombination of ionised gas, which seems to be hard to explain from the physical conditions revealed so far by numerical simulations of powerful jets. The aim of this paper is to provide a global frame to explain the presence of lines in terms of jet and shock evolution, and fix the parameter space in which the atomic and molecular outflows might occur. This parameter space is inspired by numerical simulations and basic analytical models of jet evolution as a background. Our results show that a plausible, general explanation involves momentum transfer and heating to the interstellar medium gas by jet triggered shocks within the inner kiloparsecs. The presence of post-shock atomic gas is possible in the case of shocks interacting with dense clouds that remain relatively stable after the shock passage. According to our results, current numerical simulations cannot reproduce the physical conditions to explain the presence of atomic and molecular outflows in young radio-sources. However, I show that these outflows might occur in low-power jets at all scales, and predict a trend towards powerful jets showing lines at CSS scales, when clouds have cooled to recombination temperatures.


title: Active Simultaneously Transmitting and Reflecting Surface Assisted NOMA Networks

abstract: The novel active simultaneously transmitting and reflecting surface (ASTARS) has recently received a lot of attention due to its capability to conquer the multiplicative fading loss and achieve full-space smart radio environments. This paper introduces the ASTARS to assist non-orthogonal multiple access (NOMA) communications, where the stochastic geometry theory is used to model the spatial positions of pairing users. We design the independent reflection/transmission phase-shift controllers of ASTARS to align the phases of cascaded channels at pairing users. We derive new closed-form and asymptotic expressions of the outage probability and ergodic data rate for ASTARS-NOMA networks in the presence of perfect/imperfect successive interference cancellation (pSIC). The diversity orders and multiplexing gains for ASTARS-NOMA are derived to provide more insights. Furthermore, the system throughputs of ASTARS-NOMA are investigated in both delay-tolerant and delay-limited transmission modes. The numerical results are presented and show that: 1) ASTARS-NOMA with pSIC outperforms ASTARS assisted-orthogonal multiple access (ASTARS-OMA) in terms of outage probability and ergodic data rate; 2) The outage probability of ASTARS-NOMA can be further reduced within a certain range by increasing the power amplification factors; 3) The system throughputs of ASTARS-NOMA are superior to that of ASTARS-OMA in both delay-limited and delay-tolerant transmission modes.


title: Effective stripe artefact removal by a variational method: application to light-sheet microscopy, FIB-SEM and remote sensing images

abstract: Light-sheet fluorescence microscopy (LSFM) is used to capture volume images of biological specimens. It offers high contrast deep inside densely fluorescence labelled samples, fast acquisition speed and minimal harmful effects on the sample. However, LSFM images often show strong stripe artifacts originating from light-matter interactions. We propose a robust variational method suitable for removing stripes which outperforms existing methods and offers flexibility through two adjustable parameters. This tool is widely applicable to improve visual quality as well as facilitate downstream processing and analysis of images acquired on systems that do not provide hardware-based destriping methods. An evaluation of methods is performed on LSFM, focused ion beam scanning electron microscopy (FIB-SEM) and remote sensing data, supplemented by synthetic LSFM images. The latter is obtained by simulating the imaging process on virtual samples.


title: Application of performance portability solutions for GPUs and many-core CPUs to track reconstruction kernels

abstract: Next generation High-Energy Physics (HEP) experiments are presented with significant computational challenges, both in terms of data volume and processing power. Using compute accelerators, such as GPUs, is one of the promising ways to provide the necessary computational power to meet the challenge. The current programming models for compute accelerators often involve using architecture-specific programming languages promoted by the hardware vendors and hence limit the set of platforms that the code can run on. Developing software with platform restrictions is especially unfeasible for HEP communities as it takes significant effort to convert typical HEP algorithms into ones that are efficient for compute accelerators. Multiple performance portability solutions have recently emerged and provide an alternative path for using compute accelerators, which allow the code to be executed on hardware from different vendors. We apply several portability solutions, such as Kokkos, SYCL, C++17 std::execution::par and Alpaka, on two mini-apps extracted from the mkFit project: p2z and p2r. These apps include basic kernels for a Kalman filter track fit, such as propagation and update of track parameters, for detectors at a fixed z or fixed r position, respectively. The two mini-apps explore different memory layout formats. We report on the development experience with different portability solutions, as well as their performance on GPUs and many-core CPUs, measured as the throughput of the kernels from different GPU and CPU vendors such as NVIDIA, AMD and Intel.


title: Fixed point subgroups of a supertight automorphism

abstract: Let $G$ be an infinite simple group of finite Morley rank and $\alpha$ a supertight automorphism of $G$ so that the fixed point subgroup $P_n:=C_G(\alpha^n)$ is pseudofinite for all $n\in \mathbb{N}\setminus\{0\}$. It is know (using CFSG) that the socle $S_n:={\rm Soc}(P_n)$ is a (twisted) Chevalley group over a pseudofinite field. We prove that there is $r\in \mathbb{N}\setminus\{0\}$ so that for each $n$ we have $[P_n:S_n] < r$ and that there is no $m \in \mathbb{N}\setminus \{0\}$ so that for each $n$ the sizes of the Sylow $2$-subgroups of $S_n$ are bounded by $m$. We also note that in the recent identification result of $G$ under the assumption ${\rm pr}_2(G)=1$, the use of CFSG is not needed.


title: A variational characterization of Einstein-Brillouin-Keller quantization

abstract: In this paper we explain how to construct the EBK spectrum from the marked action spectrum and derive a minimax formula for concave toric domains. In the special case of the billiard on the disk we show that while the action spectrum is algebraic the EBK spectrum has infinite transcendence degree under the assumption that Schanuel's conjecture is true.


title: On the well-posedness of inverse problems under information field theory: application to model-form error detection

abstract: We derive conditions in which inverse problems posed under an information field theory (IFT) framework have unique solutions. While the theorems here apply to IFT inverse problems in general, we place a special focus on the problem of identifying model-form error. Due to the continued increase in popularity of physics-informed methods, tools which can validate the form of the physics chosen under a physics-informed framework are desirable. Using IFT, we pose the problem of identifying model-form error as a Bayesian inverse problem. The IFT framework lets us define a physics-informed prior over fields, where a parameter, which we call the trust, measures our belief in the physical model by scaling the spread of this prior. In principle, smaller values of trust cause the prior to appear flat, representing a larger degree of uncertainty about the physics. To detect model-form error, we infer the trust as part of an inverse problem and study the limiting behavior. Using the Gaussian random field interpretation of IFT, we show how identifying the trust becomes a well-posed inverse problem. We provide an example where the physics are assumed to be the Poisson equation and study the effect of model-form error on the trust. We find that a correct model leads to infinite trust, and under model-form error, physics which are closer to the ground truth lead to larger values of the trust.


title: Procoli: Profiles of cosmological likelihoods

abstract: Frequentist profile likelihoods have seen a resurgence in cosmology, offering an alternative to Bayesian methods as they can circumvent the impact of prior-volume effects. This paper presents Procoli, a fast and accessible package to obtain profile likelihoods in cosmology, available on GitHub and PyPI. Procoli seamlessly integrates with MontePython, incorporating all its available data likelihoods, as well as any modified versions of CLASS. This paper provides a comprehensive overview of the Procoli code, detailing the simulated-annealing optimizer at its core and the sequential computation of the profile. An an example, we use the early dark energy model which is afflicted by prior-volume effects to illustrate the code's features. We validate its optimizer with mock data, and compare optimization techniques for both the global minimum and the profile. Procoli further enables splitting profiles into their component contributions from individual experiments, offering nuanced insights into the data and model. As a valuable addition to the cosmologist's toolkit, Procoli supplements existing Bayesian codes, contributing to more robust parameter constraints in cosmological studies.


title: Sample Efficient Reinforcement Learning by Automatically Learning to Compose Subtasks

abstract: Improving sample efficiency is central to Reinforcement Learning (RL), especially in environments where the rewards are sparse. Some recent approaches have proposed to specify reward functions as manually designed or learned reward structures whose integrations in the RL algorithms are claimed to significantly improve the learning efficiency. Manually designed reward structures can suffer from inaccuracy and existing automatically learning methods are often computationally intractable for complex tasks. The integration of inaccurate or partial reward structures in RL algorithms fail to learn optimal policies. In this work, we propose an RL algorithm that can automatically structure the reward function for sample efficiency, given a set of labels that signify subtasks. Given such minimal knowledge about the task, we train a high-level policy that selects optimal sub-tasks in each state together with a low-level policy that efficiently learns to complete each sub-task. We evaluate our algorithm in a variety of sparse-reward environments. The experiment results show that our approach significantly outperforms the state-of-art baselines as the difficulty of the task increases.


title: Periodically Forced Nonlinear Oscillatory Acoustic Vacuum

abstract: In this work, we study the in-plane oscillations of a finite lattice of particles coupled by linear springs under distributed harmonic excitation. Melnikov-type analysis is applied for the persistence of periodic oscillations of a reduced system.


title: Assessing the Portability of Parameter Matrices Trained by Parameter-Efficient Finetuning Methods

abstract: As the cost of training ever larger language models has grown, so has the interest in reusing previously learnt knowledge. Transfer learning methods have shown how reusing non-task-specific knowledge can help in subsequent task-specific learning. In this paper, we investigate the inverse: porting whole functional modules that encode task-specific knowledge from one model to another. We designed a study comprising 1,440 training/testing runs to test the portability of modules trained by parameter-efficient finetuning (PEFT) techniques, using sentiment analysis as an example task. We test portability in a wide range of scenarios, involving different PEFT techniques and different pretrained host models, among other dimensions. We compare the performance of ported modules with that of equivalent modules trained (i) from scratch, and (ii) from parameters sampled from the same distribution as the ported module. We find that the ported modules far outperform the two alternatives tested, but that there are interesting performance differences between the four PEFT techniques. We conclude that task-specific knowledge in the form of structurally modular sets of parameters as produced by PEFT techniques is highly portable, but that degree of success depends on type of PEFT and on differences between originating and receiving pretrained models.


title: Exploring the time axis within medium-modified jets

abstract: In this manuscript, we illustrate how to use the newly proposed $\tau$ re-clustering algorithm to select jets with different degrees of quenching without biasing their initial transverse momentum spectrum. Our study is based on Z+jet simulated events using the JEWEL Monte Carlo event generator to account for jet quenching effects. We apply the $\tau$ re-clustering algorithm to extract a proxy for a time axis (formation time) within the evolving medium. This information allows us to label jets according to their fragmentation pattern and select populations with enhanced sensitivity to quenching effects. Our results illustrate the potential of jets as precision tools for QGP tomography. Further, we show that the discussed method minimizes the biases stemming from $p_{T}$-, $dR$- or mass-based jet selection.


title: Unraveling how winds and surface heat fluxes control the Atlantic Ocean's meridional heat transport

abstract: The North Atlantic Ocean circulation, fueled by winds and surface buoyancy fluxes, carries 1.25$\,$PettaWatts of heat poleward in the subtropics, and plays an important role in regulating global weather and climate patterns. Using a series of simulations with perturbed surface forcing, we study how winds and surface heat flux gradients affect the Atlantic meridional heat transport. We decompose the Atlantic meridional heat transport into contributions from circulation cells at warm and cold temperatures (resembling a subtropical gyre and the dense overturning circulation respectively), and a mixed circulation that contains water masses traversing both these cells. Variations in wind stress initially alter the amount of heat carried by the warm and mixed cells, but on long time scales ($>$10 years), changes in the temperature distribution restore the heat transport to equilibrium. Changes in surface buoyancy forcing control the cold cell's circulation, and its associated meridional heat transport, through high-latitude processes.


title: Strongly k-recursive sequences

abstract: Drawing inspiration from a recent paper of Heuberger, Krenn, and Lipnik, we define the class of strongly k-recursive sequences. We show that every k-automatic sequence is strongly $k$-recursive, therefore k-recursive, and discuss that the converse is not true. We also show that the class of strongly k-recursive sequences is a proper subclass of the class of k-regular sequences, and we present some explicit examples. We then extend the proof techniques to answer the same question for the class of k-recursive sequences.


title: AR-GAN: Generative Adversarial Network-Based Defense Method Against Adversarial Attacks on the Traffic Sign Classification System of Autonomous Vehicles

abstract: This study developed a generative adversarial network (GAN)-based defense method for traffic sign classification in an autonomous vehicle (AV), referred to as the attack-resilient GAN (AR-GAN). The novelty of the AR-GAN lies in (i) assuming zero knowledge of adversarial attack models and samples and (ii) providing consistently high traffic sign classification performance under various adversarial attack types. The AR-GAN classification system consists of a generator that denoises an image by reconstruction, and a classifier that classifies the reconstructed image. The authors have tested the AR-GAN under no-attack and under various adversarial attacks, such as Fast Gradient Sign Method (FGSM), DeepFool, Carlini and Wagner (C&W), and Projected Gradient Descent (PGD). The authors considered two forms of these attacks, i.e., (i) black-box attacks (assuming the attackers possess no prior knowledge of the classifier), and (ii) white-box attacks (assuming the attackers possess full knowledge of the classifier). The classification performance of the AR-GAN was compared with several benchmark adversarial defense methods. The results showed that both the AR-GAN and the benchmark defense methods are resilient against black-box attacks and could achieve similar classification performance to that of the unperturbed images. However, for all the white-box attacks considered in this study, the AR-GAN method outperformed the benchmark defense methods. In addition, the AR-GAN was able to maintain its high classification performance under varied white-box adversarial perturbation magnitudes, whereas the performance of the other defense methods dropped abruptly at increased perturbation magnitudes.


title: Bounds for the number of moves between pants decompositions, and between triangulations

abstract: Given two pants decompositions of a compact orientable surface $S$, we give an upper bound for their distance in the pants graph that depends logarithmically on their intersection number and polynomially on the Euler characteristic of $S$. As a consequence, we find an upper bound on the volume of the convex core of a maximal cusp (which is a hyperbolic structures on $S \times \mathbb{R}$ where given pants decompositions of the conformal boundary are pinched to annular cusps). As a further application, we give an upper bound for the Weil--Petersson distance between two points in the Teichm\"uller space of $S$ in terms of their corresponding short pants decompositions. Similarly, given two one-vertex triangulations of $S$, we give an upper bound for the number of flips and twist maps needed to convert one triangulation into the other. The proofs rely on using pre-triangulations, train tracks, and an algorithm of Agol, Hass, and Thurston.


title: Velocity acoustic oscillations on Cosmic Dawn 21 cm power spectrum as a probe of small-scale density fluctuations

abstract: We investigate the feasibility of using the velocity acoustic oscillations (VAO) features on the Cosmic Dawn 21 cm power spectrum to probe small-scale density fluctuations. In the standard cold dark matter (CDM) model, Pop III stars form in minihalos and affect the 21 cm signal through Ly$\alpha$ and X-ray radiation. Such a process is modulated by the relative motion between dark matter and baryons, generating the VAO wiggles on the 21 cm power spectrum. In the fuzzy or warm dark matter models for which the number of minihalos is reduced, the VAO wiggles are weaker or even fully invisible. We investigate the wiggle features in the CDM with different astrophysical models and in different dark matter models. We find: 1) In the CDM model the relative streaming velocities can generate the VAO wiggles for broad ranges of parameters $f_*$, $\zeta_X$ and $f_{\rm esc,LW}\zeta_{\rm LW}$, though for different parameters the wiggles would appear at different redshifts and have different amplitudes. 2) For the axion model with $m_{\rm a} \lesssim10^{-19}$ eV, the VAO wiggles are negligible. In the mixed model, the VAO signal is sensitive to the axion fraction. For example, the wiggles almost disappear when $f_{\rm a} \gtrsim 10\%$ for $m_{\rm a}=10^{-21}$ eV. Therefore, the VAO signal can be an effective indicator for small-scale density fluctuations and a useful probe of the nature of dark matter. The SKA-low with $\sim$2000 hour observation time has the ability to detect the VAO signal and constraint dark matter models.


title: Existence and regularity of random attractors for stochastic evolution equations driven by rough noise

abstract: This work establishes the existence and regularity of random pullback attractors for parabolic partial differential equations with rough nonlinear multiplicative noise under natural assumptions on the coefficients. To this aim, we combine tools from rough path theory and random dynamical systems.~An application is given by partial differential equations with rough boundary noise, for which flow transformations are not available.


title: Exploring the Unexplored: Understanding the Impact of Layer Adjustments on Image Classification

abstract: This paper investigates how adjustments to deep learning architectures impact model performance in image classification. Small-scale experiments generate initial insights although the trends observed are not consistent with the entire dataset. Filtering operations in the image processing pipeline are crucial, with image filtering before pre-processing yielding better results. The choice and order of layers as well as filter placement significantly impact model performance. This study provides valuable insights into optimizing deep learning models, with potential avenues for future research including collaborative platforms.


title: Short-Time Infrequent Metadynamics for Improved Kinetics Inference

abstract: Infrequent Metadynamics is a popular method to obtain the rate of long timescale processes from accelerated simulations. The inference procedure is based on rescaling the first-passage times of Metadynamics trajectories using a bias-dependent acceleration factor. While useful in many cases, it is limited to Poisson kinetics, and a reliable estimation of the unbiased rate requires slow bias deposition and prior knowledge of efficient collective variables. Here, we propose an improved inference scheme, which is based on two key observations: 1) The time-independent rate of Poisson processes can be estimated using short trajectories only. 2) Short trajectories experience minimal bias, and their rescaled first-passage times follow the unbiased distribution even for relatively high deposition rates and suboptimal collective variables. Therefore, by limiting the inference procedure to short timescales, we obtain an improved tradeoff between speedup and accuracy at no additional computational cost, especially when employing suboptimal collective variables. We demonstrate the improved inference scheme for a model system and two molecular systems.


title: Equivariant $\mathcal{D}$-stability for Actions of Tensor Categories

abstract: We introduce a notion of equivariant $\mathcal{D}$-stability for actions of unitary tensor categories on C$^*$-algebras. We show that, when $\mathcal{D}$ is strongly self-absorbing, equivariant $\mathcal{D}$-stability of an action is equivalent to a unital embedding of $\mathcal{D}$ into a certain subalgebra of Kirchberg's central sequence algebra. We use this to show $\mathcal{Z}$-stability for a large class of AF-actions.


title: spINAR: An R Package for Semiparametric and Parametric Estimation and Bootstrapping of Integer-Valued Autoregressive (INAR) Models

abstract: Although the statistical literature extensively covers continuous-valued time series processes and their parametric, non-parametric and semiparametric estimation, the literature on count data time series is considerably less advanced. Among the count data time series models, the integer-valued autoregressive (INAR) model is arguably the most popular one finding applications in a wide variety of fields such as medical sciences, environmentology and economics. While many contributions have been made during the last decades, the majority of the literature focuses on parametric INAR models and estimation techniques. Our emphasis is on the complex but efficient and non-restrictive semiparametric estimation of INAR models. The appeal of this approach lies in the absence of a commitment to a parametric family of innovation distributions. In this paper, we describe the need and the features of our R package spINAR which combines semiparametric simulation, estimation and bootstrapping of INAR models also covering its parametric versions.


title: Enhanced Labeling Technique for Reddit Text and Fine-Tuned Longformer Models for Classifying Depression Severity in English and Luganda

abstract: Depression is a global burden and one of the most challenging mental health conditions to control. Experts can detect its severity early using the Beck Depression Inventory (BDI) questionnaire, administer appropriate medication to patients, and impede its progression. Due to the fear of potential stigmatization, many patients turn to social media platforms like Reddit for advice and assistance at various stages of their journey. This research extracts text from Reddit to facilitate the diagnostic process. It employs a proposed labeling approach to categorize the text and subsequently fine-tunes the Longformer model. The model's performance is compared against baseline models, including Naive Bayes, Random Forest, Support Vector Machines, and Gradient Boosting. Our findings reveal that the Longformer model outperforms the baseline models in both English (48%) and Luganda (45%) languages on a custom-made dataset.


title: New Algorithms for Computing Sibson Capacity and Arimoto Capacity

abstract: The Sibson and Arimoto capacity, which are based on the Sibson and Arimoto mutual information (MI) of order {\alpha}, respectively, are well-known generalizations of the channel capacity C. In this study, we derive novel alternating optimization algorithms for computing these capacities by providing new variational characterizations of the Sibson and Arimoto MI. Moreover, we prove that all iterative algorithms for computing these capacities are equivalent under appropriate conditions imposed on their initial distributions.


title: Improving Natural Language Capability of Code Large Language Model

abstract: Code large language models (Code LLMs) have demonstrated remarkable performance in code generation. Nonetheless, most existing works focus on boosting code LLMs from the perspective of programming capabilities, while their natural language capabilities receive less attention. To fill this gap, we thus propose a novel framework, comprising two modules: AttentionExtractor, which is responsible for extracting key phrases from the user's natural language requirements, and AttentionCoder, which leverages these extracted phrases to generate target code to solve the requirement. This framework pioneers an innovative idea by seamlessly integrating code LLMs with traditional natural language processing tools. To validate the effectiveness of the framework, we craft a new code generation benchmark, called MultiNL-H, covering five natural languages. Extensive experimental results demonstrate the effectiveness of our proposed framework.


title: Variational Neural and Tensor Network Approximations of Thermal States

abstract: We introduce a variational Monte Carlo algorithm for approximating finite-temperature quantum many-body systems, based on the minimization of a modified free energy. We employ a variety of trial states -- both tensor networks as well as neural networks -- as variational ans\"atze for our numerical optimization. We benchmark and compare different constructions in the above classes, both for one- and two-dimensional problems, with systems made of up to \(N=100\) spins. Despite excellent results in one dimension, our results suggest that the numerical ans\"atze employed have certain expressive limitations for tackling more challenging two-dimensional systems.


title: Contract Usage and Evolution in Android Mobile Applications

abstract: Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and invariants. Previous research has demonstrated the value of contracts in traditional software development contexts. However, the adoption and impact of contracts in the context of mobile application development, particularly of Android applications, remain unexplored. To address this, we present the first large-scale empirical study on the presence and use of contracts in Android applications, written in Java or Kotlin. We consider different types of contract elements divided into five categories: conditional runtime exceptions, APIs, annotations, assertions, and other. We analyzed 2,390 Android applications from the F-Droid repository and processed more than 51,749 KLOC to determine 1) how and to what extent contracts are used, 2) how contract usage evolves, and 3) whether contracts are used safely in the context of program evolution and inheritance. Our findings include: 1) although most applications do not specify contracts, annotation-based approaches are the most popular among practitioners; 2) applications that use contracts continue to use them in later versions, but the number of methods increases at a higher rate than the number of contracts; and 3) there are many potentially unsafe specification changes when applications evolve and in subtyping relationships, which indicates a lack of specification stability. Our findings show that it would be desirable to have libraries that standardize contract specifications in Java and Kotlin, and tools that aid practitioners in writing stronger contracts and in detecting contract violations in the context of program evolution and inheritance.


title: Counting rational points in non-singular curves

abstract: In this paper, we will give a uniform upper bound of the number of rational points of bounded height in non-singular curves by applying the global determinant method.


title: A stationary population model with an interior interface-type boundary

abstract: We propose a stationary system that might be regarded as a migration model of some population abandoning their original place of abode and becoming part of another population, once they reach the interface boundary. To do so, we show a model where each population follows a logistic equation in their own environment while assuming spatial heterogeneities. Moreover, both populations are coupled through the common boundary, which acts as a permeable membrane on which their flow moves in and out. The main goal we face in this work will be to describe the precise interplay between the stationary solutions with respect to the parameters involved in the problem, in particular the growth rate of the populations and the coupling parameter involved on the boundary where the interchange of flux is taking place.


title: Asymptotic behaviour for a class of quasilinear cooperative eigenvalue problems

abstract: This work is devoted to the analysis of the asymptotic behaviour of a parameter dependent quasilinear cooperative eigenvalue system when a parameter in front of some non-negative potentials goes to infinity. In particular we consider operators of $p$-Laplacian type. We prove that the eigenfunctions concentrate on the subdomains where those potentials vanish at the limit, while the eigenvalue approaches to an upper bound that will depend on those subdomains as well. We also show several properties for the unusual limiting problems obtained here.


title: On generalisability of segment anything model for nuclear instance segmentation in histology images

abstract: Pre-trained on a large and diverse dataset, the segment anything model (SAM) is the first promptable foundation model in computer vision aiming at object segmentation tasks. In this work, we evaluate SAM for the task of nuclear instance segmentation performance with zero-shot learning and finetuning. We compare SAM with other representative methods in nuclear instance segmentation, especially in the context of model generalisability. To achieve automatic nuclear instance segmentation, we propose using a nuclei detection model to provide bounding boxes or central points of nu-clei as visual prompts for SAM in generating nuclear instance masks from histology images.


title: Asymptotic limit of linear parabolic equations with spatio-temporal degenerated potentials

abstract: In this paper, we observe how the heat equation in a non-cylindrical domain can arise as the asymptotic limit of a parabolic problem in a cylindrical domain, by adding a potential that vanishes outside the limit domain. This can be seen as a parabolic version of a previous work by the first and last authors, concerning the stationary case. We provide a strong convergence result for the solution by use of energetic methods and $\Gamma$-convergence technics. Then, we establish an exponential decay estimate coming from an adaptation of an argument due to B. Simon.


title: JUMP: A joint multimodal registration pipeline for neuroimaging with minimal preprocessing

abstract: We present a pipeline for unbiased and robust multimodal registration of neuroimaging modalities with minimal pre-processing. While typical multimodal studies need to use multiple independent processing pipelines, with diverse options and hyperparameters, we propose a single and structured framework to jointly process different image modalities. The use of state-of-the-art learning-based techniques enables fast inferences, which makes the presented method suitable for large-scale and/or multi-cohort datasets with a diverse number of modalities per session. The pipeline currently works with structural MRI, resting state fMRI and amyloid PET images. We show the predictive power of the derived biomarkers using in a case-control study and study the cross-modal relationship between different image modalities. The code can be found in https: //github.com/acasamitjana/JUMP.


title: On quasi-local angular momentum and the construction of axial vector fields

abstract: A method is introduced which, for the first time, allows us to construct axial vector fields without which formal definitions of quasi-local angular momentum, in general, would remain empty. The introduced method is practical, it can be used to construct all such axial vector fields, and it allows the quasi-local angular momentum to be represented by a triple vector in three-dimensional Euclidean space. We also derive balance relations which allow us to monitor the variation of the magnitude and direction of this vector, and also to monitor the angular momentum transports in generic spacetimes without symmetries.


title: On mission Twitter Profiles: A Study of Selective Toxic Behavior

abstract: The argument for persistent social media influence campaigns, often funded by malicious entities, is gaining traction. These entities utilize instrumented profiles to disseminate divisive content and disinformation, shaping public perception. Despite ample evidence of these instrumented profiles, few identification methods exist to locate them in the wild. To evade detection and appear genuine, small clusters of instrumented profiles engage in unrelated discussions, diverting attention from their true goals. This strategic thematic diversity conceals their selective polarity towards certain topics and fosters public trust. This study aims to characterize profiles potentially used for influence operations, termed 'on-mission profiles,' relying solely on thematic content diversity within unlabeled data. Distinguishing this work is its focus on content volume and toxicity towards specific themes. Longitudinal data from 138K Twitter or X, profiles and 293M tweets enables profiling based on theme diversity. High thematic diversity groups predominantly produce toxic content concerning specific themes, like politics, health, and news classifying them as 'on-mission' profiles. Using the identified ``on-mission" profiles, we design a classifier for unseen, unlabeled data. Employing a linear SVM model, we train and test it on an 80/20% split of the most diverse profiles. The classifier achieves a flawless 100% accuracy, facilitating the discovery of previously unknown ``on-mission" profiles in the wild.


title: Vapor compression and energy dissipation in a collapsing laser-induced bubble

abstract: The composition of the gaseous phase of cavitation bubbles and its role on the collapse remains to date poorly understood. In this work, experiments of single cavitation bubbles in aqueous ammonia serve as a novel approach to investigate the effect of the vapor contained in a bubble on its collapse. We find that the higher vapor pressure of more concentrated aqueous ammonia acts as a resistance to the collapse, reducing the total energy dissipation. In line with visual observation, acoustic measurements, and luminescence recordings, it is also observed that higher vapor pressures contribute to a more spherical collapse, likely hindering the growth of interface instabilities by decreasing the collapse velocities and accelerations. Remarkably, we evidence a strong difference between the effective damping and the energy of the shock emission, suggesting that the latter is not the dominant dissipation mechanism at collapse as predicted from classical correction models accounting for slightly compressible liquids. Furthermore, our results suggest that the vapor inside collapsing bubbles gets compressed, consistently with previous studies performed in the context of single bubble sonoluminescence, addressing the question about the ability of vapors to readily condense during a bubble collapse in similar regimes. These findings provide insights into the identification of the influence of the bubble content and the energy exchanges of the bubble with its surrounding media, eventually paving the way to a more efficient use of cavitation in engineering and biomedical applications.


title: Diagrammatic representations of 3-periodic entanglements

abstract: Diagrams enable the use of various algebraic and geometric tools for analysing and classifying knots. In this paper we introduce a new diagrammatic representation of triply-periodic entangled structures (TP tangles), which are embeddings of simple curves in $\mathbb{R}^3$ that are invariant under translations along three non-coplanar axes. As such, these entanglements can be seen as lifts of links in the 3-torus $\mathbb{T}^3 = \mathbb{S}^1 \times \mathbb{S}^1 \times \mathbb{S}^1$, where two non-isotopic links in $\mathbb{T}^3$ may lift to the same TP tangle. We consider the equivalence of TP tangles in $\mathbb{R}^3$ through the use of diagrams representing links in $\mathbb{T}^3$. These diagrams require additional moves beyond the classical Reidemeister moves, which we define and show that they preserve ambient isotopies of links in $\mathbb{T}^3$. The final definition of a tridiagram of a link in $\mathbb{T}^3$ allows us to then consider additional notions of equivalence that encode global isotopies of a TP tangle, such as a change of basis or lattice in $\mathbb{R}^3$.


title: Interpretable Solutions for Breast Cancer Diagnosis with Grammatical Evolution and Data Augmentation

abstract: Medical imaging diagnosis increasingly relies on Machine Learning (ML) models. This is a task that is often hampered by severely imbalanced datasets, where positive cases can be quite rare. Their use is further compromised by their limited interpretability, which is becoming increasingly important. While post-hoc interpretability techniques such as SHAP and LIME have been used with some success on so-called black box models, the use of inherently understandable models makes such endeavors more fruitful. This paper addresses these issues by demonstrating how a relatively new synthetic data generation technique, STEM, can be used to produce data to train models produced by Grammatical Evolution (GE) that are inherently understandable. STEM is a recently introduced combination of the Synthetic Minority Oversampling Technique (SMOTE), Edited Nearest Neighbour (ENN), and Mixup; it has previously been successfully used to tackle both between class and within class imbalance issues. We test our technique on the Digital Database for Screening Mammography (DDSM) and the Wisconsin Breast Cancer (WBC) datasets and compare Area Under the Curve (AUC) results with an ensemble of the top three performing classifiers from a set of eight standard ML classifiers with varying degrees of interpretability. We demonstrate that the GE-derived models present the best AUC while still maintaining interpretable solutions.


title: Producing Plankton Classifiers that are Robust to Dataset Shift

abstract: Modern plankton high-throughput monitoring relies on deep learning classifiers for species recognition in water ecosystems. Despite satisfactory nominal performances, a significant challenge arises from Dataset Shift, which causes performances to drop during deployment. In our study, we integrate the ZooLake dataset with manually-annotated images from 10 independent days of deployment, serving as test cells to benchmark Out-Of-Dataset (OOD) performances. Our analysis reveals instances where classifiers, initially performing well in In-Dataset conditions, encounter notable failures in practical scenarios. For example, a MobileNet with a 92% nominal test accuracy shows a 77% OOD accuracy. We systematically investigate conditions leading to OOD performance drops and propose a preemptive assessment method to identify potential pitfalls when classifying new data, and pinpoint features in OOD images that adversely impact classification. We present a three-step pipeline: (i) identifying OOD degradation compared to nominal test performance, (ii) conducting a diagnostic analysis of degradation causes, and (iii) providing solutions. We find that ensembles of BEiT vision transformers, with targeted augmentations addressing OOD robustness, geometric ensembling, and rotation-based test-time augmentation, constitute the most robust model, which we call BEsT model. It achieves an 83% OOD accuracy, with errors concentrated on container classes. Moreover, it exhibits lower sensitivity to dataset shift, and reproduces well the plankton abundances. Our proposed pipeline is applicable to generic plankton classifiers, contingent on the availability of suitable test cells. By identifying critical shortcomings and offering practical procedures to fortify models against dataset shift, our study contributes to the development of more reliable plankton classification technologies.


title: Sketch2NeRF: Multi-view Sketch-guided Text-to-3D Generation

abstract: Recently, text-to-3D approaches have achieved high-fidelity 3D content generation using text description. However, the generated objects are stochastic and lack fine-grained control. Sketches provide a cheap approach to introduce such fine-grained control. Nevertheless, it is challenging to achieve flexible control from these sketches due to their abstraction and ambiguity. In this paper, we present a multi-view sketch-guided text-to-3D generation framework (namely, Sketch2NeRF) to add sketch control to 3D generation. Specifically, our method leverages pretrained 2D diffusion models (e.g., Stable Diffusion and ControlNet) to supervise the optimization of a 3D scene represented by a neural radiance field (NeRF). We propose a novel synchronized generation and reconstruction method to effectively optimize the NeRF. In the experiments, we collected two kinds of multi-view sketch datasets to evaluate the proposed method. We demonstrate that our method can synthesize 3D consistent contents with fine-grained sketch control while being high-fidelity to text prompts. Extensive results show that our method achieves state-of-the-art performance in terms of sketch similarity and text alignment.


title: Accurate ab initio spectroscopic studies of promising interstellar ethanolamine iminic precursors

abstract: Context. The detection of NH2CH2CH2OH (ethanolamine) in molecular cloud G+0.693-0.027 adds an additional player to the prebiotic molecules discovered so far in the interstellar medium (ISM). As this molecule might be formed through condensed-phase hydrogenation steps, detecting one or more of the molecules involved might help to elucidate the chemical pathway leading to its production. Aims. The chemical path involves the formation of four chemical species. In this work, we study the energies of the isomers involved, indicate the best candidates for detection purposes, and provide the distortion constants of the most energetically favoured isomers undetected so far. Methods. We used highly accurate CCSD(T)-F12/cc-pCVTZ-F12 computations to predict the lowest energy isomers as well as their spectroscopic constants, taking corrections for core electron correlation and scalar relativity into account. Results. We studied 14 isomers. We find that the lowest energy isomer proposed in previous studies is not the actual minimum. We provide a set of rotational and distortion constants of the two new most stable isomers together with their fundamental vibrational frequencies in order to guide the search for these important astrochemical precursors of prebiotic molecules in the ISM.


title: Mpemba effects in nonequilibrium open quantum systems

abstract: Originally, the Mpemba effect (MPE) is referred to the faster icing of a higher-temperature system than a system of a lower temperature. This concept was later generalized to anomalous decays of certain system quantities to the equilibrium states. In this study, we investigate the scenario when a system has no such equilibrium state to approach. Instead, the system is put in contact with two different baths, and only a nonequilibrium state exists, sustained by constant energy injection from the surrounding thermal baths. Firstly, we show that the nonequilibrium conditions can dramatically enlarge the parameter regimes where the MPE emerges. Secondly, we demonstrate that the anomalous MPEs and inverse MPEs emerge in the evolution of quantum correlations in the two-site fermionic system and that nonequilibrium conditions can expedite or delay the MPEs. Thirdly, we show that the nonequilibrium-induced quantum coherence can have considerable contributions to the emergence of the MPE which the conventional Lindbladian dynamics fails to capture.


title: Stability and Transport of Gyrokinetic Critical Pedestals

abstract: A gyrokinetic threshold model for pedestal width-height scaling prediction is applied to multiple devices and to a shaping and aspect-ratio scan giving $\Delta_{\mathrm{ped}} = 0.92 A^{1.04} \kappa^{-1.24} 0.38^{\delta} \beta_{\theta,\mathrm{ped}}^{1.05}$ for pedestal width $\Delta_{\mathrm{ped}}$, aspect-ratio $A$, elongation $\kappa$, triangularity $\delta$, and normalized pedestal height $\beta_{\theta,\mathrm{ped}}$. We also find a width-transport scaling $\Delta_{\mathrm{ped} } = 0.028 \left(q_e/\Gamma_e - 1.7 \right)^{1.5} \sim \eta_e ^{1.5}$ where $q_e$ and $\Gamma_e$ are turbulent electron heat and particle fluxes and $\eta_e = \nabla \ln T_e / \nabla \ln n_e$ for electron temperature $T_e$ and density $n_e$. Pedestals close to those limited by kinetic-ballooning-modes (KBMs) have modified turbulent transport properties compared to strongly driven KBMs. The role of flow shear is studied as a width-height scaling constraint and pedestal saturation mechanism for a standard and wide pedestal discharge.


title: Conservation laws and the foundations of quantum mechanics

abstract: In a recent paper, PNAS, 118, e1921529118 (2021), it was argued that while the standard definition of conservation laws in quantum mechanics, which is of a statistical character, is perfectly valid, it misses essential features of nature and it can and must be revisited to address the issue of conservation/non-conservation in individual cases. Specifically, in the above paper an experiment was presented in which it can be proven that in some individual cases energy is not conserved, despite being conserved statistically. It was felt however that this is worrisome, and that something must be wrong if there are individual instances in which conservation doesn't hold, even though this is not required by the standard conservation law. Here we revisit that experiment and show that although its results are correct, there is a way to circumvent them and ensure individual case conservation in that situation. The solution is however quite unusual, challenging one of the basic assumptions of quantum mechanics, namely that any quantum state can be prepared, and it involves a time-holistic, double non-conservation effect. Our results bring new light on the role of the preparation stage of the initial state of a particle and on the interplay of conservation laws and frames of reference. We also conjecture that when such a full analysis of any conservation experiment is performed, conservation is obeyed in every individual case.


title: Room temperature nonlocal detection of charge-spin interconversion in a topological insulator

abstract: Topological insulators (TIs) are emerging materials for next-generation low-power nanoelectronic and spintronic device applications. TIs possess non-trivial spin-momentum locking features in the topological surface states in addition to the spin-Hall effect (SHE), and Rashba states due to high spin-orbit coupling (SOC) properties. These phenomena are vital for observing the charge-spin conversion (CSC) processes for spin-based memory, logic and quantum technologies. Although CSC has been observed in TIs by potentiometric measurements, reliable nonlocal detection has so far been limited to cryogenic temperatures up to T = 15 K. Here, we report nonlocal detection of CSC and its inverse effect in the TI compound Bi1.5Sb0.5Te1.7Se1.3 at room temperature using a van der Waals heterostructure with a graphene spin-valve device. The lateral nonlocal device design with graphene allows observation of both spin-switch and Hanle spin precession signals for generation, injection and detection of spin currents by the TI. Detailed bias- and gate-dependent measurements in different geometries prove the robustness of the CSC effects in the TI. These findings demonstrate the possibility of using topological materials to make all-electrical room-temperature spintronic devices.


title: Pulse width modulation technique with harmonic injection in the modulating wave and discontinuous frequency modulation for the carrier wave to reduce vibrations in asynchronous machines

abstract: A new carrier-based pulse-width modulation (PWM) technique to control power inverters is presented in this paper. To generate the output waveform, this technique compares a harmonic-injection modulating wave and a frequency-modulated triangular carrier wave. The instantaneous frequency for the carrier wave is adjusted according to a periodic function synchronized with the fundamental term of the modulating wave. The main motivation for using this technique compared to a classic PWM sinusoidal technique revolves around the reduction of total harmonic distortion, the reduction of the distortion factor and the shift of temporal harmonics to higher frequencies for any modulation frequency order. Experimental results show that it is possible to optimize the time harmonics generated to minimize vibrations produced by an induction motor when it is fed with a DC/AC converter controlled by the proposed control strategy. This is made possible by using a control parameter that modifies the instantaneous frequency of the carrier wave without modifying the number of pulses per period of the modulating wave, i. e. the mean value of the carrier wave frequency. The proposed technique is applied to an open loop-controlled inverter that operates an induction motor, helping to reduce the vibration levels produced.


title: Existence and characterization of edge states in an acoustic trimer Su-Schrieffer-Heeger model

abstract: We report on a direct mapping of acoustic slender waveguides to the one dimensional trimer Su- Schrieffer-Heeger model, with neither chiral nor mirror symmetry. Importantly, we can choose to perform this mapping for either the acoustic velocity or pressure. We demonstrate that, for finite systems, this choice is necessarily linked to the boundary conditions. It allows for the unveiling of the edge states of the acoustic system through an edge state phase diagram. An experimental realization of our setup in the audible regime corroborates our theoretical predictions.


title: Worst-Case Per-User Error Bound for Asynchronous Unsourced Multiple Access

abstract: This work considers an asynchronous $\textsf{K}_\text{a}$-active-user unsourced multiple access channel (AUMAC) with the worst-case asynchronicity. The transmitted messages must be decoded within $n$ channel uses, while some codewords are not completely received due to asynchronicities. We consider a constraint of the largest allowed delay of the transmission. The AUMAC lacks the permutation-invariant property of the synchronous UMAC since different permutations of the same codewords with a fixed asynchronicity are distinguishable. Hence, the analyses require calculating all $2^{\textsf{K}_\text{a}}-1$ combinations of erroneously decoded messages. Moreover, transmitters cannot adapt the corresponding codebooks according to asynchronicity due to a lack of information on asynchronicities. To overcome this challenge, a uniform bound of the per-user probability of error (PUPE) is derived by investigating the worst-case of the asynchronous patterns with the delay constraint. Numerical results show the trade-off between the energy-per-bit and the number of active users for different delay constraints. In addition, although the asynchronous transmission reduces interference, the required energy-per-bit increases as the receiver decodes with incompletely received codewords, compared to the synchronous case.


title: Phenomenology of TMD parton distributions in Drell-Yan and $Z^0$ boson production in a hadron structure oriented approach

abstract: We present a first practical implementation of a recently proposed hadron structure oriented (HSO) approach to TMD phenomenology applied to Drell-Yan like processes, including lepton pair production at moderate $Q^2$ and $Z^0$ boson production. We compare and contrast general features of our methodology with other common practices and emphasize the improvements derived from our approach that we view as essential for applications where extracting details of nonperturbative transverse hadron structure is a major goal. These include the HSO's preservation of a basic TMD parton-model-like framework even while accounting for full TMD factorization and evolution, explicit preservation of the integral relationship between TMD and collinear pdfs, and the ability to meaningfully compare different theoretical models of nonperturbative TMD parton distributions. In our examples, we show that there is significant sensitivity at moderate $Q^2$ to both the form of the nonperturbative transverse momentum dependence and the parametrization of collinear parton densities. However, we also find that evolving to $Q^2 = M_Z^2$, without fitting, results in a satisfactory postdiction of existing data for $Z^0$ production, nearly independently of the modeling of nonperturbative transverse momentum behavior. We argue that this demonstrates that moderate $Q$ measurements should be given greater weight than high $Q$ measurements in extractions of nonperturbative transverse momentum dependence. We also obtain new extractions of the nonperturbative Collins-Soper kernel within the HSO approach. We discuss its features and compare with some earlier extractions.


title: Transformers and Cortical Waves: Encoders for Pulling In Context Across Time

abstract: The capabilities of transformer networks such as ChatGPT and other Large Language Models (LLMs) have captured the world's attention. The crucial computational mechanism underlying their performance relies on transforming a complete input sequence - for example, all the words in a sentence into a long "encoding vector" - that allows transformers to learn long-range temporal dependencies in naturalistic sequences. Specifically, "self-attention" applied to this encoding vector enhances temporal context in transformers by computing associations between pairs of words in the input sequence. We suggest that waves of neural activity, traveling across single cortical regions or across multiple regions at the whole-brain scale, could implement a similar encoding principle. By encapsulating recent input history into a single spatial pattern at each moment in time, cortical waves may enable temporal context to be extracted from sequences of sensory inputs, the same computational principle used in transformers.


title: GPTVoiceTasker: LLM-Powered Virtual Assistant for Smartphone

abstract: Virtual assistants have the potential to play an important role in helping users achieves different tasks. However, these systems face challenges in their real-world usability, characterized by inefficiency and struggles in grasping user intentions. Leveraging recent advances in Large Language Models (LLMs), we introduce GptVoiceTasker, a virtual assistant poised to enhance user experiences and task efficiency on mobile devices. GptVoiceTasker excels at intelligently deciphering user commands and executing relevant device interactions to streamline task completion. The system continually learns from historical user commands to automate subsequent usages, further enhancing execution efficiency. Our experiments affirm GptVoiceTasker's exceptional command interpretation abilities and the precision of its task automation module. In our user study, GptVoiceTasker boosted task efficiency in real-world scenarios by 34.85%, accompanied by positive participant feedback. We made GptVoiceTasker open-source, inviting further research into LLMs utilization for diverse tasks through prompt engineering and leveraging user usage data to improve efficiency.


title: Combined Generative and Predictive Modeling for Speech Super-resolution

abstract: Speech super-resolution (SR) is the task that restores high-resolution speech from low-resolution input. Existing models employ simulated data and constrained experimental settings, which limit generalization to real-world SR. Predictive models are known to perform well in fixed experimental settings, but can introduce artifacts in adverse conditions. On the other hand, generative models learn the distribution of target data and have a better capacity to perform well on unseen conditions. In this study, we propose a novel two-stage approach that combines the strengths of predictive and generative models. Specifically, we employ a diffusion-based model that is conditioned on the output of a predictive model. Our experiments demonstrate that the model significantly outperforms single-stage counterparts and existing strong baselines on benchmark SR datasets. Furthermore, we introduce a repainting technique during the inference of the diffusion process, enabling the proposed model to regenerate high-frequency components even in mismatched conditions. An additional contribution is the collection of and evaluation on real SR recordings, using the same microphone at different native sampling rates. We make this dataset freely accessible, to accelerate progress towards real-world speech super-resolution.


title: Viscoelasticty with physics-augmented neural networks: Model formulation and training methods without prescribed internal variables

abstract: We present an approach for the data-driven modeling of nonlinear viscoelastic materials at small strains which is based on physics-augmented neural networks (NNs) and requires only stress and strain paths for training. The model is built on the concept of generalized standard materials and is therefore thermodynamically consistent by construction. It consists of a free energy and a dissipation potential, which can be either expressed by the components of their tensor arguments or by a suitable set of invariants. The two potentials are described by fully/partially input convex neural networks. For training of the NN model by paths of stress and strain, an efficient and flexible training method based on a recurrent cell, particularly a long short-term memory cell, is developed to automatically generate the internal variable(s) during the training process. The proposed method is benchmarked and thoroughly compared with existing approaches. These include a method that obtains the internal variable by integrating the evolution equation over the entire sequence, while the other method uses an an auxiliary feedforward neural network for the internal variable(s). Databases for training are generated by using a conventional nonlinear viscoelastic reference model, where 3D and 2D plane strain data with either ideal or noisy stresses are generated. The coordinate-based and the invariant-based formulation are compared and the advantages of the latter are demonstrated. Afterwards, the invariant-based model is calibrated by applying the three training methods using ideal or noisy stress data. All methods yield good results, but differ in computation time and usability for large data sets. The presented training method based on a recurrent cell turns out to be particularly robust and widely applicable and thus represents a promising approach for the calibration of other types of models as well.


title: Improving Design of Input Condition Invariant Speech Enhancement

abstract: Building a single universal speech enhancement (SE) system that can handle arbitrary input is a demanded but underexplored research topic. Towards this ultimate goal, one direction is to build a single model that handles diverse audio duration, sampling frequencies, and microphone variations in noisy and reverberant scenarios, which we define here as "input condition invariant SE". Such a model was recently proposed showing promising performance; however, its multi-channel performance degraded severely in real conditions. In this paper we propose novel architectures to improve the input condition invariant SE model so that performance in simulated conditions remains competitive while real condition degradation is much mitigated. For this purpose, we redesign the key components that comprise such a system. First, we identify that the channel-modeling module's generalization to unseen scenarios can be sub-optimal and redesign this module. We further introduce a two-stage training strategy to enhance training efficiency. Second, we propose two novel dual-path time-frequency blocks, demonstrating superior performance with fewer parameters and computational costs compared to the existing method. All proposals combined, experiments on various public datasets validate the efficacy of the proposed model, with significantly improved performance on real conditions. Recipe with full model details is released at https://github.com/espnet/espnet.


title: libcdict: fast dictionaries in C

abstract: A common requirement in science is to store and share large sets of simulation data in an efficient, nested, flexible and human-readable way. Such datasets contain number counts and distributions, i.e. histograms and maps, of arbitrary dimension and variable type, e.g. floating-point number, integer or character string. Modern high-level programming languages like Perl and Python have associated arrays, knowns as dictionaries or hashes, respectively, to fulfil this storage need. Low-level languages used more commonly for fast computational simulations, such as C and Fortran, lack this functionality. We present libcdict, a C dictionary library, to solve this problem. Libcdict provides C and Fortran application programming interfaces (APIs) to native dictionaries, called cdicts, and functions for cdicts to load and save these as JSON and hence for easy interpretation in other software and languages like Perl, Python and R.

categories: cs.DS astro-ph.GA astro-ph.HE astro-ph.IM astro-ph.SR


title: Uniformly rotating vortices for the lake equation

abstract: We investigate the existence of time-periodic vortex patch solutions, in both simply and doubly-connected cases, for the two-dimensional lake equation where the depth function of the lake is assumed to be non-degenerate and radial. The proofs employ bifurcation techniques, where the most challenging steps are related to the regularity study of some nonlinear functionals and the spectral analysis of their linearized operators around Rankine type vortices. The main difficulties stem from the roughness and the implicit form of the Green function connecting the fluid vorticity and its stream function. We handle in part these issues by exploring the asymptotic structure of the solutions to the associated elliptic problem. As to the distribution of the spectrum, it is tackled by a fixed-point argument through a perturbative approach.


title: Effects of mechanical treatment and exchanged cation on the microporosity of vermiculite

abstract: The influence of the interlayer cations, sonication and grinding on surface area of the vermiculite from Santa Olalla has been studied. For untreated samples the surface area increases with the size of the exchanged cation and only the samples with the largest cations (NH+ and K+) show some microporosity. Sonication produces an increase of the surface area but the amount of micropores remains almost unchanged. Grinding leads to a significant increase of the surface area and of the microporosity. In the ground samples the percentage of micropores contributing to the surface area is influenced by the interlayer cation and the extent of N2 penetration by the water kept in the sample at a given degassing temperature. From transmission electron microscopy, thermogravimetry and XRD (d00l diffraction peaks) it can be concluded that grinding produces imperfections in crystal ordering, some alteration in the crystal edges, and a significant release of loosely bound water at temperatures up to 450 8C. These effects are responsible for the high surface area and microporosity measured by the N2 adsorption.


title: Bifurcation of Dividing Surfaces Constructed from Period-Doubling Bifurcations of Periodic Orbits in a Caldera Potential Energy Surface

abstract: In this work we analyze the bifurcation of dividing surfaces that occurs as a result of two period-doubling bifurcations in a 2D caldera-type potential. We study the structure, the range, the minimum and maximum extents of the periodic orbit dividing surfaces before and after a subcritical period-doubling bifurcation of the family of the central minimum of the potential energy surface. Furthermore, we repeat the same study for the case of a supercritical perioddoubling bifurcation of the family of the central minimum of the potential energy surface. We will discuss and compare the results for the two cases of bifurcations of dividing surfaces.


title: Optimization-based motion primitive automata for autonomous driving

abstract: Trajectory planning for autonomous cars can be addressed by primitive-based methods, which encode nonlinear dynamical system behavior into automata. In this paper, we focus on optimal trajectory planning. Since, typically, multiple criteria have to be taken into account, multiobjective optimization problems have to be solved. For the resulting Pareto-optimal motion primitives, we introduce a universal automaton, which can be reduced or reconfigured according to prioritized criteria during planning. We evaluate a corresponding multi-vehicle planning scenario with both simulations and laboratory experiments.


title: An Instance-Based Approach to the Trace Reconstruction Problem

abstract: In the trace reconstruction problem, one observes the output of passing a binary string $s \in \{0,1\}^n$ through a deletion channel $T$ times and wishes to recover $s$ from the resulting $T$ "traces." Most of the literature has focused on characterizing the hardness of this problem in terms of the number of traces $T$ needed for perfect reconstruction either in the worst case or in the average case (over input sequences $s$). In this paper, we propose an alternative, instance-based approach to the problem. We define the "Levenshtein difficulty" of a problem instance $(s,T)$ as the probability that the resulting traces do not provide enough information for correct recovery with full certainty. One can then try to characterize, for a specific $s$, how $T$ needs to scale in order for the Levenshtein difficulty to go to zero, and seek reconstruction algorithms that match this scaling for each $s$. For a class of binary strings with alternating long runs, we precisely characterize the scaling of $T$ for which the Levenshtein difficulty goes to zero. For this class, we also prove that a simple "Las Vegas algorithm" has an error probability that decays to zero with the same rate as that with which the Levenshtein difficulty tends to zero.

categories: cs.IT cs.DS math.IT math.PR math.ST stat.TH


title: CHIRON: Accelerating Node Synchronization without Security Trade-offs in Distributed Ledgers

abstract: Blockchain performance has historically faced challenges posed by the throughput limitations of consensus algorithms. Recent breakthroughs in research have successfully alleviated these constraints by introducing a modular architecture that decouples consensus from execution. The move toward independent optimization of the consensus layer has shifted attention to the execution layer. While concurrent transaction execution is a promising solution for increasing throughput, practical challenges persist. Its effectiveness varies based on the workloads, and the associated increased hardware requirements raise concerns about undesirable centralization. This increased requirement results in full nodes and stragglers synchronizing from signed checkpoints, decreasing the trustless nature of blockchain systems. In response to these challenges, this paper introduces Chiron, a system designed to extract execution hints for the acceleration of straggling and full nodes. Notably, Chiron achieves this without compromising the security of the system or introducing overhead on the critical path of consensus. Evaluation results demonstrate a notable speedup of up to 30%, effectively addressing the gap between theoretical research and practical deployment. The quantification of this speedup is achieved through realistic blockchain benchmarks derived from a comprehensive analysis of Ethereum and Solana workloads, constituting an independent contribution.


title: ZS4C: Zero-Shot Synthesis of Compilable Code for Incomplete Code Snippets using ChatGPT

abstract: Technical question and answering (Q&A) sites such as Stack Overflow have become an important source for software developers to seek knowledge. However, code snippets on Q&A sites are usually uncompilable and semantically incomplete for compilation due to unresolved types and missing dependent libraries, which raises the obstacle for users to reuse or analyze Q&A code snippets. Prior approaches either are not designed for synthesizing compilable code or suffer from a low compilation success rate. To address this problem, we propose ZS4C, a lightweight approach to perform zero-shot synthesis of compilable code from incomplete code snippets using Large Language Model (LLM). ZS4C operates in two stages. In the first stage, ZS4C utilizes an LLM, i.e., ChatGPT, to identify missing import statements for a given code snippet, leveraging our designed task-specific prompt template. In the second stage, ZS4C fixes compilation errors caused by incorrect import statements and syntax errors through collaborative work between ChatGPT and a compiler. We thoroughly evaluated ZS4C on a widely used benchmark called StatType-SO against the SOTA approach SnR. Compared with SnR, ZS4C improves the compilation rate from 63% to 87.6%, with a 39.3% improvement. On average, ZS4C can infer more accurate import statements than SnR, with an improvement of 6.6% in the F1.


title: RomanSetu: Efficiently unlocking multilingual capabilities of Large Language Models via Romanization

abstract: This study addresses the challenge of extending Large Language Models (LLMs) to non-English languages that use non-Roman scripts. We propose an approach that utilizes the romanized form of text as an interface for LLMs, hypothesizing that its frequent informal use and shared tokens with English enhance cross-lingual alignment. Our approach involves the continual pretraining of an English LLM like Llama 2 on romanized text of non-English, non-Roman script languages, followed by instruction tuning on romanized data. The results indicate that romanized text not only reduces token fertility by 2x-4x but also matches or outperforms native script representation across various NLU, NLG, and MT tasks. Moreover, the embeddings computed on romanized text exhibit closer alignment with their English translations than those from the native script. Our approach presents a promising direction for leveraging the power of English LLMs in languages traditionally underrepresented in NLP. Our code is available on https://github.com/AI4Bharat/romansetu.


title: Energy-Efficient Power Allocation in Cell-Free Massive MIMO via Graph Neural Networks

abstract: CF-mMIMO systems are a promising solution to enhance the performance in 6G wireless networks. Its distributed nature of the architecture makes it highly reliable, provides sufficient coverage and allows higher performance than cellular networks. EE is an important metric that reduces the operating costs and also better for the environment. In this work, we optimize the downlink EE performance with MRT precoding and power allocation. Our aim is to achieve a less complex, distributed and scalable solution. To achieve this, we apply unsupervised ML with permutation equivariant architecture and use a non-convex objective function with multiple local optima. We compare the performance with the centralized and computationally expensive SCA. The results indicate that the proposed approach can outperform the baseline with significantly less computation time.


title: How far can we see back in time in high-energy collisions using charm quarks?

abstract: We use open charm production to estimate how far we can see back in time in high-energy hadron-hadron collisions. We analyze the transverse momentum distributions of the identified D mesons from pp, p-Pb and A-A collisions at the ALICE and STAR experiments covering the energy range from $\sqrt{s_{\rm NN}} = 200$ GeV up to 7 TeV. Within a non-extensive statistical framework, the common Tsallis parameters for D mesons represent higher temperature and more degrees of freedom than that of light-flavour hadrons. The production of D mesons corresponds to a significantly earlier proper time, $\tau_{\rm D} = (0.18 \pm 0.06) \tau_{\rm LF}$.


title: Information Leakage Detection through Approximate Bayes-optimal Prediction

abstract: In today's data-driven world, the proliferation of publicly available information intensifies the challenge of information leakage (IL), raising security concerns. IL involves unintentionally exposing secret (sensitive) information to unauthorized parties via systems' observable information. Conventional statistical approaches, which estimate mutual information (MI) between observable and secret information for detecting IL, face challenges such as the curse of dimensionality, convergence, computational complexity, and MI misestimation. Furthermore, emerging supervised machine learning (ML) methods, though effective, are limited to binary system-sensitive information and lack a comprehensive theoretical framework. To address these limitations, we establish a theoretical framework using statistical learning theory and information theory to accurately quantify and detect IL. We demonstrate that MI can be accurately estimated by approximating the log-loss and accuracy of the Bayes predictor. As the Bayes predictor is typically unknown in practice, we propose to approximate it with the help of automated machine learning (AutoML). First, we compare our MI estimation approaches against current baselines, using synthetic data sets generated using the multivariate normal (MVN) distribution with known MI. Second, we introduce a cut-off technique using one-sided statistical tests to detect IL, employing the Holm-Bonferroni correction to increase confidence in detection decisions. Our study evaluates IL detection performance on real-world data sets, highlighting the effectiveness of the Bayes predictor's log-loss estimation, and finds our proposed method to effectively estimate MI on synthetic data sets and thus detect ILs accurately.


title: Bridging Education and Development: IDEs as Interactive Learning Platforms

abstract: In this work, we introduce a novel approach to programming education - in-IDE courses implemented for IntelliJ-based IDEs via the JetBrains Academy Plugin. The primary objective of this approach is to address the challenge of familiarizing students with industrial technologies by moving all theory and practical materials to a professional IDE. This approach allows students to immediately use modern industrial tools as they are fully integrated into the learning process. We have already applied this approach in over 40 courses, and it successfully educates students across diverse topics such as Plugin Development, Algorithms, Data Analysis, and Language mastery in various programming languages, including Kotlin, Java, C++, and Python. Along with the paper, we are providing the community not only with a new way of learning and a set of ready-made courses but also a collection of helpful resources to assist educators in getting started with the plugin. Finally, we describe in detail an IDE plugin development course that demonstrates how the in-IDE approach covers complex topics easily.


title: POUR-Net: A Population-Prior-Aided Over-Under-Representation Network for Low-Count PET Attenuation Map Generation

abstract: Low-dose PET offers a valuable means of minimizing radiation exposure in PET imaging. However, the prevalent practice of employing additional CT scans for generating attenuation maps (u-map) for PET attenuation correction significantly elevates radiation doses. To address this concern and further mitigate radiation exposure in low-dose PET exams, we propose POUR-Net - an innovative population-prior-aided over-under-representation network that aims for high-quality attenuation map generation from low-dose PET. First, POUR-Net incorporates an over-under-representation network (OUR-Net) to facilitate efficient feature extraction, encompassing both low-resolution abstracted and fine-detail features, for assisting deep generation on the full-resolution level. Second, complementing OUR-Net, a population prior generation machine (PPGM) utilizing a comprehensive CT-derived u-map dataset, provides additional prior information to aid OUR-Net generation. The integration of OUR-Net and PPGM within a cascade framework enables iterative refinement of $\mu$-map generation, resulting in the production of high-quality $\mu$-maps. Experimental results underscore the effectiveness of POUR-Net, showing it as a promising solution for accurate CT-free low-count PET attenuation correction, which also surpasses the performance of previous baseline methods.


title: Equivalence of Applicative Functors and Multifunctors

abstract: McBride and Paterson introduced Applicative functors to Haskell, which are equivalent to the lax monoidal functors (with strength) of category theory. Applicative functors F are presented via idiomatic application $\_\circledast\_ : F (A \to B) \to F A \to F B$ and laws that are a bit hard to remember. Capriotti and Kaposi observed that applicative functors can be conceived as multifunctors, i.e., by a family liftA$_n$ : $(A_1 \to ... \to A_n \to C) \to F A_1 \to ... \to F A_n \to F C$ of zipWith-like functions that generalize pure $(n=0)$, fmap $(n=1)$ and liftA2 $(n=2)$. This reduces the associated laws to just the first functor law and a uniform scheme of second (multi)functor laws, i.e., a composition law for liftA. In this note, we rigorously prove that applicative functors are in fact equivalent to multifunctors, by interderiving their laws.


title: Modelling Micro-Doppler Signature of Drone Propellers in Distributed ISAC

abstract: Integrated Sensing and Communication (ISAC) comprises detection and analysis of non-cooperative targets by exploiting the resources of the mobile radio system. In this context, micro-Doppler is of great importance for target classification, in order to distinguish objects with local movements. For developing algorithms for target classification, it is necessary to have a large amount of target signatures. Aiming to generate these data, this paper proposes a mathematical model for the micro-Doppler of drone rotating propellers, and validate the proposed model by comparing it to measured micro-Doppler. Results show that the proposed mathematical model can generate micro-Doppler data very similar to those from measurement data.


title: The explicit bonding Reaction ensemble Monte Carlo method

abstract: We present the explicit bonding Reaction ensemble Monte Carlo (eb-RxMC) method, designed to sample reversible bonding reactions in macromolecular systems. Our eb-RxMC differs from the original Reaction ensemble method by explicitly adding or deleting bonds between the reactive particles, instead of exchanging particles with the virtual reservoir. Our eb-RxMC algorithm is biased to sample only the reaction within an inclusion radius, which allows to couple it with Molecular Dynamics algorithm to sample the reaction and configuration space concomitantly. We validate our algorithm for a set of ideally behaving systems undergoing dimerization and polycondensation reactions, for which analytical results are available. Namely, we showed that for dimerization reactions with different equilibrium constant and initial compositions, the degree of conversion measured in our simulations perfectly matched the reference value given by the analytical equations, irrespective of the choice of the inclusion radius or the stiffness of the harmonic potential. Next, we showed that our simulations can correctly match the analytical results for the chain length distribution and end-to-end distance of ideal chains in polycondensation reactions. Altogether, we show that our eb-RxMC simulations correctly sample both the reaction and the configuration space of these reference systems, opening the door to future simulations of more complex interacting macromolecular systems.


title: Speech foundation models on intelligibility prediction for hearing-impaired listeners

abstract: Speech foundation models (SFMs) have been benchmarked on many speech processing tasks, often achieving state-of-the-art performance with minimal adaptation. However, the SFM paradigm has been significantly less explored for applications of interest to the speech perception community. In this paper we present a systematic evaluation of 10 SFMs on one such application: Speech intelligibility prediction. We focus on the non-intrusive setup of the Clarity Prediction Challenge 2 (CPC2), where the task is to predict the percentage of words correctly perceived by hearing-impaired listeners from speech-in-noise recordings. We propose a simple method that learns a lightweight specialized prediction head on top of frozen SFMs to approach the problem. Our results reveal statistically significant differences in performance across SFMs. Our method resulted in the winning submission in the CPC2, demonstrating its promise for speech perception applications.


title: Quantum Electrometer for Time-Resolved Material Science at the Atomic Lattice Scale

abstract: The detection of individual charges plays a crucial role in fundamental material science and the advancement of classical and quantum high-performance technologies that operate with low noise. However, resolving charges at the lattice scale in a time-resolved manner has not been achieved so far. Here, we present the development of an electrometer, leveraging on the spectroscopy of an optically-active spin defect embedded in a solid-state material with a non-linear Stark response. By applying our approach to diamond, a widely used platform for quantum technology applications, we successfully localize charge traps, quantify their impact on transport dynamics and noise generation, analyze relevant material properties, and develop strategies for material optimization.


title: On the Algebraic Classification of Non-singular Flexible Kokotsakis Polyhedra

abstract: Across various scientific and engineering domains, a growing interest in flexible and deployable structures is becoming evident. These structures facilitate seamless transitions between distinct states of shape and find broad applicability ranging from robotics and solar cells to meta-materials and architecture. In this contribution, we study a class of mechanisms known as Kokotsakis polyhedra with a quadrangular base. These are $3\times3$ quadrilateral meshes whose faces are rigid bodies and joined by hinges at the common edges. Compared to prior work, the quadrilateral faces do not have to be planar. In general, such meshes are not flexible, and the problem of finding and classifying the flexible ones is old, but until now largely unsolved. It appears that the tangent values of the dihedral angles between different faces are algebraically related through polynomials. Specifically, by fixing one angle as a parameter, the others can be parameterized algebraically and hence belong to an extended rational function field of the parameter. We use this approach to characterize shape restrictions resulting in flexible polyhedra.


title: Single and bi-layered 2-D acoustic soft tactile skin (AST2)

abstract: This paper aims to present an innovative and cost-effective design for Acoustic Soft Tactile (AST) Skin, with the primary goal of significantly enhancing the accuracy of 2-D tactile feature estimation. The existing challenge lies in achieving precise tactile feature estimation, especially concerning contact geometry characteristics, using cost-effective solutions. We hypothesise that by harnessing acoustic energy through dedicated acoustic channels in 2 layers beneath the sensing surface and analysing amplitude modulation, we can effectively decode interactions on the sensory surface, thereby improving tactile feature estimation. Our approach involves the distinct separation of hardware components responsible for emitting and receiving acoustic signals, resulting in a modular and highly customizable skin design. Practical tests demonstrate the effectiveness of this novel design, achieving remarkable precision in estimating contact normal forces (MAE < 0.8 N), 2D contact localisation (MAE < 0.7 mm), and contact surface diameter (MAE < 0.3 mm). In conclusion, the AST skin, with its innovative design and modular architecture, successfully addresses the challenge of tactile feature estimation. The presented results showcase its ability to precisely estimate various tactile features, making it a practical and cost-effective solution for robotic applications.


title: The three-pion $K$-matrix at NLO in ChPT

abstract: The three-particle $K$-matrix, $\mathcal{K}_{\mathrm{df},3}$, is a scheme-dependent quantity that parametrizes short-range three-particle interactions in the relativistic-field-theory three-particle finite-volume formalism. In this work, we compute its value for systems of three pions in all isospin channels through next-to-leading order in Chiral Perturbation Theory, generalizing previous work done at maximum isospin. We obtain analytic expressions through quadratic order (or cubic order, in the case of zero isospin) in the expansion about the three-pion threshold.


title: Heteroscedasticity-aware stratified sampling to improve uplift modeling

abstract: In many business applications, including online marketing and customer churn prevention, randomized controlled trials (RCT's) are conducted to investigate on the effect of specific treatment (coupon offers, advertisement mailings,...). Such RCT's allow for the estimation of average treatment effects as well as the training of (uplift) models for the heterogeneity of treatment effects between individuals. The problem with these RCT's is that they are costly and this cost increases with the number of individuals included into the RCT. For this reason, there is research how to conduct experiments involving a small number of individuals while still obtaining precise treatment effect estimates. We contribute to this literature a heteroskedasticity-aware stratified sampling (HS) scheme, which leverages the fact that different individuals have different noise levels in their outcome and precise treatment effect estimation requires more observations from the "high-noise" individuals than from the "low-noise" individuals. By theory as well as by empirical experiments, we demonstrate that our HS-sampling yields significantly more precise estimates of the ATE, improves uplift models and makes their evaluation more reliable compared to RCT data sampled completely randomly. Due to the relative ease of application and the significant benefits, we expect HS-sampling to be valuable in many real-world applications.


title: Demystifying Chains, Trees, and Graphs of Thoughts

abstract: The field of natural language processing (NLP) has witnessed significant progress in recent years, with a notable focus on improving large language models' (LLM) performance through innovative prompting techniques. Among these, prompt engineering coupled with structures has emerged as a promising paradigm, with designs such as Chain-of-Thought, Tree of Thoughts, or Graph of Thoughts, in which the overall LLM reasoning is guided by a structure such as a graph. As illustrated with numerous examples, this paradigm significantly enhances the LLM's capability to solve numerous tasks, ranging from logical or mathematical reasoning to planning or creative writing. To facilitate the understanding of this growing field and pave the way for future developments, we devise a general blueprint for effective and efficient LLM reasoning schemes. For this, we conduct an in-depth analysis of the prompt execution pipeline, clarifying and clearly defining different concepts. We then build the first taxonomy of structure-enhanced LLM reasoning schemes. We focus on identifying fundamental classes of harnessed structures, and we analyze the representations of these structures, algorithms executed with these structures, and many others. We refer to these structures as reasoning topologies, because their representation becomes to a degree spatial, as they are contained within the LLM context. Our study compares existing prompting schemes using the proposed taxonomy, discussing how certain design choices lead to different patterns in performance and cost. We also outline theoretical underpinnings, relationships between prompting and other parts of the LLM ecosystem such as knowledge bases, and the associated research challenges. Our work will help to advance future prompt engineering techniques.


title: "All of Me": Mining Users' Attributes from their Public Spotify Playlists

abstract: In the age of digital music streaming, playlists on platforms like Spotify have become an integral part of individuals' musical experiences. People create and publicly share their own playlists to express their musical tastes, promote the discovery of their favorite artists, and foster social connections. These publicly accessible playlists transcend the boundaries of mere musical preferences: they serve as sources of rich insights into users' attributes and identities. For example, the musical preferences of elderly individuals may lean more towards Frank Sinatra, while Billie Eilish remains a favored choice among teenagers. These playlists thus become windows into the diverse and evolving facets of one's musical identity. In this work, we investigate the relationship between Spotify users' attributes and their public playlists. In particular, we focus on identifying recurring musical characteristics associated with users' individual attributes, such as demographics, habits, or personality traits. To this end, we conducted an online survey involving 739 Spotify users, yielding a dataset of 10,286 publicly shared playlists encompassing over 200,000 unique songs and 55,000 artists. Through extensive statistical analyses, we first assess a deep connection between a user's Spotify playlists and their real-life attributes. For instance, we found individuals high in openness often create playlists featuring a diverse array of artists, while female users prefer Pop and K-pop music genres. Building upon these observed associations, we create accurate predictive models for users' attributes, presenting a novel DeepSet application that outperforms baselines in most of these users' attributes.


title: PWM strategy with harmonics injection and modulated frequency triangular carrier. A review

abstract: A new, programmed pulse width modulation (PWM) technique to control power inverters, which uses a harmonic injection modulator and a frequency modulated triangular carrier, synchronized with the modulating signal is presented in this paper. The instantaneous carrier frequency is adjusted according to a periodic function synchronized with the fundamental term of the modulating signal, in order to maintain the average value of the instantaneous frequency as an odd positive integer multiple of 3, for each period of the modulating signal which is known as the average modulation order. The advantages of using the proposed technique over the conventional PWM techniques are the reduction in the total harmonic distortion and shift the frequency up of the temporal harmonics for any average modulation order. The experimental results show the viability of optimizing the time harmonics generated to minimize the vibrations in an induction motor or avoid the resonant frequencies.The mathematical formulation for the output modulated voltage is defined and the results are also checked experimentally and compared to a sinusoidal PWM technique