title: Optimal sub-Gaussian variance proxy for truncated Gaussian and exponential random variables

abstract: This paper establishes the optimal sub-Gaussian variance proxy for truncated Gaussian and truncated exponential random variables. The proofs rely on first characterizing the optimal variance proxy as the unique solution to a set of two equations and then observing that for these two truncated distributions, one may find explicit solutions to this set of equations. Moreover, we establish the conditions under which the optimal variance proxy coincides with the variance, thereby characterizing the strict sub-Gaussianity of the truncated random variables. Specifically, we demonstrate that truncated Gaussian variables exhibit strict sub-Gaussian behavior if and only if they are symmetric, meaning their truncation is symmetric with respect to the mean. Conversely, truncated exponential variables are shown to never exhibit strict sub-Gaussian properties. These findings contribute to the understanding of these prevalent probability distributions in statistics and machine learning, providing a valuable foundation for improved and optimal modeling and decision-making processes.


title: Scaling Up Dynamic Human-Scene Interaction Modeling

abstract: Confronting the challenges of data scarcity and advanced motion synthesis in human-scene interaction modeling, we introduce the TRUMANS dataset alongside a novel HSI motion synthesis method. TRUMANS stands as the most comprehensive motion-captured HSI dataset currently available, encompassing over 15 hours of human interactions across 100 indoor scenes. It intricately captures whole-body human motions and part-level object dynamics, focusing on the realism of contact. This dataset is further scaled up by transforming physical environments into exact virtual models and applying extensive augmentations to appearance and motion for both humans and objects while maintaining interaction fidelity. Utilizing TRUMANS, we devise a diffusion-based autoregressive model that efficiently generates HSI sequences of any length, taking into account both scene context and intended actions. In experiments, our approach shows remarkable zero-shot generalizability on a range of 3D scene datasets (e.g., PROX, Replica, ScanNet, ScanNet++), producing motions that closely mimic original motion-captured sequences, as confirmed by quantitative experiments and human studies.


title: Leveraging Non-Decimated Wavelet Packet Features and Transformer Models for Time Series Forecasting

abstract: This article combines wavelet analysis techniques with machine learning methods for univariate time series forecasting, focusing on three main contributions. Firstly, we consider the use of Daubechies wavelets with different numbers of vanishing moments as input features to both non-temporal and temporal forecasting methods, by selecting these numbers during the cross-validation phase. Secondly, we compare the use of both the non-decimated wavelet transform and the non-decimated wavelet packet transform for computing these features, the latter providing a much larger set of potentially useful coefficient vectors. The wavelet coefficients are computed using a shifted version of the typical pyramidal algorithm to ensure no leakage of future information into these inputs. Thirdly, we evaluate the use of these wavelet features on a significantly wider set of forecasting methods than previous studies, including both temporal and non-temporal models, and both statistical and deep learning-based methods. The latter include state-of-the-art transformer-based neural network architectures. Our experiments suggest significant benefit in replacing higher-order lagged features with wavelet features across all examined non-temporal methods for one-step-forward forecasting, and modest benefit when used as inputs for temporal deep learning-based models for long-horizon forecasting.


title: Evolution of cold streams in hot gaseous halos

abstract: In the prevailing model of galaxy formation and evolution, the process of gas accretion onto central galaxies undergoes a transition from cold-dominated to hot-dominated modes. This shift occurs when the mass of the parent dark matter halos exceeds a critical threshold known as $M_{shock}$. Moreover, cold gas usually flows onto central galaxies through filamentary structures, currently referred to as cold streams. However, the evolution of cold streams in halos with masses around $M_{shock}$, particularly how they are disrupted, remains unclear. To address this issue, we conduct a set of idealised hydrodynamic simulations. Our simulations show that (1) for a gas metallicity $Z=0.001-0.1Z_{\odot}$, cold stream with an inflow rate $\sim 3\, \rm{M_{\odot}}/yr$ per each can persist and effectively transport cold and cool gas to the central region ($< 0.2$ virial radius) in halos with mass $10^{12}\, \rm{M_{\odot}}$, but is disrupted at a radius around $0.2$ virial radius due to compression heating for halos with mass $3 \times 10^{12}\, \rm{M_{\odot}}$. (2) At $z\sim 2$, the maximum halo mass that capable of hosting and sustaining cold streams $M_{stream}$ is between $1\times 10^{12} \rm{M_{\odot}}$ and $1.5\times 10^{12}\rm{M_{\odot}}$ for gas metallicity $Z=0.001Z_{\odot}$, while for a higher gas metallicity $Z=0.1Z_{\odot}$, this value increases to $\sim 1.5\times 10^{12}\rm{M_{\odot}}$. (3) The evolution and ultimate fate of cold streams are determined primarily by the rivalry between radiative cooling and compression. Stronger heating due to compression in halos more massive than $M_{stream}$ can surpass cooling and heat the gas in cold streams to the hot ($\geq 10^6\,$ K) phase.


title: A Decade's Battle on Dataset Bias: Are We There Yet?

abstract: We revisit the "dataset classification" experiment suggested by Torralba and Efros a decade ago, in the new era with large-scale, diverse, and hopefully less biased datasets as well as more capable neural network architectures. Surprisingly, we observe that modern neural networks can achieve excellent accuracy in classifying which dataset an image is from: e.g., we report 84.7% accuracy on held-out validation data for the three-way classification problem consisting of the YFCC, CC, and DataComp datasets. Our further experiments show that such a dataset classifier could learn semantic features that are generalizable and transferable, which cannot be simply explained by memorization. We hope our discovery will inspire the community to rethink the issue involving dataset bias and model capabilities.


title: Entangled Photon-pair Generation in Nonlinear Thin-films

abstract: We develop a fully vectorial and non-paraxial formalism to describe spontaneous parametric down-conversion in nonlinear thin films. The formalism is capable of treating slabs with a sub-wavelength thickness, describe the associated Fabry-P\'erot effects, and even treat absorptive nonlinear materials. With this formalism, we perform an in-depth study of the dynamics of entangled photon-pair generation in nonlinear thin films, to provide a needed theoretical understanding for such systems that have recently attracted much experimental attention as sources of photon pairs. As an important example, we study the far-field radiation properties of photon pairs generated from a high-refractive-index nonlinear thin-film with Zinc-Blende structure, that is deposited on a linear low-refractive-index substrate. In particular, we study the thickness-dependent effect of Fabry-P\'erot interferences on the far-field radiation pattern of the photon pairs. We also pay special attention to study of entanglement generation, and find the conditions under which maximally polarization-entangled photon pairs can be generated and detected in such nonlinear thin-films.


title: Bispectrum non-Gaussian Covariance in Redshift Space

abstract: We provide an analytical description of the galaxy bispectrum covariance and the power spectrum-bispectrum cross-covariance in redshift space that captures the dominant non-Gaussian contributions. The Gaussian prediction for the variance of the halo bispectrum monopole significantly underestimates numerical estimates particularly for squeezed triangles, that is bispectrum triangular configurations where one side is much smaller than the other two, whereas the effect is relatively less important when considering the quadrupole. We propose an expression for the missing non-Gaussian contribution valid in the squeezed limit that requires an accurate modeling of the bispectrum alone. We validate our model against the numerical covariance estimated from a large suite of mock catalogs and find that it accurately predicts the variance as well as the dominant off-diagonal terms. We also present an expression for the cross-covariance between power spectrum and bispectrum multipoles and likewise find it to provide a good description of the numerical results.


title: Human Alignment of Large Language Models through Online Preference Optimisation

abstract: Ensuring alignment of language models' outputs with human preferences is critical to guarantee a useful, safe, and pleasant user experience. Thus, human alignment has been extensively studied recently and several methods such as Reinforcement Learning from Human Feedback (RLHF), Direct Policy Optimisation (DPO) and Sequence Likelihood Calibration (SLiC) have emerged. In this paper, our contribution is two-fold. First, we show the equivalence between two recent alignment methods, namely Identity Policy Optimisation (IPO) and Nash Mirror Descent (Nash-MD). Second, we introduce a generalisation of IPO, named IPO-MD, that leverages the regularised sampling approach proposed by Nash-MD. This equivalence may seem surprising at first sight, since IPO is an offline method whereas Nash-MD is an online method using a preference model. However, this equivalence can be proven when we consider the online version of IPO, that is when both generations are sampled by the online policy and annotated by a trained preference model. Optimising the IPO loss with such a stream of data becomes then equivalent to finding the Nash equilibrium of the preference model through self-play. Building on this equivalence, we introduce the IPO-MD algorithm that generates data with a mixture policy (between the online and reference policy) similarly as the general Nash-MD algorithm. We compare online-IPO and IPO-MD to different online versions of existing losses on preference data such as DPO and SLiC on a summarisation task.


title: Coupling of quantum-dot states via elastic-cotunneling and crossed Andreev reflection in a minimal Kitaev chain

abstract: Recently, exciting progress has been made in using the superconducting nanowires coupled to gate-defined quantum dots (QDs) to mimic the Kiteav chain and realize the Majorana-bound states via a poor man's route. The essential ingredient is to balance the interdot elastic-cotunneling (ECT) and crossed Andreev reflection (CAR). As theoretically proposed, this can be mediated by the Andreev bound states (ABSs) formed in the superconducting nanowires. However, most of the gate-tuning asymmetric features observed in experiments can not be captured using the current theoretical models. To address this insufficiency, here, we consider a full model that explicitly includes all the details of both the QD states and the ABSs. Remarkable agreement is found with the recent experimental observations, where our model correctly reveals the gate-tuning asymmetry in ECTs and by which the average QD state energy can also be extracted. In contrast, CARs do not depend on the tuning of QD states. Moreover, armed with the tunability of ECTs and CARs with QD states, we also predict a controllable anisotropic superexchange interaction between electron spins in the two separated QDs.


title: GR as a classical spin-2 theory?

abstract: The self-interaction spin-2 approach to general relativity (GR) has been extremely influential in the particle physics community. Leaving no doubt regarding its heuristic value, we argue that a view of the metric field of GR as nothing but a stand-in for a self-coupling field in flat spacetime runs into a dilemma: either the view is physically incomplete in so far as it requires recourse to GR after all, or it leads to an absurd multiplication of alternative viewpoints on GR rendering any understanding of the metric field as nothing but a spin-2 field in flat spacetime unjustified.


title: Disparate Effect Of Missing Mediators On Transportability of Causal Effects

abstract: Transported mediation effects provide an avenue to understand how upstream interventions (such as improved neighborhood conditions like green spaces) would work differently when applied to different populations as a result of factors that mediate the effects. However, when mediators are missing in the population where the effect is to be transported, these estimates could be biased. We study this issue of missing mediators, motivated by challenges in public health, wherein mediators can be missing, not at random. We propose a sensitivity analysis framework that quantifies the impact of missing mediator data on transported mediation effects. This framework enables us to identify the settings under which the conditional transported mediation effect is rendered insignificant for the subgroup with missing mediator data. Specifically, we provide the bounds on the transported mediation effect as a function of missingness. We then apply the framework to longitudinal data from the Moving to Opportunity Study, a large-scale housing voucher experiment, to quantify the effect of missing mediators on transport effect estimates of voucher receipt, an upstream intervention on living location, in childhood on subsequent risk of mental health or substance use disorder mediated through parental health across sites. Our findings provide a tangible understanding of how much missing data can be withstood for unbiased effect estimates.


title: HIMap: HybrId Representation Learning for End-to-end Vectorized HD Map Construction

abstract: Vectorized High-Definition (HD) map construction requires predictions of the category and point coordinates of map elements (e.g. road boundary, lane divider, pedestrian crossing, etc.). State-of-the-art methods are mainly based on point-level representation learning for regressing accurate point coordinates. However, this pipeline has limitations in obtaining element-level information and handling element-level failures, e.g. erroneous element shape or entanglement between elements. To tackle the above issues, we propose a simple yet effective HybrId framework named HIMap to sufficiently learn and interact both point-level and element-level information. Concretely, we introduce a hybrid representation called HIQuery to represent all map elements, and propose a point-element interactor to interactively extract and encode the hybrid information of elements, e.g. point position and element shape, into the HIQuery. Additionally, we present a point-element consistency constraint to enhance the consistency between the point-level and element-level information. Finally, the output point-element integrated HIQuery can be directly converted into map elements' class, point coordinates, and mask. We conduct extensive experiments and consistently outperform previous methods on both nuScenes and Argoverse2 datasets. Notably, our method achieves $77.8$ mAP on the nuScenes dataset, remarkably superior to previous SOTAs by $8.3$ mAP at least.


title: Refractive COLMAP: Refractive Structure-from-Motion Revisited

abstract: In this paper, we present a complete refractive Structure-from-Motion (RSfM) framework for underwater 3D reconstruction using refractive camera setups (for both, flat- and dome-port underwater housings). Despite notable achievements in refractive multi-view geometry over the past decade, a robust, complete and publicly available solution for such tasks is not available at present, and often practical applications have to resort to approximating refraction effects by the intrinsic (distortion) parameters of a pinhole camera model. To fill this gap, we have integrated refraction considerations throughout the entire SfM process within the state-of-the-art, open-source SfM framework COLMAP. Numerical simulations and reconstruction results on synthetically generated but photo-realistic images with ground truth validate that enabling refraction does not compromise accuracy or robustness as compared to in-air reconstructions. Finally, we demonstrate the capability of our approach for large-scale refractive scenarios using a dataset consisting of nearly 6000 images. The implementation is released as open-source at: https://cau-git.rz.uni-kiel.de/inf-ag-koeser/colmap_underwater.


title: Air-coupled ultrasound using broadband shock waves from piezoelectric spark igniters

abstract: We used an optomechanical sensor to study the ultrasound generated by manually operated piezoelectric spark igniters. These low-energy sparks produce short-duration acoustic shock-wave pulses, with sub-microsecond rise times and frequency content extending well beyond 2 MHz in air. The same source-receiver combination was then used to demonstrate broadband characterization of solid (polymer and glass) plates in a simple setup, where single spark events yielded high-SNR data without the need for critical alignment. This setup also enabled us to estimate pressure excursions approaching 105 Pa at millimeter-scale distances from the spark. The results are in large part made possible by the small size, wide bandwidth, and high sensitivity of the optomechanical sensor, and might be of interest for air-coupled ultrasound applications in non-destructive testing.


title: Reweight-annealing method for calculating the value of partition function via quantum Monte Carlo

abstract: Efficient and accurate algorithm for partition function, free energy and thermal entropy calculations is of great significance in statistical physics and quantum many-body physics. Here we present an unbiased but low-technical-barrier algorithm within the quantum Monte Carlo framework, which has exceptionally high accuracy and no systemic error. Compared with the conventional specific heat integral method and Wang-Landau sampling algorithm, our method can obtain a much more accurate result of the sub-leading coefficient of the entropy. This method can be widely used in both classical and quantum Monte Carlo simulations and is easy to be parallelized on computer.


title: On the Aw-Rascle-Zhang traffic models with nonlocal look-ahead interactions

abstract: We present a new family of second-order traffic flow models, extending the Aw-Rascle-Zhang (ARZ) model to incorporate nonlocal interactions. Our model includes a specific nonlocal Arrhenius-type look-ahead slowdown factor. We establish both local and global well-posedness theories for these nonlocal ARZ models. In contrast to the local ARZ model, where generic smooth initial data typically lead to finite-time shock formation, we show that our nonlocal ARZ model exhibits global regularity for a class of smooth subcritical initial data. Our result highlights the potential of nonlocal interactions to mitigate shock formations in second-order traffic flow models. Our analytical approach relies on investigating phase plane dynamics. We introduce a novel comparison principle based on a mediant inequality to effectively handle the nonlocal information inherent in our model.


title: Thermodynamic Integration for Dynamically Unstable Systems Using Interatomic Force Constants without Molecular Dynamics

abstract: We demonstrate an efficient and accurate, general-purpose first-principles blueprint for calculating anharmonic vibrational free energy and predicting structural phase transition temperatures of solids. Thermodynamic integration is performed without molecular dynamics using only interatomic force constants to model analogues of the true potential and generate their thermal ensembles. By replacing \textit{ab initio} molecular dynamics (AIMD) with statistical sampling of ensemble configurations and trading density-functional theory (DFT) energy calculations on each configuration for a set of matrix operations, our approach enables a faster thermodynamic integration by 4 orders of magnitude over the traditional route via AIMD. Experimental phase transition temperatures of a variety of strongly anharmonic materials with dynamical instabilities including shape-memory alloys are recovered to largely within 25% error. Such a combination of speed and accuracy enables the method to be deployed at a large-scale for predictive mapping of phase transition temperatures.


title: Fractional distortion in hyperbolic groups

abstract: For all integers $p>q>0$ and $k >0$, and all non-elementary torsion-free hyperbolic groups $H$, we construct a hyperbolic group $G$ in which $H$ is a subgroup, such that the distortion function of $H$ in $G$ grows like $\exp^k(n^{p/q})$. Here, $\exp^k$ denotes the $k$-fold-iterated exponential function.


title: Covariance Fitting Interferometric Phase Linking: Modular Framework and Optimization Algorithms

abstract: Interferometric phase linking (IPL) has become a prominent technique for processing images of areas containing distributed scaterrers in SAR interferometry. Traditionally, IPL consists in estimating consistent phase differences between all pairs of SAR images in a time series from the sample covariance matrix of pixel patches on a sliding window. This paper reformulates this task as a covariance fitting problem: in this setup, IPL appears as a form of projection of an input covariance matrix so that it satisfies the phase closure property. Given this modular formulation, we propose an overview of covariance matrix estimates, regularization options, and matrix distances, that can be of interest when processing multi-temporal SAR data. In particular, we will observe that most of the existing IPL algorithms appear as special instances of this framework. We then present tools to efficiently solve related optimization problems on the torus of phase-only complex vectors: majorization-minimization and Riemannian optimization. We conclude by illustrating the merits of different options on a real-world case study.


title: Rigidity of Einstein manifolds with positive Yamabe invariant

abstract: We provide optimal pinching results on closed Einstein manifolds with positive Yamabe invariant in any dimension, extending the optimal bound for the scalar curvature due to Gursky and LeBrun in dimension four. We also improve the known bounds of the Yamabe invariant \emph{via} the $L^{\frac{n}{2}}$-norm of the Weyl tensor for low-dimensional Einstein manifolds. Finally, we discuss some advances on an algebraic inequality involving the Weyl tensor for dimensions $5$ and $6$.


title: Meta Reinforcement Learning for Resource Allocation in Aerial Active-RIS-assisted Networks with Rate-Splitting Multiple Access

abstract: Mounting a reconfigurable intelligent surface (RIS) on an unmanned aerial vehicle (UAV) holds promise for improving traditional terrestrial network performance. Unlike conventional methods deploying passive RIS on UAVs, this study delves into the efficacy of an aerial active RIS (AARIS). Specifically, the downlink transmission of an AARIS network is investigated, where the base station (BS) leverages rate-splitting multiple access (RSMA) for effective interference management and benefits from the support of an AARIS for jointly amplifying and reflecting the BS's transmit signals. Considering both the non-trivial energy consumption of the active RIS and the limited energy storage of the UAV, we propose an innovative element selection strategy for optimizing the on/off status of RIS elements, which adaptively and remarkably manages the system's power consumption. To this end, a resource management problem is formulated, aiming to maximize the system energy efficiency (EE) by jointly optimizing the transmit beamforming at the BS, the element activation, the phase shift and the amplification factor at the RIS, the RSMA common data rate at users, as well as the UAV's trajectory. Due to the dynamicity nature of UAV and user mobility, a deep reinforcement learning (DRL) algorithm is designed for resource allocation, utilizing meta-learning to adaptively handle fast time-varying system dynamics. Simulations indicate that incorporating an active RIS at the UAV leads to substantial EE gain, compared to passive RIS-aided UAV. We observe the superiority of the RSMA-based AARIS system in terms of EE, compared to existing approaches adopting non-orthogonal multiple access (NOMA).


title: A Causal Inspired Early-Branching Structure for Domain Generalization

abstract: Learning domain-invariant semantic representations is crucial for achieving domain generalization (DG), where a model is required to perform well on unseen target domains. One critical challenge is that standard training often results in entangled semantic and domain-specific features. Previous works suggest formulating the problem from a causal perspective and solving the entanglement problem by enforcing marginal independence between the causal (\ie semantic) and non-causal (\ie domain-specific) features. Despite its simplicity, the basic marginal independent-based idea alone may be insufficient to identify the causal feature. By d-separation, we observe that the causal feature can be further characterized by being independent of the domain conditioned on the object, and we propose the following two strategies as complements for the basic framework. First, the observation implicitly implies that for the same object, the causal feature should not be associated with the non-causal feature, revealing that the common practice of obtaining the two features with a shared base feature extractor and two lightweight prediction heads might be inappropriate. To meet the constraint, we propose a simple early-branching structure, where the causal and non-causal feature obtaining branches share the first few blocks while diverging thereafter, for better structure design; Second, the observation implies that the causal feature remains invariant across different domains for the same object. To this end, we suggest that augmentation should be incorporated into the framework to better characterize the causal feature, and we further suggest an effective random domain sampling scheme to fulfill the task. Theoretical and experimental results show that the two strategies are beneficial for the basic marginal independent-based framework. Code is available at \url{https://github.com/liangchen527/CausEB}.


title: Data Augmentation in Human-Centric Vision

abstract: This survey presents a comprehensive analysis of data augmentation techniques in human-centric vision tasks, a first of its kind in the field. It delves into a wide range of research areas including person ReID, human parsing, human pose estimation, and pedestrian detection, addressing the significant challenges posed by overfitting and limited training data in these domains. Our work categorizes data augmentation methods into two main types: data generation and data perturbation. Data generation covers techniques like graphic engine-based generation, generative model-based generation, and data recombination, while data perturbation is divided into image-level and human-level perturbations. Each method is tailored to the unique requirements of human-centric tasks, with some applicable across multiple areas. Our contributions include an extensive literature review, providing deep insights into the influence of these augmentation techniques in human-centric vision and highlighting the nuances of each method. We also discuss open issues and future directions, such as the integration of advanced generative models like Latent Diffusion Models, for creating more realistic and diverse training data. This survey not only encapsulates the current state of data augmentation in human-centric vision but also charts a course for future research, aiming to develop more robust, accurate, and efficient human-centric vision systems.


title: HAIFIT: Human-Centered AI for Fashion Image Translation

abstract: In the realm of fashion design, sketches serve as the canvas for expressing an artist's distinctive drawing style and creative vision, capturing intricate details like stroke variations and texture nuances. The advent of sketch-to-image cross-modal translation technology has notably aided designers. However, existing methods often compromise these sketch details during image generation, resulting in images that deviate from the designer's intended concept. This limitation hampers the ability to offer designers a precise preview of the final output. To overcome this challenge, we introduce HAIFIT, a novel approach that transforms sketches into high-fidelity, lifelike clothing images by integrating multi-scale features and capturing extensive feature map dependencies from diverse perspectives. Through extensive qualitative and quantitative evaluations conducted on our self-collected dataset, our method demonstrates superior performance compared to existing methods in generating photorealistic clothing images. Our method excels in preserving the distinctive style and intricate details essential for fashion design applications.


title: Extracting Explanations, Justification, and Uncertainty from Black-Box Deep Neural Networks

abstract: Deep Neural Networks (DNNs) do not inherently compute or exhibit empirically-justified task confidence. In mission critical applications, it is important to both understand associated DNN reasoning and its supporting evidence. In this paper, we propose a novel Bayesian approach to extract explanations, justifications, and uncertainty estimates from DNNs. Our approach is efficient both in terms of memory and computation, and can be applied to any black box DNN without any retraining, including applications to anomaly detection and out-of-distribution detection tasks. We validate our approach on the CIFAR-10 dataset, and show that it can significantly improve the interpretability and reliability of DNNs.


title: Physics-Guided Inverse Regression for Crop Quality Assessment

abstract: We present an innovative approach leveraging Physics-Guided Neural Networks (PGNNs) for enhancing agricultural quality assessments. Central to our methodology is the application of physics-guided inverse regression, a technique that significantly improves the model's ability to precisely predict quality metrics of crops. This approach directly addresses the challenges of scalability, speed, and practicality that traditional assessment methods face. By integrating physical principles, notably Fick`s second law of diffusion, into neural network architectures, our developed PGNN model achieves a notable advancement in enhancing both the interpretability and accuracy of assessments. Empirical validation conducted on cucumbers and mushrooms demonstrates the superior capability of our model in outperforming conventional computer vision techniques in postharvest quality evaluation. This underscores our contribution as a scalable and efficient solution to the pressing demands of global food supply challenges.


title: An Efficient End-to-End Approach to Noise Invariant Speech Features via Multi-Task Learning

abstract: Self-supervised speech representation learning enables the extraction of meaningful features from raw waveforms. These features can then be efficiently used across multiple downstream tasks. However, two significant issues arise when considering the deployment of such methods ``in-the-wild": (i) Their large size, which can be prohibitive for edge applications; and (ii) their robustness to detrimental factors, such as noise and/or reverberation, that can heavily degrade the performance of such systems. In this work, we propose RobustDistiller, a novel knowledge distillation mechanism that tackles both problems jointly. Simultaneously to the distillation recipe, we apply a multi-task learning objective to encourage the network to learn noise-invariant representations by denoising the input. The proposed mechanism is evaluated on twelve different downstream tasks. It outperforms several benchmarks regardless of noise type, or noise and reverberation levels. Experimental results show that the new Student model with 23M parameters can achieve results comparable to the Teacher model with 95M parameters. Lastly, we show that the proposed recipe can be applied to other distillation methodologies, such as the recent DPWavLM. For reproducibility, code and model checkpoints will be made available at \mbox{\url{https://github.com/Hguimaraes/robustdistiller}}.


title: Efficient electronic cooling above 2 K by niobium-based superconducting tunnel junctions

abstract: Numerous applications, from industrial non-destructive imaging through ultra-sensitive photon counting to various implementations of solid-state quantum computers require low temperatures for their sensor and processor chips. Replacing the bulky cryo-liquid based cooling stages of cryo-enabled instruments by chip scale refrigeration is envisioned to disruptively reduce the system size similarly as microprocessors did for computers. Chip scale cooling has been demonstrated with electronic refrigerators based on tunnel junctions in the sub-1 K temperature range. Here, we extend the operation temperature to above 2 K, thereby, bridging the gap between electronic and pulse tube refrigerators. We report on scalable Al-AlOx-Nb superconducting tunnel junction cooler technology that can deliver electronic cooling power of ~ mW/mm^2, which is enough to demonstrate significant electron temperature reduction of 0.82 K against the phonon bath at 2.4 K (34% relative cooling). Our work shows that the key material of integrated superconducting circuits (niobium) enables powerful cryogenic refrigerator technology. This result is a prerequisite for practical cryogenic chip scale refrigerators and, at the same time, it introduces a new electro-thermal tool for quantum heat transport experiments.


title: Physical Memory Attacks and a Memory Safe Management System for Memory Defense

abstract: Programming errors, defective hardware components (such as hard disk spindle defects), and environmental hazards can lead to invalid memory operations. In addition, less predictable forms of environmental stress, such as radiation, thermal influence, and energy fluctuations, can induce hardware faults. Sometimes, a soft error can occur instead of a complete failure, such as a bit-flip. The 'natural' factors that can cause bit-flips are replicable through targeted attacks that result in significant compromises, including full privileged system access. Existing physical defense solutions have consistently been circumvented shortly after deployment. We will explore the concept of a novel software-based low-level layer that can protect vulnerable memory targeted by physical attack vectors related to bit-flip vulnerabilities.


title: Predicting long timescale kinetics under variable experimental conditions with Kinetica.jl

abstract: Predicting the degradation processes of molecules over long timescales is a key aspect of industrial materials design. However, it is made computationally challenging by the need to construct large networks of chemical reactions that are relevant to the experimental conditions that kinetic models must mirror, with every reaction requiring accurate kinetic data. Here we showcase Kinetica.jl, a new software package for constructing large-scale chemical reaction networks in a fully-automated fashion by exploring chemical reaction space with a kinetics-driven algorithm; coupled to efficient machine-learning models of activation energies for sampled elementary reactions, we show how this approach readily enables generation and kinetic characterization of networks containing $\sim10^{3}$ chemical species and $10^{4}$ - $10^{5}$ reactions. Symbolic-numeric modelling of the generated reaction networks is used to allow for flexible, efficient computation of kinetic profiles under experimentally-realizable conditions such as continuously-variable temperature regimes, enabling direct connection between bottom-up reaction networks and experimental observations. Highly efficient propagation of long-timescale kinetic profiles is required for automated reaction network refinement and is enabled here by a new discrete kinetic approximation. The resulting Kinetica.jl simulation package therefore enables automated generation, characterization, and long-timescale modelling of complex chemical reaction systems. We demonstrate this for hydrocarbon pyrolysis simulated over timescales of seconds, using transient temperature profiles representing those of tubular flow reactor experiments.


title: A Distributed Adaptive Algorithm for Non-Smooth Spatial Filtering Problems in Wireless Sensor Networks

abstract: A wireless sensor network often relies on a fusion center to process the data collected by each of its sensing nodes. Such an approach relies on the continuous transmission of raw data to the fusion center, which typically has a major impact on the sensors' battery life. To address this issue in the particular context of spatial filtering and signal fusion problems, we recently proposed the Distributed Adaptive Signal Fusion (DASF) algorithm, which distributively computes a spatial filter expressed as the solution of a smooth optimization problem involving the network-wide sensor signal statistics. In this work, we show that the DASF algorithm can be extended to compute the filters associated with a certain class of non-smooth optimization problems. This extension makes the addition of sparsity-inducing norms to the problem's cost function possible, allowing sensor selection to be performed in a distributed fashion, alongside the filtering task of interest, thereby further reducing the network's energy consumption. We provide a description of the algorithm, prove its convergence, and validate its performance and solution tracking capabilities with numerical experiments.


title: Fourier Quasicrystals on $\mathbb R^n$ Preliminary Report

abstract: This paper has three aims. First, for $n \geq 1$ we construct a family of real-rooted trigonometric polynomial maps $P : \mathbb C^n \mapsto \mathbb C^n$ whose divisors are Fourier Quasicrystals (FQ). For $n = 1$ these divisors include the first nontrivial FQ with positive integer coefficients constructed by Kurasov and Sarnak \cite{kurasovsarnak}, and for $n > 1$ they overlap with Meyer's curved model sets \cite{meyer6} and two-dimensional \cite{meyer7} and multidimensional \cite{meyer8} crystalline measures. We prove that the divisors are FQ by directly computing their Fourier transforms using a formula derived in \cite{lawton}. Second, we extend the relationship between real-rootedness and amoebas, derived for $n = 1$ by Alon, Cohen and Vinzant \cite{alon}, to the case $n > 1.$ The extension uses results in \cite{bushuevatsikh} about homology of complements of amoebas of algebraic sets of codimension $> 1.$ Third, we prove that the divisors of all uniformly generic real-rooted $P$ are FQ. The proof uses the formula relating Grothendieck residues and Newton polytopes derived by Gelfond and Khovanskii \cite{gelfondkhovanskii1} . Finally, we note that Olevskii and Ulanovskii [60] have proved that all FQ are divisors of real-rooted trigonometric polynomials for $n = 1$ but that the situation for $n > 1$ remains unsolved.


title: Room temperature charge density wave in a tetragonal polymorph of Gd2Os3Si5 and study of its origin in the RE2T3X5 (RE = Rare earth, T = transition metal, X = Si, Ge) series

abstract: Charge density wave (CDW) systems are proposed to exhibit application potential for electronic and optoelectronic devices. Therefore, identifying new materials that exhibit a CDW state at room temperature is crucial for the development of CDW-based devices. Here, we present a non-layered tetragonal polymorph of Gd2Os3Si5, which exhibits a CDW state at room temperature. Gd2Os3Si5 crystallizes in the U2Mn3Si5-type tetragonal crystal structure with the space group P4/mnc. Single-crystal x-ray diffraction (SXRD) analysis shows that Gd2Os3Si5 possesses an incommensurately modulated structure with modulation wave vector q = (0.53, 0, 0), while the modulation reduces the symmetry to orthorhombic Cccm({\sigma}00)0s0. This differs in contrast to isostructural Sm2Ru3Ge5, where the modulated phase has been reported to possess the superspace symmetry Pm({\alpha} 0 {\gamma})0. However, reinvestigation of Sm2Ru3Ge5 suggests that its modulated crystal structure can alternatively be described by Cccm({\sigma}00)0s0, with modulations similar to Gd2Os3Si5. The magnetic susceptibility, \c{hi}(T), exhibits a maximum at low temperatures that indicates an antiferromagnetic transition at TN = 5.5 K. The \c{hi}(T) furthermore shows an anomaly at around 345 K, suggesting a CDW transition at TCDW = 345 K, that corroborates the result from high-temperature SXRD measurements. Interestingly, R2T3X5 compounds are known to crystallize either in the tetragonal Sc2Fe3Si5 type structure or in the orthorhombic U2Co3Si5 structure type. Not all of the compounds in the R2T3X5 series undergo CDW phase transitions. We find that R2T3X5 compounds will exhibit a CDW transition, if the condition : 0.526 < c/sqrt(ab) < 0.543 is satisfied. We suggest the wave vector-dependent electron-phonon coupling to be the dominant mechanism of CDW formation in the tetragonal polymorph of Gd2Os3Si5.


title: Negative pressure as a quantum effect in free-streaming in the cosmological background

abstract: We present a study of energy density and pressure of a free real scalar quantum field after its decoupling from a thermal bath in the spatially flat Friedman-Lemaitre-Robertson-Walker space-time by solving the Klein-Gordon equation both analytically and numerically for different predetermined scale factor functions $a(t)$. The energy density and pressure, defined by subtracting the vacuum expectation values at the decoupling time, feature corrections with respect to the classical free-streaming solution of the relativistic Boltzmann equation. We show that if the expansion rate is comparable or larger than $mc^2/\hbar$ or $KT_0/\hbar$ where $m$ is the mass and $T_0$ the decoupling temperature, both energy density and pressure gets strong quantum corrections which substantially modify their classical dependence on the scale factor $a(t)$ and drive pressure to large negative values. For a minimally coupled field with a very low mass in an expanding de Sitter universe quantum corrections are dominant driving pressure and energy density to become asymptotically constant with an equation of state $p/\varepsilon \simeq -1$, thereby mimicking a cosmological constant. For a minimally coupled massless field, quantum corrections are asymptotically dominant for any accelerated expansion.


title: Self-Supervised Learning for Covariance Estimation

abstract: We consider the use of deep learning for covariance estimation. We propose to globally learn a neural network that will then be applied locally at inference time. Leveraging recent advancements in self-supervised foundational models, we train the network without any labeling by simply masking different samples and learning to predict their covariance given their surrounding neighbors. The architecture is based on the popular attention mechanism. Its main advantage over classical methods is the automatic exploitation of global characteristics without any distributional assumptions or regularization. It can be pre-trained as a foundation model and then be repurposed for various downstream tasks, e.g., adaptive target detection in radar or hyperspectral imagery.


title: QCSHQD: Quantum computing as a service for Hybrid classical-quantum software development: A Vision

abstract: Quantum Computing (QC) is transitioning from theoretical frameworks to an indispensable powerhouse of computational capability, resulting in extensive adoption across both industrial and academic domains. QC presents exceptional advantages, including unparalleled processing speed and the potential to solve complex problems beyond the capabilities of classical computers. Nevertheless, academic researchers and industry practitioners encounter various challenges in harnessing the benefits of this technology. The limited accessibility of QC resources for classical developers, and a general lack of domain knowledge and expertise, represent insurmountable barrier, hence to address these challenges, we introduce a framework- Quantum Computing as a Service for Hybrid Classical-Quantum Software Development (QCSHQD), which leverages service-oriented strategies. Our framework comprises three principal components: an Integrated Development Environment (IDE) for user interaction, an abstraction layer dedicated to orchestrating quantum services, and a service provider responsible for executing services on quantum computer. This study presents a blueprint for QCSHQD, designed to democratize access to QC resources for classical developers who want to seamless harness QC power. The vision of QCSHQD paves the way for groundbreaking innovations by addressing key challenges of hybridization between classical and quantum computers.


title: Zero-shot and Few-shot Generation Strategies for Artificial Clinical Records

abstract: The challenge of accessing historical patient data for clinical research, while adhering to privacy regulations, is a significant obstacle in medical science. An innovative approach to circumvent this issue involves utilising synthetic medical records that mirror real patient data without compromising individual privacy. The creation of these synthetic datasets, particularly without using actual patient data to train Large Language Models (LLMs), presents a novel solution as gaining access to sensitive patient information to train models is also a challenge. This study assesses the capability of the Llama 2 LLM to create synthetic medical records that accurately reflect real patient information, employing zero-shot and few-shot prompting strategies for comparison against fine-tuned methodologies that do require sensitive patient data during training. We focus on generating synthetic narratives for the History of Present Illness section, utilising data from the MIMIC-IV dataset for comparison. In this work introduce a novel prompting technique that leverages a chain-of-thought approach, enhancing the model's ability to generate more accurate and contextually relevant medical narratives without prior fine-tuning. Our findings suggest that this chain-of-thought prompted approach allows the zero-shot model to achieve results on par with those of fine-tuned models, based on Rouge metrics evaluation.


title: A higher-dimensional Chevalley restriction theorem for classical groups in characteristic p

abstract: We establish a theorem concerning the commuting scheme in characteristic p. As a significant application of this theorem, we derive an explicit lower bound for the characteristic p, ensuring the validity of the higher-dimensional Chevalley restriction theorem for classical groups.


title: The neutron decay anomaly, neutron stars and dark matter

abstract: The discrepancies in different measurements of the lifetime of isolated neutrons could be resolved by considering an extra neutron decay channel into dark matter, with a branching ratio of the order of $O(1$\%). Although the decay channel into a dark fermion $\chi$ plus visible matter has been already experimentally excluded, a dark decay with either a scalar or dark photon remains still a possibility. In particular, a model with a fermion mass $m_\chi\approx 1$ GeV and a scalar $m_\phi \approx O(\rm{MeV})$ could provide not only the required branching ratio to explain the anomaly but also a good dark matter (DM) candidate with the right thermal abundance today. Although the interaction DM-neutron will affect the formation of neutron stars, the combined effect of the dark matter self-interactions mediated by the light scalar and an effective repulsive interaction with the neutrons induced by the scalar-Higgs coupling would allow heavy enough neutron stars. The combined constraints from neutron lifetime, dark matter abundance, neutron star and Higgs physics, and Big Bang Nucleosynthesis, restrict the light scalar mass to the range $2 m_e < m_\phi < 2 m_e + 0.0375$ MeV.


title: Surfaces and other Peano Continua with no Generic Chains

abstract: The space of chains on a compact connected space encodes all the different ways of continuously growing out of a point until exhausting the space. A chain is generic if its orbit under the action of the underlying homeomorphism group is comeager. In this paper we show that a large family of topological spaces do not have a generic chain: in addition to all manifolds of dimension at least 3, for which the result was already known, our theorem covers all compact surfaces except for the sphere and the real projective plane - for which the question remains open - as well as all other homogeneous Peano continua, circle excluded. If the spaces are moreover strongly locally homogeneous, which is the case for any closed manifold and the Menger curve, we prove that chains cannot be classified up to homeomorphism by countable structures, and that the underlying homomorphism groups have non-metrizable universal minimal flows, in contrast to the case of 1-dimensional manifolds. The proof of the main result is of combinatorial nature, and it relies on the creation of a dictionary between open sets of chains on one side, and walks on finite connected graphs on the other.


title: BHAC-QGP: three-dimensional MHD simulations of relativistic heavy-ion collisions, I. Methods and tests

abstract: We present BHAC-QGP, a new numerical code to simulate the evolution of matter created in heavy-ion collisions in the presence of electromagnetic fields. It is derived from the Black Hole Accretion Code (BHAC), which has been designed to model astrophysical processes in a general-relativistic magnetohydrodynamical description. As the original Black Hole Accretion Code, BHAC-QGP benefits from the use of Adaptive Mesh Refinement (AMR), which allows us to dynamically adjust the resolution where necessary, and makes use of time-dependent Milne coordinates and the ultrarelativistic equation of state, $P = e/3$. We demonstrate that BHAC-QGP accurately passes a number of systematic and rigorous tests.


title: BHAC-QGP: three-dimensional MHD simulations of relativistic heavy-ion collisions, II. Application to Au-Au collisions

abstract: We present BHAC-QGP, a new numerical code to simulate the evolution of matter created in heavy-ion collisions. BHAC-QGP is based on the Black Hole Accretion Code (BHAC), which has been designed to model astrophysical processes through the solution of the equations of general-relativistic magnetohydrodynamics. Like the mother code, BHAC-QGP uses Adaptive Mesh Refinement (AMR), which allows for a dynamic adjustment of the resolution in regions of the computational domain where a particularly high accuracy is needed. We here discuss a number of applications of BHAC-QGP to Au-Au collisions at Relativistic Heavy-Ion Collider (RHIC) energies and show that the code is able to reproduce results of other simulations of these scenarios, but with much higher accuracy.


title: Ancilla-free measurement of out-of-time-ordered correlation functions: General measurement protocol and Rydberg atom implementation

abstract: We introduce a protocol that gives access to out-of-time-ordered correlation functions in many-body quantum systems. Unlike other such protocols, our proposal, which can be applied to arbitrary initial states, neither requires ancilla degrees of freedom to the quantum system of interest, nor has the need for randomized measurements. Nontrivial experimental capabilities required to implement the protocol are single-site measurements, single-site rotations, and backwards time evolution. To exemplify the implementation of the protocol, we put forward a strategy for Hamiltonian sign inversion $H\to-H$ in arrays of Rydberg-dressed atoms. In this way, a complete and practical toolbox is obtained for the measurement of out-of-time-ordered correlations in equilibrium and nonequilibrium situations.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech physics.atom-ph


title: On the selection of Saffman-Taylor viscous fingers for divergent flow in a wedge

abstract: We study self-similar viscous fingering for the case of divergent flow within a wedge-shaped Hele-Shaw cell. Previous authors have conjectured the existence of a countably-infinite number of selected solutions, each distinguished by a different value of the relative finger angle. Interestingly, the associated solution branches have been posited to merge and disappear in pairs as the surface tension decreases. We demonstrate how exponential asymptotics is used to derive the selection mechanism. In addition, asymptotic predictions of the finger-to-wedge angle are given for different sized wedges and surface-tension values. The merging of solution branches is explained; this feature is qualitatively different to the case of classic Saffman-Taylor viscous fingering in a parallel channel configuration. The phenomena of branch merging in our self-similar problem relates to tip splitting instabilities in time-dependent flows in a circular geometry, where the viscous fingers destabilise and divide in two.


title: Non-linear collision-induced breakage equation: approximate solution and error estimation

abstract: This article aims to provide approximate solutions for the non-linear collision-induced breakage equation using two different semi-analytical schemes, i.e., variational iteration method (VIM) and optimized decomposition method (ODM). The study also includes the detailed convergence analysis and error estimation for ODM in the case of product collisional ($K(\epsilon,\rho)=\epsilon\rho$) and breakage ($b(\epsilon,\rho,\sigma)=\frac{2}{\rho}$) kernels with an exponential decay initial condition. By contrasting estimated concentration function and moments with exact solutions, the novelty of the suggested approaches is presented considering three numerical examples. Interestingly, in one case, VIM provides a closed-form solution, however, finite term series solutions obtained via both schemes supply a great approximation for the concentration function and moments.


title: When can we Approximate Wide Contrastive Models with Neural Tangent Kernels and Principal Component Analysis?

abstract: Contrastive learning is a paradigm for learning representations from unlabelled data that has been highly successful for image and text data. Several recent works have examined contrastive losses to claim that contrastive models effectively learn spectral embeddings, while few works show relations between (wide) contrastive models and kernel principal component analysis (PCA). However, it is not known if trained contrastive models indeed correspond to kernel methods or PCA. In this work, we analyze the training dynamics of two-layer contrastive models, with non-linear activation, and answer when these models are close to PCA or kernel methods. It is well known in the supervised setting that neural networks are equivalent to neural tangent kernel (NTK) machines, and that the NTK of infinitely wide networks remains constant during training. We provide the first convergence results of NTK for contrastive losses, and present a nuanced picture: NTK of wide networks remains almost constant for cosine similarity based contrastive losses, but not for losses based on dot product similarity. We further study the training dynamics of contrastive models with orthogonality constraints on output layer, which is implicitly assumed in works relating contrastive learning to spectral embedding. Our deviation bounds suggest that representations learned by contrastive models are close to the principal components of a certain matrix computed from random features. We empirically show that our theoretical results possibly hold beyond two-layer networks.


title: Quantum jump photodetector for narrowband photon counting with a single atom

abstract: Using a single neutral \textsuperscript{87}Rb atom held in an optical trap, and "quantum jump" detection of single-photon-initiated state changes, we demonstrate an intrinsically-narrowband single-photon detector, of interest for separating weak signals from strong optical background. Using novel statistical analysis, we measure quantum efficiency of \SI{2.9+-0.2e-3}{}, a record for single-pass quantum jump production, and dark counts of \SI{9+-20e-3}{counts\per\second} during passive accumulation plus \SI{1.8+-0.1e-2}{counts} per readout, orders of magnitude below those of traditional single-photon detectors. The \SI{6}{\mega\hertz} detection bandwidth is orders of magnitude narrower than existing atomic filters. Available methods can substantially improve \QJPDAcronym{} quantum efficiency, dark counts, bandwidth, and tunability.


title: Axi-majoron for almost everything

abstract: The details of the minimal cosmological standard model (MCSM) proposed in Ref.~\cite{Barenboim:2024akt} are discussed. The model is based on the scale-symmetry and the global Peccei-Quinn(PQ) symmetry with a key assumption that the latter is broken only in the gravity sector in a scale-invariant manner. We show that the model provides a quite simple unified framework for the unknown history of the universe from inflation to the epoch of big-bang nucleosynthesis, simultaneously addressing key puzzles of high energy theory and cosmology: (i) the origin of scales, (ii) primordial inflation, (iii) matter-antimatter asymmetry, (iv) tiny neutrino masses, (v) dark matter, and (vi) the strong CP-problem. Scale symmetry can be exact, and the Planck scale is dynamically generated. The presence of Gauss-Bonnet term may safely retain dangerous non-perturbative symmetry-breaking effects negligible, allowing a large-field trans-Planckian inflation along the PQ-field. Iso-curvature perturbations of axi-majorons are suppressed. A sizable amount of PQ-number asymmetry is generated at the end of inflation, and conserved afterwards. Domain wall problem is absent due to the non-restoration of the symmetry and the non-zero PQ-number asymmetry. Baryogenesis can be realized by either the transfer of the PQ-number asymmetry through the seesaw sector, or by resonant leptogenesis. Dark matter is purely cold axi-majorons from the mis-alignment contribution with the symmetry-breaking scale of $\mathcal{O}(10^{12}) {\rm GeV}$. Hot axi-majorons from the decay of the inflaton become a natural source for a sizable amount of dark radiation. Inflationary gravitational waves have information about the masse parameters of the lightest left-handed and right-handed neutrinos, thanks to the presence of an early matter-domination era driven by the long-lived lightest right-handed neutrino species.


title: Are Magnons just the van der Waals interaction in Disguise?

abstract: The MBD model of the van der Waals interaction is extended to also consider magnetic interactions, and it is demonstrated how this can be made to reproduce the Heisenberg Hamiltonian. It is found that this leads to a weak coupling between the charge dipole waves that are the basis for the electric-only van der Waals interaction and the spin-dipole waves (magnons) of the Heisenberg model. By applying the same level of theory to both simultaneously we demonstrate that magnons and charge-dipole waves may both be considered to be a basis for the fluctuating part of the many-body electron density.


title: One-Loop Quantum Stress-Energy Tensor for the Kink and sine-Gordon Solitons

abstract: We compute the renormalized one-loop quantum corrections to the energy density $T_{00}(x)$ and pressure $T_{11}(x)$ for solitons in the $1+1$ dimensional scalar sine-Gordon and kink models. We show how precise implementation of counterterms in dimensional regularization resolves previously identified discrepancies between the integral of $T_{00}(x)$ and the known correction to the total energy.


title: Path-dependency and leverage effect on capital return in periodic growth processes

abstract: Probability theory is applied to the finances of periodic growth processes. The expected value of the profit rate, on accrual basis, does not directly depend on divestments, neither on the capitalization path. The expected value of capitalization is path dependent. Because of the path-dependent capitalization, the return rate on capital is path-dependent, and the time-average return rate on capital differs from the expected value of the return rate on capital for the growth cycle. In the absence of intermediate divestments, the internal rate of return is path-independent, thereby differing from the expected value of the rate of return on capital. It is shown that the area-average of internal rate of return is not representative for the rate of return on capital within an estate. It is shown that the rotation cycle length maximizing the return rate on equity is independent of market interest rate. Correspondingly, from the viewpoint of wealth accumulation, the often-suggested dependency of suitable rotation length on discount rate appears to be a modeling artifact. Leverage effect enters the microeconomics of the growth processes through a separate leverage equation, where the leverage coefficient may reach positive or negative values. The leverage effect on the internal rate of return and the net present value are discussed. Both effects are solvable, resulting in incorrect estimates.


title: Antiferromagnetic ordering and glassy nature in NASICON type NaFe$_2$PO$_4$(SO$_4$)$_2$

abstract: We investigate crystal structure and magnetic properties including spin relaxation and magnetocaloric effect in NASICON type NaFe$_2$PO$_4$(SO$_4$)$_2$ sample. The Rietveld refinement of x-ray and neutron diffraction patterns show a rhombohedral crystal structure with the R$\bar{3}$c space group. The core-level spectra confirm the desired oxidation state of constituent elements. The {\it dc}--magnetic susceptibility ($\chi$) behavior in zero field-cooled (ZFC) and field-cooled (FC) modes show the ordering temperature $\approx$50~K. Interestingly, the analysis of temperature dependent neutron diffraction patterns reveal an A-type antiferromagnetic (AFM) structure with the ordered moment of 3.8 $\mu_{B}$/Fe$^{3+}$ at 5~K, and a magnetostriction below $T_{\rm N}=$ 50~K. Further, the peak position in the {\it ac}--$\chi$ is found to be invariant with the excitation frequency supporting the notion of dominating AFM transition. Also, the unsaturated isothermal magnetization curve supports the AFM ordering of the moments; however, the observed coercivity suggests the presence of weak ferromagnetic (FM) correlations at 5~K. On the other hand, a clear bifurcation between ZFC and FC curves of {\it dc}--$\chi$ and the observed decrease in peak height of {\it ac}--$\chi$ with frequency suggest for the complex magnetic interactions. The spin relaxation behavior in thermo-remanent magnetization and aging measurements indicate the glassy states at 5~K. Moreover, the Arrott plots and magnetocaloric analysis reveal the AFM--FM interactions in the sample at lower temperatures.


title: Towards the THz Networks in the 6G Era

abstract: This commentary dedicates to envision what role THz is going to play in the coming human-centric 6G era. Three distinct THz network types including outdoor, indoor, and body area networks are discussed, with an emphasis on their capabilities in human body detection. Synthesizing these networks will unlock a bunch of fascinating applications across industrial, biomedical and entertainment fields, significantly enhancing the quality of human life.


title: Towards a Consistent Calculation of the Lunar Response to Gravitational Waves

abstract: The recent increasing interest in detecting gravitational waves (GWs) by lunar seismic measurement urges us to have a clear understanding of the response of the moon to passing GWs. In this paper, we clarify the relationship between two seemly different response functions which have been derived previously using two different methods, one taking the field-theory approach and the other using the tidal force induced by GWs. We revisit their derivation and prove, by both analytical arguments and numerical calculations, that the two response functions are equivalent. Their apparent difference can be attributed to the choice of different coordinates. Using the correct response function, we calculate the sensitivities (to GWs) of several designed lunar seismometers, and find that the sensitivity curves between $10^{-3}$ and $0.1$ Hz are much flatter than the previous calculations based on normal-mode model. Our results will help clarifying the scientific objectives of lunar GW observation, as well as provide important constraints on the design of lunar GW detectors.


title: OneVOS: Unifying Video Object Segmentation with All-in-One Transformer Framework

abstract: Contemporary Video Object Segmentation (VOS) approaches typically consist stages of feature extraction, matching, memory management, and multiple objects aggregation. Recent advanced models either employ a discrete modeling for these components in a sequential manner, or optimize a combined pipeline through substructure aggregation. However, these existing explicit staged approaches prevent the VOS framework from being optimized as a unified whole, leading to the limited capacity and suboptimal performance in tackling complex videos. In this paper, we propose OneVOS, a novel framework that unifies the core components of VOS with All-in-One Transformer. Specifically, to unify all aforementioned modules into a vision transformer, we model all the features of frames, masks and memory for multiple objects as transformer tokens, and integrally accomplish feature extraction, matching and memory management of multiple objects through the flexible attention mechanism. Furthermore, a Unidirectional Hybrid Attention is proposed through a double decoupling of the original attention operation, to rectify semantic errors and ambiguities of stored tokens in OneVOS framework. Finally, to alleviate the storage burden and expedite inference, we propose the Dynamic Token Selector, which unveils the working mechanism of OneVOS and naturally leads to a more efficient version of OneVOS. Extensive experiments demonstrate the superiority of OneVOS, achieving state-of-the-art performance across 7 datasets, particularly excelling in complex LVOS and MOSE datasets with 70.1% and 66.4% $J \& F$ scores, surpassing previous state-of-the-art methods by 4.2% and 7.0%, respectively. And our code will be available for reproducibility and further research.


title: Single file motion of robot swarms

abstract: We present experimental results on the single file motion of a group of robots interacting with each other through position sensors. We successfully replicate the fundamental diagram typical of these systems, with a transition from free flow to congested traffic as the density of the system increases. In the latter scenario we also observe the characteristic stop-and-go waves. The unique advantages of this novel system, such as experimental stability and repeatability, allow for extended experimental runs, facilitating a comprehensive statistical analysis of the global dynamics. Above a certain density, we observe a divergence of the average jam duration and the average number of robots involved in it. This discovery enables us to precisely identify another transition: from congested intermittent flow (for intermediate densities) to a totally congested scenario for high densities. Beyond this finding, the present work demonstrates the suitability of robot swarms to model complex behaviors in many particle systems.


title: Bubble breakup probability in turbulent flows

abstract: Bubbles drive gas and chemical transfers in various industrial and geophysical context, in which flows are typically turbulent. A knowledge of the bubble size distributions is then necessary to quantify mass fluxes across interfaces. In a turbulent flow, every bubble might break, depending on both the ratio between inertial and capillary forces at its scale, namely the Weber number We. For inhomogeneous and unstationary flows, the residence time within a turbulent region will also determine the break-up probability. In this work, we use a stochastic linear model, whose parameters have been measured using direct numerical simulations, to infer the breakup probability of bubbles in turbulence as function of the Weber number and the residence time. Our model shows that bubble breakup is a memoryless process, whose breakup rate varies exponentially with $\textrm{We}^{-1}$. This linear model successfully reproduces breakup rates previously measured experimentally.


title: Elastic shape analysis computations for clustering left atrial appendage geometries of atrial fibrillation patients

abstract: Morphological variations in the left atrial appendage (LAA) are associated with different levels of ischemic stroke risk for patients with atrial fibrillation (AF). Studying LAA morphology can elucidate mechanisms behind this association and lead to the development of advanced stroke risk stratification tools. However, current categorical descriptions of LAA morphologies are qualitative and inconsistent across studies, which impedes advancements in our understanding of stroke pathogenesis in AF. To mitigate these issues, we introduce a quantitative pipeline that combines elastic shape analysis with unsupervised learning for the categorization of LAA morphology in AF patients. As part of our pipeline, we compute pairwise elastic distances between LAA meshes from a cohort of 20 AF patients, and leverage these distances to cluster our shape data. We demonstrate that our method clusters LAA morphologies based on distinctive shape features, overcoming the innate inconsistencies of current LAA categorization systems, and paving the way for improved stroke risk metrics using objective LAA shape groups.


title: Evidence of enhanced thermopower from emergent local moments in flatbands of magic-angle twisted bilayer graphene

abstract: Recent experiments on magic-angle twisted bilayer graphene (MATBLG) indicate an unusual coexistence of heavy and light electrons, characteristic of Heavy-Fermion physics. Yet, these experiments lack direct evidence of the existence of local moments associated with the heavy electrons, a key component of Heavy-Fermion physics. Thermopower serves as a sensitive probe for measuring entropy and can, therefore, unveil the presence of local moments by assessing their impact on entropy. In this work, we have carried out comprehensive thermopower studies on MATBLG by varying temperatures ($T$) and magnetic fields ($B$). While the resistance exhibits prominent resistance peaks at integer fillings apart from the Dirac point (DP, $\nu = 0$) and full band filling ($\nu = \pm 4$), the thermopower remains featureless and symmetric to the DP with opposite signs, in complete violation of the Mott formula, even up to $\sim 100K$. This discrepancy indicates that resistance and thermopower are carried by different kinds of carriers. With the expected sign changes at the DP and full band filling, the thermopower demonstrates additional sign changes within the conduction and valence bands around $\nu \sim \pm 1$, persisting from $5K$ to $50K$. These observations cannot be explained solely by thermopower arising from an emergent Heavy-Fermion band picture, which is highly sensitive to temperature. Instead, our data is consistent with the dominant contribution coming from the entropy of the localized moments of heavy electrons. To validate the claim, we studied the thermopower with $B_{\parallel}$ and $B_{\perp}$, revealing a $30\%$ and $50\%$ reduction, respectively, and attributed to the partial polarization of the local moments (spin/valley), resulting in decreased entropy. Our results highlight the thermopower contribution from local moments and establish the Heavy-Fermion physics in MATBLG.


title: Digital Twin-assisted Reinforcement Learning for Resource-aware Microservice Offloading in Edge Computing

abstract: Collaborative edge computing (CEC) has emerged as a promising paradigm, enabling edge nodes to collaborate and execute microservices from end devices. Microservice offloading, a fundamentally important problem, decides when and where microservices are executed upon the arrival of services. However, the dynamic nature of the real-world CEC environment often leads to inefficient microservice offloading strategies, resulting in underutilized resources and network congestion. To address this challenge, we formulate an online joint microservice offloading and bandwidth allocation problem, JMOBA, to minimize the average completion time of services. In this paper, we introduce a novel microservice offloading algorithm, DTDRLMO, which leverages deep reinforcement learning (DRL) and digital twin technology. Specifically, we employ digital twin techniques to predict and adapt to changing edge node loads and network conditions of CEC in real-time. Furthermore, this approach enables the generation of an efficient offloading plan, selecting the most suitable edge node for each microservice. Simulation results on real-world and synthetic datasets demonstrate that DTDRLMO outperforms heuristic and learning-based methods in average service completion time.


title: Token Alignment via Character Matching for Subword Completion

abstract: Generative models, widely utilized in various applications, can often struggle with prompts corresponding to partial tokens. This struggle stems from tokenization, where partial tokens fall out of distribution during inference, leading to incorrect or nonsensical outputs. This paper examines a technique to alleviate the tokenization artifact on text completion in generative models, maintaining performance even in regular non-subword cases. The method, termed token alignment, involves backtracking to the last complete tokens and ensuring the model's generation aligns with the prompt. This approach showcases marked improvement across many partial token scenarios, including nuanced cases like space-prefix and partial indentation, with only a minor time increase. The technique and analysis detailed in this paper contribute to the continuous advancement of generative models in handling partial inputs, bearing relevance for applications like code completion and text autocompletion.


title: Exploiting Structural Consistency of Chest Anatomy for Unsupervised Anomaly Detection in Radiography Images

abstract: Radiography imaging protocols focus on particular body regions, therefore producing images of great similarity and yielding recurrent anatomical structures across patients. Exploiting this structured information could potentially ease the detection of anomalies from radiography images. To this end, we propose a Simple Space-Aware Memory Matrix for In-painting and Detecting anomalies from radiography images (abbreviated as SimSID). We formulate anomaly detection as an image reconstruction task, consisting of a space-aware memory matrix and an in-painting block in the feature space. During the training, SimSID can taxonomize the ingrained anatomical structures into recurrent visual patterns, and in the inference, it can identify anomalies (unseen/modified visual patterns) from the test image. Our SimSID surpasses the state of the arts in unsupervised anomaly detection by +8.0%, +5.0%, and +9.9% AUC scores on ZhangLab, COVIDx, and CheXpert benchmark datasets, respectively. Code: https://github.com/MrGiovanni/SimSID


title: Controllability of continuous networks and a kernel-based learning approximation

abstract: Residual deep neural networks are formulated as interacting particle systems leading to a description through neural differential equations, and, in the case of large input data, through mean-field neural networks. The mean-field description allows also the recast of the training processes as a controllability problem for the solution to the mean-field dynamics. We show theoretical results on the controllability of the linear microscopic and mean-field dynamics through the Hilbert Uniqueness Method and propose a computational approach based on kernel learning methods to solve numerically, and efficiently, the training problem. Further aspects of the structural properties of the mean-field equation will be reviewed.


title: On the large deviation principle for Metropolis-Hastings Markov Chains: the Lyapunov function condition and examples

abstract: With an aim to analyse the performance of Markov chain Monte Carlo (MCMC) methods, in our recent work we derive a large deviation principle (LDP) for the empirical measures of Metropolis-Hastings (MH) chains on a continuous state space. One of the (sufficient) assumptions for the LDP involves the existence of a particular type of Lyapunov function, and it was left as an open question whether or not such a function exists for specific choices of MH samplers. In this paper we analyse the properties of such Lyapunov functions and investigate their existence for some of the most popular choices of MCMC samplers built on MH dynamics: Independent Metropolis Hastings, Random Walk Metropolis, and the Metropolis-adjusted Langevin algorithm. We establish under what conditions such a Lyapunov function exists, and from this obtain LDPs for some instances of the MCMC algorithms under consideration. To the best of our knowledge, these are the first large deviation results for empirical measures associated with Metropolis-Hastings chains for specific choices of proposal and target distributions.


title: An Algorithm to Parallelise Parton Showers on a GPU

abstract: The Single Instruction, Multiple Thread (SIMT) paradigm of GPU programming does not support the branching nature of a parton shower algorithm by definition. However, modern GPUs are designed to schedule threads with diverging processes independently, allowing them to handle such branches. With regular thread synchronization and careful treatment of the individual steps, one can simulate a parton shower on a GPU. We present a parallelized Sudakov veto algorithm designed to simulate parton branching on multiple events simultaneously. We also release a CUDA C++ program that generates matrix elements, showers partons, and computes jet rates and event shapes for LEP at 91.2 GeV on a GPU. To benchmark its performance, we also provide a near-identical C++ program designed to simulate events serially on a CPU. While the consequences of branching are not absent, we demonstrate that a GPU can provide the throughput of a many-core CPU. As an example, we show that the time taken to simulate 10^6 events on one NVIDIA TESLA V100 GPU is equivalent to that of 258 Intel Xeon E5-2620 CPUs.


title: Do Language Models Care About Text Quality? Evaluating Web-Crawled Corpora Across 11 Languages

abstract: Large, curated, web-crawled corpora play a vital role in training language models (LMs). They form the lion's share of the training data in virtually all recent LMs, such as the well-known GPT, LLaMA and XLM-RoBERTa models. However, despite this importance, relatively little attention has been given to the quality of these corpora. In this paper, we compare four of the currently most relevant large, web-crawled corpora (CC100, MaCoCu, mC4 and OSCAR) across eleven lower-resourced European languages. Our approach is two-fold: first, we perform an intrinsic evaluation by performing a human evaluation of the quality of samples taken from different corpora; then, we assess the practical impact of the qualitative differences by training specific LMs on each of the corpora and evaluating their performance on downstream tasks. We find that there are clear differences in quality of the corpora, with MaCoCu and OSCAR obtaining the best results. However, during the extrinsic evaluation, we actually find that the CC100 corpus achieves the highest scores. We conclude that, in our experiments, the quality of the web-crawled corpora does not seem to play a significant role when training LMs.


title: TeaMs-RL: Teaching LLMs to Teach Themselves Better Instructions via Reinforcement Learning

abstract: The development of Large Language Models (LLMs) often confronts challenges stemming from the heavy reliance on human annotators in the reinforcement learning with human feedback (RLHF) framework, or the frequent and costly external queries tied to the self-instruct paradigm. In this work, we pivot to Reinforcement Learning (RL) -- but with a twist. Diverging from the typical RLHF, which refines LLMs following instruction data training, we use RL to directly generate the foundational instruction dataset that alone suffices for fine-tuning. Our method, TeaMs-RL, uses a suite of textual operations and rules, prioritizing the diversification of training datasets. It facilitates the generation of high-quality data without excessive reliance on external advanced models, paving the way for a single fine-tuning step and negating the need for subsequent RLHF stages. Our findings highlight key advantages of our approach: reduced need for human involvement and fewer model queries (only $5.73\%$ of WizardLM's total), along with enhanced capabilities of LLMs in crafting and comprehending complex instructions compared to strong baselines, and substantially improved model privacy protection.


title: Deep Learning for In-Orbit Cloud Segmentation and Classification in Hyperspectral Satellite Data

abstract: This article explores the latest Convolutional Neural Networks (CNNs) for cloud detection aboard hyperspectral satellites. The performance of the latest 1D CNN (1D-Justo-LiuNet) and two recent 2D CNNs (nnU-net and 2D-Justo-UNet-Simple) for cloud segmentation and classification is assessed. Evaluation criteria include precision and computational efficiency for in-orbit deployment. Experiments utilize NASA's EO-1 Hyperion data, with varying spectral channel numbers after Principal Component Analysis. Results indicate that 1D-Justo-LiuNet achieves the highest accuracy, outperforming 2D CNNs, while maintaining compactness with larger spectral channel sets, albeit with increased inference times. However, the performance of 1D CNN degrades with significant channel reduction. In this context, the 2D-Justo-UNet-Simple offers the best balance for in-orbit deployment, considering precision, memory, and time costs. While nnU-net is suitable for on-ground processing, deployment of lightweight 1D-Justo-LiuNet is recommended for high-precision applications. Alternatively, lightweight 2D-Justo-UNet-Simple is recommended for balanced costs between timing and precision in orbit.


title: On the non-perturbative bulk Hilbert space of JT gravity

abstract: What is the bulk Hilbert space of quantum gravity? In this paper, we resolve this problem in 2d JT gravity, both with and without matter, providing the first example of an explicit definition of a non-perturbative Hilbert space specified in terms of metric variables. The states are wavefunctions of the length and matter state, but with a non-trivial and highly degenerate inner product. We explicitly identify the null states, and discuss their importance for defining operators non-perturbatively. To highlight the power of the formalism we developed, we study the non-perturbative effects for two bulk linear operators that may serve as proxies for the experience of an observer falling into a two-sided black hole: one captures the length of an Einstein-Rosen bridge and the other captures the center-of-mass collision energy between two particles falling from opposite sides. We track the behavior of these operators up to times of order $e^{S_\text{BH}}$, at which point the wavefunction spreads to the complete set of eigenstates of these operators. If these observables are indeed good proxies for the experience of an infalling observer, our results indicate an O(1) probability of detecting a firewall at late times that is self-averaging and universal.


title: Sums of squares of k-term forms

abstract: In this paper we study the cones corresponding to sums of squares of $n$-ary $d$-ic forms with at most $k$ terms. We show that these are strictly nested as $k$ increases, leading to the usual sum of squares cone. We also discuss the duals of these cones. For $n \ge 3$, we construct indefinite irreducible $n$-ary $d$-ic forms with exactly $k$ terms for $2 \le k \le \binom{n+d-1}{n-1}$.


title: The Enigma of Gaia18cjb: a Rare Hybrid of FUor and EXor?

abstract: Context. Gaia18cjb is one of the Gaia-alerted eruptive young star candidates which has been experiencing a slow and strong brightening during the last 13 years, similar to some FU Orionis-type objects. Aims. The aim of this work is to derive the young stellar nature of Gaia18cjb, determine its physical and accretion properties to classify its variability. Methods. We conducted monitoring observations using multi-filter optical and near-infrared photometry, as well as near-infrared spectroscopy. We present the analysis of pre-outburst and outburst optical and infrared light curves, color-magnitude diagrams in different bands, the detection of near-IR spectral lines, and estimates of both stellar and accretion parameters during the burst. Results. The optical light curve shows an unusually long (8 years) brightening event of 5 mag in the last 13 years, before reaching a plateau indicating that the burst is still on-going, suggesting a FUor-like nature. The same outburst is less strong in the infrared light curves. The near-infrared spectra, obtained during the outburst, exhibit emission lines typical of highly accreting low-intermediate mass young stars with typical EXor features. The spectral index of Gaia18cjb SED classifies it as a Class I in the pre-burst stage and a Flat Spectrum young stellar object (YSO) during the burst. Conclusions. Gaia18cjb is an eruptive YSO which shows FUor-like photometric features (in terms of brightening amplitude and length of the burst) and EXor-like spectroscopic features and accretion rate, as V350 Cep and V1647 Ori, classified as objects in between FUors and EXors


title: Implicit Regularization of Gradient Flow on One-Layer Softmax Attention

abstract: We study gradient flow on the exponential loss for a classification problem with a one-layer softmax attention model, where the key and query weight matrices are trained separately. Under a separability assumption on the data, we show that when gradient flow achieves the minimal loss value, it further implicitly minimizes the nuclear norm of the product of the key and query weight matrices. Such implicit regularization can be described by a Support Vector Machine (SVM) problem with respect to the attention weights. This finding contrasts with prior results showing that the gradient descent induces an implicit regularization on the Frobenius norm on the product weight matrix when the key and query matrices are combined into a single weight matrix for training. For diagonal key and query matrices, our analysis builds upon the reparameterization technique and exploits approximate KKT conditions of the SVM associated with the classification data. Moreover, the results are extended to general weights configurations given proper alignment of the weight matrices' singular spaces with the data features at initialization.


title: Diffusion-based Iterative Counterfactual Explanations for Fetal Ultrasound Image Quality Assessment

abstract: Obstetric ultrasound image quality is crucial for accurate diagnosis and monitoring of fetal health. However, producing high-quality standard planes is difficult, influenced by the sonographer's expertise and factors like the maternal BMI or the fetus dynamics. In this work, we propose using diffusion-based counterfactual explainable AI to generate realistic high-quality standard planes from low-quality non-standard ones. Through quantitative and qualitative evaluation, we demonstrate the effectiveness of our method in producing plausible counterfactuals of increased quality. This shows future promise both for enhancing training of clinicians by providing visual feedback, as well as for improving image quality and, consequently, downstream diagnosis and monitoring.


title: Review of Generative AI Methods in Cybersecurity

abstract: Over the last decade, Artificial Intelligence (AI) has become increasingly popular, especially with the use of chatbots such as ChatGPT, Gemini, and DALL-E. With this rise, large language models (LLMs) and Generative AI (GenAI) have also become more prevalent in everyday use. These advancements strengthen cybersecurity's defensive posture and open up new attack avenues for adversaries as well. This paper provides a comprehensive overview of the current state-of-the-art deployments of GenAI, covering assaults, jailbreaking, and applications of prompt injection and reverse psychology. This paper also provides the various applications of GenAI in cybercrimes, such as automated hacking, phishing emails, social engineering, reverse cryptography, creating attack payloads, and creating malware. GenAI can significantly improve the automation of defensive cyber security processes through strategies such as dataset construction, safe code development, threat intelligence, defensive measures, reporting, and cyberattack detection. In this study, we suggest that future research should focus on developing robust ethical norms and innovative defense mechanisms to address the current issues that GenAI creates and to also further encourage an impartial approach to its future application in cybersecurity. Moreover, we underscore the importance of interdisciplinary approaches further to bridge the gap between scientific developments and ethical considerations.


title: On the Stochasticity of Aerosol-Cloud Interactions within a Data-driven Framework

abstract: Aerosol-cloud interactions (ACI) pose the largest uncertainty for climate projections. Among many challenges of understanding ACI, the question of whether ACI is deterministic or stochastic has not been explicitly formulated and asked. Here we attempt to answer this question by predicting cloud droplet number concentration Nc from aerosol number concentration Na and ambient conditions. We use aerosol properties, vertical velocity fluctuation w', and meteorological states (temperature T and water vapor mixing ratio q_v) from the ACTIVATE field observations (2020 to 2022) as predictor variables to estimate Nc. We show that the climatological Nc can be successfully predicted using a machine learning model despite the strongly nonlinear and multi-scale nature of ACI. However, the observation-trained machine learning model fails to predict Nc in individual cases while it successfully predicts Nc of randomly selected data points that cover a broad spatiotemporal scale, suggesting the stochastic nature of ACI at fine spatiotemporal scales.


title: Improved Dynamics for the Maximum Common Subgraph Problem

abstract: The Maximum Common Subgraph (MCS) problem plays a crucial role across various domains, bridging theoretical exploration and practical applications in fields like bioinformatics and social network analysis. Despite its wide applicability, MCS is notoriously challenging and is classified as an NP-Complete (NPC) problem. This study introduces new heuristics aimed at mitigating these challenges through the reformulation of the MCS problem as the Maximum Clique and its complement, the Maximum Independent Set. Our first heuristic leverages the Motzkin-Straus theorem to reformulate the Maximum Clique Problem as a constrained optimization problem, continuing the work of Pelillo in Replicator Equations, Maximal Cliques, and Graph Isomorphism (1999) with replicator dynamics and introducing annealed imitation heuristics as in Dominant Sets and Hierarchical Clustering (Pavan and Pelillo, 2003) to improve chances of convergence to better local optima. The second technique applies heuristics drawn upon strategies for the Maximum Independent Set problem to efficiently reduce graph sizes as used by Akiwa and Iwata in 2014. This enables faster computation and, in many instances, yields near-optimal solutions. Furthermore we look at the implementation of both techniques in a single algorithm and find that it is a promising approach. Our techniques were tested on randomly generated Erd\H{o}s-R\'enyi graph pairs. Results indicate the potential for application and substantial impact on future research directions.


title: Limits on the OH Molecule in the Smith High Velocity Cloud

abstract: We have used the Green Bank Telescope (GBT) to search for the OH molecule at several locations in the Smith Cloud, one of the most prominent of the high-velocity clouds that surround the Milky Way. Five positions with a high HI column density were selected as targets for individual pointings, along with a square degree around a molecular cloud detected with the Planck telescope near the tip of the Smith Cloud. Gas in the Galactic disk with similar values of $N_{HI}$ has detectable OH emission. Although we found OH at velocities consistent with the foreground Aquila molecular cloud, nothing was found at the velocity of the Smith Cloud to an rms level of 0.7 mK (T$_b$) in a 1 km $s^1$ channel. The three positions that give the strictest limits on OH are analyzed in detail. Their combined data imply a $5\sigma$ limit on $N(H_2) / N_{HI} \leq 0.03$ scaled by a factor dependent on the OH excitation temperature and background continuum $T_{ex}/(T_{ex}-T_{bg})$. There is no evidence for far-infrared emission from dust within the Smith Cloud. These results are consistent with expectations for a low-metallicity diffuse cloud exposed to the radiation field of the Galactic halo rather than a product of a galactic fountain.


title: Scalarization of isolated black holes in scalar Gauss-Bonnet theory in the fixing-the-equations approach

abstract: One of the most promising avenues to perform numerical evolutions in theories beyond General Relativity is the fixing-the-equations approach, a proposal in which new ``driver'' equations are added to the evolution equations in a way that allows for stable numerical evolutions. In this direction, we extend the numerical relativity code SpECTRE to evolve a ``fixed'' version of scalar Gauss-Bonnet theory in the decoupling limit, a phenomenologically interesting theory that allows for hairy black hole solutions in vacuum. We focus on isolated black hole systems both with and without linear and angular momentum, and propose a new driver equation to improve the recovery of such stationary solutions. We demonstrate the effectiveness of the latter by numerically evolving black holes that undergo spontaneous scalarization using different driver equations. Finally, we evaluate the accuracy of the obtained solutions by comparing with the original unaltered theory.


title: Optimal adaptation of surface-code decoders to local noise

abstract: Information obtained from noise characterization of a quantum device can be used in classical decoding algorithms to improve the performance of quantum error-correcting codes. Focusing on the surface code under local (i.e. single-qubit) noise, we present a simple method to determine the maximum extent to which adapting a surface-code decoder to a noise feature can lead to a performance improvement. Our method is based on a tensor-network decoding algorithm, which uses the syndrome information as well as a process matrix description of the noise to compute a near-optimal correction. By selectively mischaracterizing the noise model input to the decoder and measuring the resulting loss in fidelity of the logical qubit, we can determine the relative importance of individual noise parameters for decoding. We apply this method to several physically relevant uncorrelated noise models with features such as coherence, spatial inhomogeneity and bias. While noise generally requires many parameters to describe completely, we find that to achieve near optimal decoding it appears only necessary adapt the decoder to a small number of critical parameters.


title: Improved Randomized Approximation of Hard Universality and Emptiness Problems

abstract: We build on recent research on polynomial randomized approximation (PRAX) algorithms for the hard problems of NFA universality and NFA equivalence. Loosely speaking, PRAX algorithms use sampling of infinite domains within any desired accuracy $\delta$. In the spirit of experimental mathematics, we extend the concept of PRAX algorithms to be applicable to the emptiness and universality problems in any domain whose instances admit a tractable distribution as defined in this paper. A technical result here is that a linear (w.r.t. $1/\delta$) number of samples is sufficient, as opposed to the quadratic number of samples in previous papers. We show how the improved and generalized PRAX algorithms apply to universality and emptiness problems in various domains: ordinary automata, tautology testing of propositions, 2D automata, and to solution sets of certain Diophantine equations.