title: Data level and decision level fusion of satellite multi-sensor AOD retrievals for improving PM2.5 estimations, a study on Tehran

abstract: One of the techniques for estimating the surface particle concentration with a diameter of fewer than 2.5 micrometers (PM2.5) is using aerosol optical depth (AOD) products. Different AOD products are retrieved from various satellite sensors, like MODIS and VIIRS, by various algorithms, such as Deep Blue and Dark Target. Therefore, they do not have the same accuracy and spatial resolution. Additionally, the weakness of algorithms in AOD retrieval reduces the spatial coverage of products, particularly in cloudy or snowy areas. Consequently, for the first time, the present study investigated the possibility of fusing AOD products from observations of MODIS and VIIRS sensors retrieved by Deep Blue and Dark Target algorithms to estimate PM2.5 more accurately. For this purpose, AOD products were fused by machine learning algorithms using different fusion strategies at two levels: the data level and the decision level. First, the performance of various machine learning algorithms for estimating PM2.5 using AOD data was evaluated. After that, the XGBoost algorithm was selected as the base model for the proposed fusion strategies. Then, AOD products were fused. The fusion results showed that the estimated PM2.5 accuracy at the data level in all three metrics, RMSE, MAE, and R2, was improved (R2=0.64). Despite the simplicity and lower computational cost of the data level fusion method, the spatial coverage did not improve considerably due to eliminating poor quality data through the fusion process. Afterward, the fusion of products at the decision level was followed in eleven scenarios. In this way, the best result was obtained by fusing Deep Blue products of MODIS and VIIRS sensors (R2=0.81)


title: Image Reconstruction via Deep Image Prior Subspaces

abstract: Deep learning has been widely used for solving image reconstruction tasks but its deployability has been held back due to the shortage of high-quality training data. Unsupervised learning methods, such as the deep image prior (DIP), naturally fill this gap, but bring a host of new issues: the susceptibility to overfitting due to a lack of robust early stopping strategies and unstable convergence. We present a novel approach to tackle these issues by restricting DIP optimisation to a sparse linear subspace of its parameters, employing a synergy of dimensionality reduction techniques and second order optimisation methods. The low-dimensionality of the subspace reduces DIP's tendency to fit noise and allows the use of stable second order optimisation methods, e.g., natural gradient descent or L-BFGS. Experiments across both image restoration and tomographic tasks of different geometry and ill-posedness show that second order optimisation within a low-dimensional subspace is favourable in terms of optimisation stability to reconstruction fidelity trade-off.


title: Deepfake Detection Analyzing Hybrid Dataset Utilizing CNN and SVM

abstract: Social media is currently being used by many individuals online as a major source of information. However, not all information shared online is true, even photos and videos can be doctored. Deepfakes have recently risen with the rise of technological advancement and have allowed nefarious online users to replace one face with a computer generated face of anyone they would like, including important political and cultural figures. Deepfakes are now a tool to be able to spread mass misinformation. There is now an immense need to create models that are able to detect deepfakes and keep them from being spread as seemingly real images or videos. In this paper, we propose a new deepfake detection schema using two popular machine learning algorithms.


title: LiT Tuned Models for Efficient Species Detection

abstract: Recent advances in training vision-language models have demonstrated unprecedented robustness and transfer learning effectiveness; however, standard computer vision datasets are image-only, and therefore not well adapted to such training methods. Our paper introduces a simple methodology for adapting any fine-grained image classification dataset for distributed vision-language pretraining. We implement this methodology on the challenging iNaturalist-2021 dataset, comprised of approximately 2.7 million images of macro-organisms across 10,000 classes, and achieve a new state-of-the art model in terms of zero-shot classification accuracy. Somewhat surprisingly, our model (trained using a new method called locked-image text tuning) uses a pre-trained, frozen vision representation, proving that language alignment alone can attain strong transfer learning performance, even on fractious, long-tailed datasets. Our approach opens the door for utilizing high quality vision-language pretrained models in agriculturally relevant applications involving species detection.


title: Paparazzi: A Deep Dive into the Capabilities of Language and Vision Models for Grounding Viewpoint Descriptions

abstract: Existing language and vision models achieve impressive performance in image-text understanding. Yet, it is an open question to what extent they can be used for language understanding in 3D environments and whether they implicitly acquire 3D object knowledge, e.g. about different views of an object. In this paper, we investigate whether a state-of-the-art language and vision model, CLIP, is able to ground perspective descriptions of a 3D object and identify canonical views of common objects based on text queries. We present an evaluation framework that uses a circling camera around a 3D object to generate images from different viewpoints and evaluate them in terms of their similarity to natural language descriptions. We find that a pre-trained CLIP model performs poorly on most canonical views and that fine-tuning using hard negative sampling and random contrasting yields good results even under conditions with little available training data.


title: Self-supervised learning of Split Invariant Equivariant representations

abstract: Recent progress has been made towards learning invariant or equivariant representations with self-supervised learning. While invariant methods are evaluated on large scale datasets, equivariant ones are evaluated in smaller, more controlled, settings. We aim at bridging the gap between the two in order to learn more diverse representations that are suitable for a wide range of tasks. We start by introducing a dataset called 3DIEBench, consisting of renderings from 3D models over 55 classes and more than 2.5 million images where we have full control on the transformations applied to the objects. We further introduce a predictor architecture based on hypernetworks to learn equivariant representations with no possible collapse to invariance. We introduce SIE (Split Invariant-Equivariant) which combines the hypernetwork-based predictor with representations split in two parts, one invariant, the other equivariant, to learn richer representations. We demonstrate significant performance gains over existing methods on equivariance related tasks from both a qualitative and quantitative point of view. We further analyze our introduced predictor and show how it steers the learned latent space. We hope that both our introduced dataset and approach will enable learning richer representations without supervision in more complex scenarios. Code and data are available at https://github.com/facebookresearch/SIE.


title: OppLoD: the Opponency based Looming Detector, Model Extension of Looming Sensitivity from LGMD to LPLC2

abstract: Looming detection plays an important role in insect collision prevention systems. As a vital capability evolutionary survival, it has been extensively studied in neuroscience and is attracting increasing research interest in robotics due to its close relationship with collision detection and navigation. Visual cues such as angular size, angular velocity, and expansion have been widely studied for looming detection by means of optic flow or elementary neural computing research. However, a critical visual motion cue has been long neglected because it is so easy to be confused with expansion, that is radial-opponent-motion (ROM). Recent research on the discovery of LPLC2, a ROM-sensitive neuron in Drosophila, has revealed its ultra-selectivity because it only responds to stimuli with focal, outward movement. This characteristic of ROM-sensitivity is consistent with the demand for collision detection because it is strongly associated with danger looming that is moving towards the center of the observer. Thus, we hope to extend the well-studied neural model of the lobula giant movement detector (LGMD) with ROM-sensibility in order to enhance robustness and accuracy at the same time. In this paper, we investigate the potential to extend an image velocity-based looming detector, the lobula giant movement detector (LGMD), with ROM-sensibility. To achieve this, we propose the mathematical definition of ROM and its main property, the radial motion opponency (RMO). Then, a synaptic neuropile that analogizes the synaptic processing of LPLC2 is proposed in the form of lateral inhibition and attention. Thus, our proposed model is the first to perform both image velocity selectivity and ROM sensitivity. Systematic experiments are conducted to exhibit the huge potential of the proposed bio-inspired looming detector.


title: Conserved quantities of vectorial magnitudes within the material media

abstract: By means of the rotational transformations of octonion coordinate systems, the paper aims to explore the physical properties of conserved quantities relevant to the vectorial magnitudes within the material media, revealing the simultaneity of some conserved quantities in the electromagnetic and gravitational fields. J. C. Maxwell first utilized the algebra of quaternions to describe the electromagnetic theory. The subsequent scholars studied the physical properties of electromagnetic and gravitational fields simultaneously, including the octonion linear momentum, angular momentum, torque and force within the material media. According to the algebra of octonions, the scalar parts of octonion physical quantities remain unchanged, while the vectorial parts may alter, in the rotational transformations of octonion coordinate systems. From the octonion characteristics, it is able to deduce a few conserved quantities related to the vectorial magnitudes in the octonion space $\mathbb{O}$, including the magnitudes of linear momentum, angular momentum, torque and force. Similarly, it is capable of inferring several conserved quantities relevant to the vectorial magnitudes in the transformed octonion space $\mathbb{O}_u$, including the magnitudes of electric current, magnetic moment and electric moment. Through the analysis and comparison, it is concluded that some conserved quantities, relevant to the vectorial magnitudes, are unable to be established simultaneously, from the point of view of the octonion spaces. This is helpful to deepen the further understanding of some conserved quantities related to the vectorial magnitudes.


title: Superfluid Dark Matter around Black Holes

abstract: Superfluid dark matter, consisting of self-interacting light particles that thermalize and condense to form a superfluid in galaxies, provides a novel theory that matches the success of the standard $\Lambda$CDM model on cosmological scales while simultaneously offering a rich phenomenology on galactic scales. Within galaxies, the dark matter density profile consists of a nearly homogeneous superfluid core surrounded by an isothermal envelope. In this work we compute the density profile of superfluid dark matter around supermassive black holes at the center of galaxies. We show that, depending on the fluid equation of state, the dark matter profile presents distinct power-law behaviors, which can be used to distinguish it from the standard results for collisionless dark matter.

categories: astro-ph.CO astro-ph.GA gr-qc hep-ph hep-th


title: CertViT: Certified Robustness of Pre-Trained Vision Transformers

abstract: Lipschitz bounded neural networks are certifiably robust and have a good trade-off between clean and certified accuracy. Existing Lipschitz bounding methods train from scratch and are limited to moderately sized networks (< 6M parameters). They require a fair amount of hyper-parameter tuning and are computationally prohibitive for large networks like Vision Transformers (5M to 660M parameters). Obtaining certified robustness of transformers is not feasible due to the non-scalability and inflexibility of the current methods. This work presents CertViT, a two-step proximal-projection method to achieve certified robustness from pre-trained weights. The proximal step tries to lower the Lipschitz bound and the projection step tries to maintain the clean accuracy of pre-trained weights. We show that CertViT networks have better certified accuracy than state-of-the-art Lipschitz trained networks. We apply CertViT on several variants of pre-trained vision transformers and show adversarial robustness using standard attacks. Code : https://github.com/sagarverma/transformer-lipschitz


title: Probabilistic Safe WCET Estimation for Weakly Hard Real-Time Systems at Design Stages

abstract: Weakly hard real-time systems can, to some degree, tolerate deadline misses, but their schedulability still needs to be analyzed to ensure their quality of service. Such analysis usually occurs at early design stages to provide implementation guidelines to engineers so that they can make better design decisions. Estimating worst-case execution times (WCET) is a key input to schedulability analysis. However, early on during system design, estimating WCET values is challenging and engineers usually determine them as plausible ranges based on their domain knowledge. Our approach aims at finding restricted, safe WCET sub-ranges given a set of ranges initially estimated by experts in the context of weakly hard real-time systems. To this end, we leverage (1) multi-objective search aiming at maximizing the violation of weakly hard constraints in order to find worst-case scheduling scenarios and (2) polynomial logistic regression to infer safe WCET ranges with a probabilistic interpretation. We evaluated our approach by applying it to an industrial system in the satellite domain and several realistic synthetic systems. The results indicate that our approach significantly outperforms a baseline relying on random search without learning, and estimates safe WCET ranges with a high degree of confidence in practical time (< 23h).


title: Tackling Shortcut Learning in Deep Neural Networks: An Iterative Approach with Interpretable Models

abstract: We use concept-based interpretable models to mitigate shortcut learning. Existing methods lack interpretability. Beginning with a Blackbox, we iteratively carve out a mixture of interpretable experts (MoIE) and a residual network. Each expert explains a subset of data using First Order Logic (FOL). While explaining a sample, the FOL from biased BB-derived MoIE detects the shortcut effectively. Finetuning the BB with Metadata Normalization (MDN) eliminates the shortcut. The FOLs from the finetuned-BB-derived MoIE verify the elimination of the shortcut. Our experiments show that MoIE does not hurt the accuracy of the original BB and eliminates shortcuts effectively.


title: Slowly Rotating Black Holes in Einsteinian Quartic Gravities

abstract: We study slowly rotating black hole solutions in the six independent theories of Einstein Quartic Gravity (EQG) in four dimensions. Unlike in the static case for which all six theories yield the same solution, for rotating black holes we obtain distinct results for five out of the six theories. Working to leading order in the rotation parameter, we find that the equations characterizing these black holes can be reduced to second order for each theory, similar to what has already been done for Einstein Cubic Gravity. We construct approximate and numerical solutions to these equations, and study how physical properties of the solutions such as the angular velocity, photon sphere, black hole shadow, and innermost stable circular orbit are modified, working to leading order in the coupling constant.


title: Can Large Language Models Change User Preference Adversarially?

abstract: Pretrained large language models (LLMs) are becoming increasingly powerful and ubiquitous in mainstream applications such as being a personal assistant, a dialogue model, etc. As these models become proficient in deducing user preferences and offering tailored assistance, there is an increasing concern about the ability of these models to influence, modify and in the extreme case manipulate user preference adversarially. The issue of lack of interpretability in these models in adversarial settings remains largely unsolved. This work tries to study adversarial behavior in user preferences from the lens of attention probing, red teaming and white-box analysis. Specifically, it provides a bird's eye view of existing literature, offers red teaming samples for dialogue models like ChatGPT and GODEL and probes the attention mechanism in the latter for non-adversarial and adversarial settings.


title: AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms

abstract: The behaviours of a swarm are not explicitly engineered. Instead, they are an emergent consequence of the interactions of individual agents with each other and their environment. This emergent functionality poses a challenge to safety assurance. The main contribution of this paper is a process for the safety assurance of emergent behaviour in autonomous robotic swarms called AERoS, following the guidance on the Assurance of Machine Learning for use in Autonomous Systems (AMLAS). We explore our proposed process using a case study centred on a robot swarm operating a public cloakroom.


title: Time-like definition of quaternions in exterior algebra

abstract: A formal description of quaternions by means of exterior calculus is presented. Considering a three-dimensional space-time characterized by three time-like coordinates, we have been able to consistently recover a suitable formulation of quaternions by means of the properties arising from exterior algebra and calculus. As an application, it is also illustrated how rotations may be written in terms of quaternions, in accordance with definition provided in exterior algebra.


title: Data-integrated uncertainty quantification for the performance prediction of iced airfoils

abstract: Airfoil icing is a severe safety hazard in aviation and causes power losses on wind turbines. The precise shape of the ice formation is subject to large uncertainties, so uncertainty quantification (UQ) is needed for a reliable prediction of its effects. In this study, we aim to establish a reliable estimate of the effect of icing on airfoil performance through UQ. We use a series of experimentally measured wind tunnel ice shapes as input data. Principal component analysis is employed to construct a set of linearly uncorrelated geometric modes from the data, which serves as random input to the UQ simulation. For uncertainty propagation, non-intrusive polynomial chaos expansion (NIPC), multi-level Monte Carlo (MLMC) and multi-fidelity Monte Carlo control variate (MFMC) methods are employed and compared. As a baseline model, large eddy simulations (LES) are carried out using the discontinuous Galerkin flow solver FLEXI. UQ simulations are carried out with the in-house framework PoUnce. Its focus is on a high level of automation and efficiency considerations in a high performance computing environment. Due to the high number of samples, the simulation tool chain of the baseline model is completely automatized, including a new structured boundary layer grid generator for highly irregular domain shapes. The results show that forces on the airfoil vary considerably due to the uncertain ice shape. All three methods prove to be suited to predict mean and standard deviation. In the Monte Carlo techniques, the choice and performance of low-fidelity models is shown to be decisive for estimator variance reduction. The MFMC method performs best in this study. To our knowledge, there are no UQ studies of iced airfoils based on LES, let alone with advanced UQ methods such as MLMC or MFMC. The present study thus represents a leap in accuracy and level of detail for this application.


title: Correlation Clustering with Active Learning of Pairwise Similarities

abstract: Correlation clustering is a well-known unsupervised learning setting that deals with positive and negative pairwise similarities. In this paper, we study the case where the pairwise similarities are not given in advance and must be queried in a cost-efficient way. Thereby, we develop a generic active learning framework for this task that benefits from several advantages, e.g., flexibility in the type of feedback that a user/annotator can provide, adaptation to any correlation clustering algorithm and query strategy, and robustness to noise. In addition, we propose and analyze a number of novel query strategies suited to this setting. We demonstrate the effectiveness of our framework and the proposed query strategies via several experimental studies.


title: On Function-Coupled Watermarks for Deep Neural Networks

abstract: Well-performed deep neural networks (DNNs) generally require massive labelled data and computational resources for training. Various watermarking techniques are proposed to protect such intellectual properties (IPs), wherein the DNN providers implant secret information into the model so that they can later claim IP ownership by retrieving their embedded watermarks with some dedicated trigger inputs. While promising results are reported in the literature, existing solutions suffer from watermark removal attacks, such as model fine-tuning and model pruning. In this paper, we propose a novel DNN watermarking solution that can effectively defend against the above attacks. Our key insight is to enhance the coupling of the watermark and model functionalities such that removing the watermark would inevitably degrade the model's performance on normal inputs. To this end, unlike previous methods relying on secret features learnt from out-of-distribution data, our method only uses features learnt from in-distribution data. Specifically, on the one hand, we propose to sample inputs from the original training dataset and fuse them as watermark triggers. On the other hand, we randomly mask model weights during training so that the information of our embedded watermarks spreads in the network. By doing so, model fine-tuning/pruning would not forget our function-coupled watermarks. Evaluation results on various image classification tasks show a 100\% watermark authentication success rate under aggressive watermark removal attacks, significantly outperforming existing solutions. Code is available: https://github.com/cure-lab/Function-Coupled-Watermark.


title: Sequential Henig proper optimality conditions for multiobjective fractional programming problems via sequential proper subdifferential calculus

abstract: In this paper, in the absence of any constraint qualifications, we develop sequential necessary and sufficient optimality conditions for a constrained multiobjective fractional programming problem characterizing a Henig proper efficient solution in terms of the $\epsilon$-subdifferentials and the subdifferentials of the functions. This is achieved by employing a sequential Henig subdifferential calculus rule of the sums of $m \ (m\geq 2)$ proper convex vector valued mappings with a composition of two convex vector valued mappings. In order to present an example illustrating the main results of this paper, we establish the classical optimality conditions under Moreau-Rockafellar qualification condition. Our main results are presented in the setting of reflexive Banach space in order to avoid the use of nets.


title: Quantum Machine Learning hyperparameter search

abstract: This paper presents a quantum-based Fourier-regression approach for machine learning hyperparameter optimization applied to a benchmark of models trained on a dataset related to a forecast problem in the airline industry. Our approach utilizes the Fourier series method to represent the hyperparameter search space, which is then optimized using quantum algorithms to find the optimal set of hyperparameters for a given machine learning model. Our study evaluates the proposed method on a benchmark of models trained to predict a forecast problem in the airline industry using a standard HyperParameter Optimizer (HPO). The results show that our approach outperforms traditional hyperparameter optimization methods in terms of accuracy and convergence speed for the given search space. Our study provides a new direction for future research in quantum-based machine learning hyperparameter optimization.


title: Massive star feedback in the Magellanic Clouds and the tidal Bridge

abstract: Massive stars have far-reaching feedback effects that alter the surrounding environment on local, global, and cosmic scales. Spectral analyses of massive stars with adequate stellar-atmosphere models are important to study massive star feedback in detail. We discuss the most recent UV and optical studies of massive metal-poor stars, including those with metallicities ranging from half to one twentieth of solar, connected with large-scale ISM structures in the Magellanic Clouds and the tidal Magellanic Bridge. We present ionizing fluxes from massive stars with low metallicity along with mechanical energy, and we further compare these to the observed energetics in the ISM. The results give hints on the leakage of hot gas and ionizing photons in the Magellanic Clouds. The paper outlines feedback from individual massive stars to population-level collective feedback, the significance of various feedback mechanisms (radiation, wind, supernova), and the influence by the physical conditions of the ISM


title: Proof of Vogan's conjecture on Arthur packets for $\mathop{GL}_n$ over $p$-adic fields

abstract: In this paper we prove Vogan's conjecture on Arthur packets for general linear groups over $p$-adic fields, building on earlier work. The proof uses a special case of endoscopic lifting, adapted from the 1992 book by Adams, Barbasch and Vogan, where it was articulated for real groups.


title: Artificial Intelligence System for Detection and Screening of Cardiac Abnormalities using Electrocardiogram Images

abstract: The artificial intelligence (AI) system has achieved expert-level performance in electrocardiogram (ECG) signal analysis. However, in underdeveloped countries or regions where the healthcare information system is imperfect, only paper ECGs can be provided. Analysis of real-world ECG images (photos or scans of paper ECGs) remains challenging due to complex environments or interference. In this study, we present an AI system developed to detect and screen cardiac abnormalities (CAs) from real-world ECG images. The system was evaluated on a large dataset of 52,357 patients from multiple regions and populations across the world. On the detection task, the AI system obtained area under the receiver operating curve (AUC) of 0.996 (hold-out test), 0.994 (external test 1), 0.984 (external test 2), and 0.979 (external test 3), respectively. Meanwhile, the detection results of AI system showed a strong correlation with the diagnosis of cardiologists (cardiologist 1 (R=0.794, p<1e-3), cardiologist 2 (R=0.812, p<1e-3)). On the screening task, the AI system achieved AUCs of 0.894 (hold-out test) and 0.850 (external test). The screening performance of the AI system was better than that of the cardiologists (AI system (0.846) vs. cardiologist 1 (0.520) vs. cardiologist 2 (0.480)). Our study demonstrates the feasibility of an accurate, objective, easy-to-use, fast, and low-cost AI system for CA detection and screening. The system has the potential to be used by healthcare professionals, caregivers, and general users to assess CAs based on real-world ECG images.


title: Stability of destructive interference antiresonances in electron transport through graphene nanostructures

abstract: We investigate the stability of destructive quantum interference (DQI) in electron transport through graphene nanostructures connected to source and drain electrodes. The fingerprint of DQI is the presence of an antiresonance in the transmission function, and its origin is deeply connected to the topology of the atomic structure, which we discuss in terms of symmetry arguments supported by numerical simulations. A systematic analysis of the influence of system size on the transmission function reveals that the DQI antiresonance persists for large systems in the ballistic regime and establishes the quantum confinement gap as the intrinsic resolution limit to detect QI effects. Furthermore, we consider the influence of disorder, electron-electron and electron-phonon interactions, and provide quantitative criteria for the robustness of DQI in their presence. We find that the conductance is quite sensitive to perturbations, and its value alone may not be sufficient to characterize the QI properties of a junction. Instead, the characteristic behavior of the transmission function is more resilient, and we suggest it retains information on the presence of an antiresonance even if DQI is partially concealed or suppressed. At the same time, DQI results in a non-linear transport regime in the current-bias characteristics that can be possibly detected in transport experiments.


title: Interpretable Out-Of-Distribution Detection Using Pattern Identification

abstract: Out-of-distribution (OoD) detection for data-based programs is a goal of paramount importance. Common approaches in the literature tend to train detectors requiring inside-of-distribution (in-distribution, or IoD) and OoD validation samples, and/or implement confidence metrics that are often abstract and therefore difficult to interpret. In this work, we propose to use existing work from the field of explainable AI, namely the PARTICUL pattern identification algorithm, in order to build more interpretable and robust OoD detectors for visual classifiers. Crucially, this approach does not require to retrain the classifier and is tuned directly to the IoD dataset, making it applicable to domains where OoD does not have a clear definition. Moreover, pattern identification allows us to provide images from the IoD dataset as reference points to better explain the confidence scores. We demonstrates that the detection capabilities of this approach are on par with existing methods through an extensive benchmark across four datasets and two definitions of OoD. In particular, we introduce a new benchmark based on perturbations of the IoD dataset which provides a known and quantifiable evaluation of the discrepancy between the IoD and OoD datasets that serves as a reference value for the comparison between various OoD detection methods. Our experiments show that the robustness of all metrics under test does not solely depend on the nature of the IoD dataset or the OoD definition, but also on the architecture of the classifier, which stresses the need for thorough experimentations for future work on OoD detection.


title: ELECTRON TRANSPORT AND ELECTRON DENSITY INSIDE ONE-DIMENSIONAL DISORDERED CONDUCTORS: An Analysis of the Electronic-Levels Contribution

abstract: We consider the problem of electron transport along a one-dimensional disordered multiple-scattering conductor, and study the electron density for all the electronic levels. A model is proposed for the reduced density matrix of the system placed between two reservoirs at different chemical potentials, and the statistical-mechanical expectation value of the electron density is evaluated. An ensemble average is computed over disordered configurations. We compare its predictions with computer simulations. We find that the contribution of low-lying levels is very different from that of the high-lying ones studied in the past. Going down in energy, the wave function penetrates ever less inside the sample. For high-lying levels, this is interpreted in terms of localization from disorder. For low-lying levels, this interpretation gradually gives way to an understanding in terms of the increasing reflection produced by each scatterer, which is seen by the electron as a higher and higher -- and hence impenetrable -- potential barrier. Indeed, the local-density-of-states, LDOS, is gradually depleted in the interior of the system, since the wave function is ever smaller inside. The problem studied here is also of interest in electromagnetic, thermal, and acoustic transport in disordered systems.


title: Analyzing Multimodal Objectives Through the Lens of Generative Diffusion Guidance

abstract: Recent years have witnessed astonishing advances in the field of multimodal representation learning, with contrastive learning being the cornerstone for major breakthroughs. Latest works delivered further improvements by incorporating different objectives such as masked modeling and captioning into the frameworks, but our understanding on how these objectives facilitate learning remains vastly incomplete. In this paper, we leverage the fact that classifier-guided diffusion models generate images that reflect the semantic signals provided by the classifier to study the characteristics of multimodal learning objectives. Specifically, we compare contrastive, matching and captioning loss in terms of their semantic signals, and introduce a simple baseline that not only supports our analyses but also improves the quality of generative guidance in a straightforward manner.


title: Deep Convolutional Framelet Denoising for Panoramic by Mixed Wavelet Integration

abstract: Enhancing quality and removing noise during preprocessing is one of the most critical steps in image processing. X-ray images are created by photons colliding with atoms and the variation in scattered noise absorption. This noise leads to a deterioration in the graph's medical quality and, at times, results in repetition, thereby increasing the patient's effective dose. One of the most critical challenges in this area has consistently been lowering the image noise. Techniques like BM3d, low-pass filters, and Autoencoder have taken this step. Owing to their structural design and high rate of repetition, neural networks employing diverse architectures have, over the past decade, achieved noise reduction with satisfactory outcomes, surpassing the traditional BM3D and low-pass filters. The combination of the Hankel matrix with neural networks represents one of these configurations. The Hankel matrix aims to identify a local circle by separating individual values into local and non-local components, utilizing a non-local matrix. A non-local matrix can be created using the wave or DCT. This paper suggests integrating the waveform with the Daubechies (D4) wavelet due to its higher energy concentration and employs the u-Net neural network architecture, which incorporates the waveform exclusively at each stage. The outcomes were evaluated using the PSNR and SSIM criteria, and the outcomes were verified by using various waves. The effectiveness of a one-wave network has increased from 0.5% to 1.2%, according to studies done on other datasets.


title: ViewCo: Discovering Text-Supervised Segmentation Masks via Multi-View Semantic Consistency

abstract: Recently, great success has been made in learning visual representations from text supervision, facilitating the emergence of text-supervised semantic segmentation. However, existing works focus on pixel grouping and cross-modal semantic alignment, while ignoring the correspondence among multiple augmented views of the same image. To overcome such limitation, we propose multi-\textbf{View} \textbf{Co}nsistent learning (ViewCo) for text-supervised semantic segmentation. Specifically, we first propose text-to-views consistency modeling to learn correspondence for multiple views of the same input image. Additionally, we propose cross-view segmentation consistency modeling to address the ambiguity issue of text supervision by contrasting the segment features of Siamese visual encoders. The text-to-views consistency benefits the dense assignment of the visual features by encouraging different crops to align with the same text, while the cross-view segmentation consistency modeling provides additional self-supervision, overcoming the limitation of ambiguous text supervision for segmentation masks. Trained with large-scale image-text data, our model can directly segment objects of arbitrary categories in a zero-shot manner. Extensive experiments show that ViewCo outperforms state-of-the-art methods on average by up to 2.9\%, 1.6\%, and 2.4\% mIoU on PASCAL VOC2012, PASCAL Context, and COCO, respectively.


title: A Hybrid Submodular Optimization Approach to Controlled Islanding with Post-Disturbance Stability Guarantees

abstract: Disturbances may create cascading failures in power systems and lead to widespread blackouts. Controlled islanding is an effective approach to mitigate cascading failures by partitioning the power system into a set of disjoint islands. To retain the stability of the power system following disturbances, the islanding strategy should not only be minimally disruptive, but also guarantee post-disturbance stability. In this paper, we study the problem of synthesizing post-disturbance stability-aware controlled islanding strategies. To ensure post-disturbance stability, our computation of islanding strategies takes load-generation balance and transmission line capacity constraints into consideration, leading to a hybrid optimization problem with both discrete and continuous variables. To mitigate the computational challenge incurred when solving the hybrid optimization program, we propose the concepts of hybrid submodularity and hybrid matroid. We show that the islanding problem is equivalent to a hybrid matroid optimization program, whose objective function is hybrid supermodular. Leveraging the supermodularity property, we develop an efficient local search algorithm and show that the proposed algorithm achieves 1/2-optimality guarantee. We compare our approach with a baseline using mixed-integer linear program on IEEE 118-bus, IEEE 300-bus, ActivSg 500-bus, and Polish 2383-bus systems. Our results show that our approach outperforms the baseline in terms of the total cost incurred during islanding across all test cases. Furthermore, our proposed approach can find an islanding strategy for large-scale test cases such as Polish 2383-bus system, whereas the baseline approach becomes intractable.


title: Hierarchical Perception Adversarial Learning Framework for Compressed Sensing MRI

abstract: The long acquisition time has limited the accessibility of magnetic resonance imaging (MRI) because it leads to patient discomfort and motion artifacts. Although several MRI techniques have been proposed to reduce the acquisition time, compressed sensing in magnetic resonance imaging (CS-MRI) enables fast acquisition without compromising SNR and resolution. However, existing CS-MRI methods suffer from the challenge of aliasing artifacts. This challenge results in the noise-like textures and missing the fine details, thus leading to unsatisfactory reconstruction performance. To tackle this challenge, we propose a hierarchical perception adversarial learning framework (HP-ALF). HP-ALF can perceive the image information in the hierarchical mechanism: image-level perception and patch-level perception. The former can reduce the visual perception difference in the entire image, and thus achieve aliasing artifact removal. The latter can reduce this difference in the regions of the image, and thus recover fine details. Specifically, HP-ALF achieves the hierarchical mechanism by utilizing multilevel perspective discrimination. This discrimination can provide the information from two perspectives (overall and regional) for adversarial learning. It also utilizes a global and local coherent discriminator to provide structure information to the generator during training. In addition, HP-ALF contains a context-aware learning block to effectively exploit the slice information between individual images for better reconstruction performance. The experiments validated on three datasets demonstrate the effectiveness of HP-ALF and its superiority to the comparative methods.


title: Doppler Constraints on Planetary Companions to Nearby Sun-like Stars: An Archival Radial Velocity Survey of Southern Targets for Proposed NASA Direct Imaging Missions

abstract: Directly imaging temperate rocky planets orbiting nearby, Sun-like stars with a 6-m-class IR/O/UV space telescope, recently dubbed the Habitable Worlds Observatory, is a high priority goal of the Astro2020 Decadal Survey. To prepare for future direct imaging surveys, the list of potential targets should be thoroughly vetted to maximize efficiency and scientific yield. We present an analysis of archival radial velocity data for southern stars from the NASA/NSF Extreme Precision Radial Velocity Working Group's list of high priority target stars for future direct imaging missions (drawn from the HabEx, LUVOIR, and Starshade studies). For each star, we constrain the region of companion mass and period parameter space we are already sensitive to based on the observational baseline, sampling, and precision of the archival RV data. Additionally, for some of the targets we report new estimates of magnetic activity cycle periods, rotation periods, improved orbital parameters for previously known exoplanets, and new candidate planet signals that require further vetting or observations to confirm. Our results show that for many of these stars we are not yet sensitive to even Saturn-mass planets in the habitable zone, let alone smaller planets, highlighting the need for future EPRV vetting efforts before the launch of a direct imaging mission. We present evidence that the candidate temperate super-Earth exoplanet HD 85512 b is most likely due to the star's rotation, and report an RV acceleration for delta Pav which supports the existence of a distant giant planet previously inferred from astrometry.


title: Understanding the effect of varying amounts of replay per step

abstract: Model-based reinforcement learning uses models to plan, where the predictions and policies of an agent can be improved by using more computation without additional data from the environment, thereby improving sample efficiency. However, learning accurate estimates of the model is hard. Subsequently, the natural question is whether we can get similar benefits as planning with model-free methods. Experience replay is an essential component of many model-free algorithms enabling sample-efficient learning and stability by providing a mechanism to store past experiences for further reuse in the gradient computational process. Prior works have established connections between models and experience replay by planning with the latter. This involves increasing the number of times a mini-batch is sampled and used for updates at each step (amount of replay per step). We attempt to exploit this connection by doing a systematic study on the effect of varying amounts of replay per step in a well-known model-free algorithm: Deep Q-Network (DQN) in the Mountain Car environment. We empirically show that increasing replay improves DQN's sample efficiency, reduces the variation in its performance, and makes it more robust to change in hyperparameters. Altogether, this takes a step toward a better algorithm for deployment.


title: Extended spatial coherence of interlayer excitons in MoSe$_2$/WSe$_2$ heterobilayers

abstract: We report on the spatial coherence of interlayer exciton ensembles as formed in MoSe$_2$/WSe$_2$ heterostructures and characterized by point-inversion Michelson-Morley interferometry. Below 10 K, the measured spatial coherence length of the interlayer excitons reaches values equivalent to the lateral expansion of the exciton ensembles. In this regime, the light emission of the excitons turns out to be homogeneously broadened in energy with a high temporal coherence. At higher temperatures, both the spatial coherence length and the temporal coherence time decrease, most likely because of thermal processes. The presented findings point towards a spatially extended, coherent many-body state of interlayer excitons at low temperature.


title: Real-Time Speech Enhancement Using Spectral Subtraction with Minimum Statistics and Spectral Floor

abstract: An initial real-time speech enhancement method is presented to reduce the effects of additive noise. The method operates in the frequency domain and is a form of spectral subtraction. Initially, minimum statistics are used to generate an estimate of the noise signal in the frequency domain. The use of minimum statistics avoids the need for a voice activity detector (VAD) which has proven to be challenging to create. As minimum statistics are used, the noise signal estimate must be multiplied by a scaling factor before subtraction from the noise corrupted speech signal can take place. A spectral floor is applied to the difference to suppress the effects of "musical noise". Finally, a series of further enhancements are considered to reduce the effects of residual noise even further. These methods are compared using time-frequency plots to create the final speech enhancement design


title: Dynamic Named Entity Recognition

abstract: Named Entity Recognition (NER) is a challenging and widely studied task that involves detecting and typing entities in text. So far,NER still approaches entity typing as a task of classification into universal classes (e.g. date, person, or location). Recent advances innatural language processing focus on architectures of increasing complexity that may lead to overfitting and memorization, and thus, underuse of context. Our work targets situations where the type of entities depends on the context and cannot be solved solely by memorization. We hence introduce a new task: Dynamic Named Entity Recognition (DNER), providing a framework to better evaluate the ability of algorithms to extract entities by exploiting the context. The DNER benchmark is based on two datasets, DNER-RotoWire and DNER-IMDb. We evaluate baseline models and present experiments reflecting issues and research axes related to this novel task.


title: Generalization algorithm of multimodal pre-training model based on graph-text self-supervised training

abstract: Recently, a large number of studies have shown that the introduction of visual information can effectively improve the effect of neural machine translation (NMT). Its effectiveness largely depends on the availability of a large number of bilingual parallel sentence pairs and manual image annotation. The lack of images and the effectiveness of images have been difficult to solve. In this paper, a multimodal pre-training generalization algorithm for self-supervised training is proposed, which overcomes the lack of visual information and inaccuracy, and thus extends the applicability of images on NMT. Specifically, we will search for many pictures from the existing sentences through the search engine, and then through the relationship between visual information and text, do the self-supervised training task of graphics and text to obtain more effective visual information for text. We show that when the filtered information is used as multimodal machine translation for fine-tuning, the effect of translation in the global voice dataset is 0.5 BLEU higher than the baseline.


title: Porcupine-quotient graphs, the fourth primary color, and graded composition series of Leavitt path algebras

abstract: If $E$ is a directed graph, $K$ is a field, and $I$ is a graded ideal of the Leavitt path algebra $L_K(E),$ $I$ is completely determined by an admissible pair $(H,S)$ of two sets of vertices of $E$. The ideal $I=I(H,S)$ is graded isomorphic to the Leavitt path algebra of the {\em porcupine graph} of $(H,S)$ and the quotient $L_K(E)/I$ is graded isomorphic to the Leavitt path algebra of the {\em quotient graph} of $(H,S).$ We present a construction which generalizes both constructions and enables one to consider quotients of graded ideals: if $(H,S)$ and $(G,T)$ are admissible pairs such that $I(H,S)\subseteq I(G,T)$, we define the {\em porcupine-quotient graph} $(G,T)/(H,S)$ such that its Leavitt path algebra is graded isomorphic to the quotient $I(G,T)/I(H,S).$ Using the porcupine-quotient construction, the existence of a graded composition series of $L_K(E)$ is equivalent to the existence of a finite chain of admissible pairs of $E,$ starting with the trivial and ending with the improper pair, such that the quotient of two consecutive pairs is cofinal (a graph is cofinal exactly when its Leavitt path algebra is graded simple). We characterize the existence of such a composition series with a set of conditions which also provides an algorithm for obtaining such a series. The conditions are presented in terms of four types of vertices which are all ``terminal'' in a certain sense. Three types are often referred to as the three primary colors and the fourth type is new. As a corollary, a unital Leavitt path algebra has a graded composition series. We show that the existence of a composition series of $E$ is equivalent to the existence of a composition series of the graph monoid $M_E$ as well as a composition series of the talented monoid $M_E^\Gamma.$ An ideal of $M_E^\Gamma$ is minimal exactly when it is generated by the element of $M_E^\Gamma$ corresponding to a terminal vertex.


title: Load Balancing in Parallel Queues and Rank-based Diffusions

abstract: Consider a system with $K$ parallel queues in which the server for each queue processes jobs at rate $n$ and the total arrival rate to the system is $nK-\upsilon \sqrt{n}$ where $\upsilon \in (0, \infty)$ and $n$ is large. We study rank-based routing policies in which $O(\sqrt{n})$ of the incoming jobs are routed to servers with probabilities depending on their ranked queue-length and the remaining jobs are routed uniformly at random. A particular case, referred to as the marginal join-the-shortest-queue (MJSQ) policy, is one in which the $O(\sqrt{n})$ jobs are routed using the join-the-shortest-queue (JSQ) policy. Our first result provides a heavy traffic approximation theorem for such queuing systems. It turns out that, unlike the JSQ system, there is no state space collapse in the setting of MJSQ (and for the more general rank-based routing schemes) and one obtains a novel diffusion limit which is the constrained analogue of the well studied Atlas model (and other rank-based diffusions) arising from mathematical finance. Next, we prove an interchange of limits result which shows that the steady state of the queuing system is well approximated by that of the limiting diffusion, given explicitly in terms of product laws of Exponential random variables. Using these results, we compute the time asymptotic total queue-length in the heavy traffic limit for the MJSQ system. We find the striking result that although in going from JSQ to MJSQ the communication cost is reduced by a factor of $\sqrt{n}$, the asymptotic total queue-length increases only by a constant factor which can be made arbitrarily close to one by increasing a MJSQ parameter. When the system is overloaded ($\upsilon<0$) we show that although the $K$-dimensional MJSQ system is unstable, the steady state difference between the maximum and minimum queue-lengths stays bounded in probability (in the heavy traffic parameter $n$).


title: Hadamard Layer to Improve Semantic Segmentation

abstract: The Hadamard Layer, a simple and computationally efficient way to improve results in semantic segmentation tasks, is presented. This layer has no free parameters that require to be trained. Therefore it does not increase the number of model parameters, and the extra computational cost is marginal. Experimental results show that the new Hadamard layer substantially improves the performance of the investigated models (variants of the Pix2Pix model). The performance's improvement can be explained by the Hadamard layer forcing the network to produce an internal encoding of the classes so that all bins are active. Therefore, the network computation is more distributed. In a sort that the Hadamard layer requires that to change the predicted class, it is necessary to modify $2^{k-1}$ bins, assuming $k$ bins in the encoding. A specific loss function allows a stable and fast training convergence.


title: Differentiable Bootstrap Particle Filters for Regime-Switching Models

abstract: Differentiable particle filters are an emerging class of particle filtering methods that use neural networks to construct and learn parametric state-space models. In real-world applications, both the state dynamics and measurements can switch between a set of candidate models. For instance, in target tracking, vehicles can idle, move through traffic, or cruise on motorways, and measurements are collected in different geographical or weather conditions. This paper proposes a new differentiable particle filter for regime-switching state-space models. The method can learn a set of unknown candidate dynamic and measurement models and track the state posteriors. We evaluate the performance of the novel algorithm in relevant models, showing its great performance compared to other competitive algorithms.


title: Meta-World Conditional Neural Processes

abstract: We propose Meta-World Conditional Neural Processes (MW-CNP), a conditional world model generator that leverages sample efficiency and scalability of Conditional Neural Processes to enable an agent to sample from its own "hallucination". We intend to reduce the agent's interaction with the target environment at test time as much as possible. To reduce the number of samples required at test time, we first obtain a latent representation of the transition dynamics from a single rollout from the test environment with hidden parameters. Then, we obtain rollouts for few-shot learning by interacting with the "hallucination" generated by the meta-world model. Using the world model representation from MW-CNP, the meta-RL agent can adapt to an unseen target environment with significantly fewer samples collected from the target environment compared to the baselines. We emphasize that the agent does not have access to the task parameters throughout training and testing, and MW-CNP is trained on offline interaction data logged during meta-training.


title: Basic constructions in the categories of sets, sets with a binary relation on them, preorders, and posets

abstract: The purpose of this note is to work out the details of the concrete incarnation of a few categorical constructions (products, coproducts, pullbacks, pushouts, equalizers, coequalizers, and exponentials) in some useful and basic categories: the categories of sets, sets endowed with a binary relation, preorders, and posets.


title: Deep Transformers without Shortcuts: Modifying Self-attention for Faithful Signal Propagation

abstract: Skip connections and normalisation layers form two standard architectural components that are ubiquitous for the training of Deep Neural Networks (DNNs), but whose precise roles are poorly understood. Recent approaches such as Deep Kernel Shaping have made progress towards reducing our reliance on them, using insights from wide NN kernel theory to improve signal propagation in vanilla DNNs (which we define as networks without skips or normalisation). However, these approaches are incompatible with the self-attention layers present in transformers, whose kernels are intrinsically more complicated to analyse and control. And so the question remains: is it possible to train deep vanilla transformers? We answer this question in the affirmative by designing several approaches that use combinations of parameter initialisations, bias matrices and location-dependent rescaling to achieve faithful signal propagation in vanilla transformers. Our methods address various intricacies specific to signal propagation in transformers, including the interaction with positional encoding and causal masking. In experiments on WikiText-103 and C4, our approaches enable deep transformers without normalisation to train at speeds matching their standard counterparts, and deep vanilla transformers to reach the same performance as standard ones after about 5 times more iterations.


title: Bright submillimeter galaxies do trace galaxy protoclusters

abstract: There is controversy whether dusty starbursts selected at submillimeter wavelengths can trace galaxy overdensities. We perform the first systematic search for protoclusters around a homogeneously selected sample of 12 spectroscopically confirmed submillimeter galaxies (SMGs) at $z\sim1.2-5.3$ in the GOODS-N field. We applied the Poisson Probability Method (PPM) to search for Mpc scale overdensities around these SMGs using three photometric redshift catalogs. We detect galaxy overdensities for 11 out of the 12 SMGs ($92\%\pm8$\%), distributed over eight protoclusters. We confirm three previously discovered protoclusters, and we detect five new ones around the SMGs SMMJ123634 ($z=1.225$), ID.19 ($z=2.047$), SMMJ123607 ($z=2.487$), SMMJ123606 ($z=2.505$), and GN10 ($z=5.303$). A wavelet-based analysis shows that the SMGs live in protocluster cores with a complex morphology (compact, filamentary, or clumpy) and an average size of $\sim(0.4-1)$Mpc. By comparing the PPM results obtained using independently the three redshift catalogs, we possibly witness a transitioning phase at $z\gtrsim4$ for the galaxy populations. While $z\lesssim4$ protoclusters appear to be populated by dusty galaxies, those at highest redshifts $z\sim5$ are detected as overdensities of Lyman$\alpha$ emitters or Lyman break galaxies. We also find a good correlation between the molecular (H$_2$) gas mass of the SMG and the overdensity significance. To explain the overall phenomenology, we suggest that galaxy interactions in dense environments likely triggered the starburst and gas-rich phase of the SMGs. Altogether, we support the scenario that SMGs are excellent tracers of distant protoclusters. Those presented in this work are excellent targets for the {\it James Webb Space Telescope.} Surveys with forthcoming facilities (e.g., {\it Euclid}, LSST) can be tuned to detect even larger samples of distant protoclusters.


title: Bayesian subtyping for multi-state brain functional connectome with application on adolescent brain cognition

abstract: Converging evidence indicates that the heterogeneity of cognitive profiles may arise through detectable alternations in brain functions. Particularly, brain functional connectivity, measured under resting and cognitive states, characterizes the unique neuronal interconnections across large-scale brain networks. Despite an unprecedented opportunity to uncover neurobiological subtypes through clustering or subtyping analyses on multi-state functional connectivity, few existing approaches are applicable here to accommodate the network topology and unique biological architecture of functional connectivity. To address this issue, we propose an innovative Bayesian nonparametric network-variate clustering analysis to uncover subgroups with homogeneous brain functional network patterns integrating different cognitive states. In light of the existing neuroscience literature, we assume there are unknown state-specific modular structures within functional connectivity and simultaneously impose selection to identify informative network features for defining subtypes within unsupervised learning. To further facilitate practical use, we develop a computationally efficient variational inference algorithm to perform posterior inference with satisfactory estimation accuracy. Extensive simulations show the superior clustering accuracy and plausible result of our method. Applying the method to the landmark Adolescent Brain Cognitive Development (ABCD) study, we successfully establish neurodevelopmental subtypes linked with impulsivity related behavior trait, and identify brain sub-network phenotypes under each state to signal neurobiological heterogeneity.


title: Adaptive Sparse Gaussian Process

abstract: Adaptive learning is necessary for non-stationary environments where the learning machine needs to forget past data distribution. Efficient algorithms require a compact model update to not grow in computational burden with the incoming data and with the lowest possible computational cost for online parameter updating. Existing solutions only partially cover these needs. Here, we propose the first adaptive sparse Gaussian Process (GP) able to address all these issues. We first reformulate a variational sparse GP algorithm to make it adaptive through a forgetting factor. Next, to make the model inference as simple as possible, we propose updating a single inducing point of the sparse GP model together with the remaining model parameters every time a new sample arrives. As a result, the algorithm presents a fast convergence of the inference process, which allows an efficient model update (with a single inference iteration) even in highly non-stationary environments. Experimental results demonstrate the capabilities of the proposed algorithm and its good performance in modeling the predictive posterior in mean and confidence interval estimation compared to state-of-the-art approaches.


title: Unsupervised Out-of-Distribution Detection with Diffusion Inpainting

abstract: Unsupervised out-of-distribution detection (OOD) seeks to identify out-of-domain data by learning only from unlabeled in-domain data. We present a novel approach for this task - Lift, Map, Detect (LMD) - that leverages recent advancement in diffusion models. Diffusion models are one type of generative models. At their core, they learn an iterative denoising process that gradually maps a noisy image closer to their training manifolds. LMD leverages this intuition for OOD detection. Specifically, LMD lifts an image off its original manifold by corrupting it, and maps it towards the in-domain manifold with a diffusion model. For an out-of-domain image, the mapped image would have a large distance away from its original manifold, and LMD would identify it as OOD accordingly. We show through extensive experiments that LMD achieves competitive performance across a broad variety of datasets. Code can be found at https://github.com/zhenzhel/lift_map_detect.


title: On Picard groups and Jacobians of directed graphs

abstract: The Picard group of an undirected graph is a finitely generated abelian group, and the Jacobian is the torsion subgroup of the Picard group. These groups can be computed by using the Smith normal form of the Laplacian matrix of the graph or by using chip-firing games associated with the graph. One may consider its generalization to directed graphs based on the Laplacian matrix. We compute Picard groups and Jacobians for several classes of directed trees, cycles, wheel, and multipartite graphs.


title: Hello Me, Meet the Real Me: Audio Deepfake Attacks on Voice Assistants

abstract: The radical advances in telecommunications and computer science have enabled a myriad of applications and novel seamless interaction with computing interfaces. Voice Assistants (VAs) have become a norm for smartphones, and millions of VAs incorporated in smart devices are used to control these devices in the smart home context. Previous research has shown that they are prone to attacks, leading vendors to countermeasures. One of these measures is to allow only a specific individual, the device's owner, to perform possibly dangerous tasks, that is, tasks that may disclose personal information, involve monetary transactions etc. To understand the extent to which VAs provide the necessary protection to their users, we experimented with two of the most widely used VAs, which the participants trained. We then utilised voice synthesis using samples provided by participants to synthesise commands that were used to trigger the corresponding VA and perform a dangerous task. Our extensive results showed that more than 30\% of our deepfake attacks were successful and that there was at least one successful attack for more than half of the participants. Moreover, they illustrate statistically significant variation among vendors and, in one case, even gender bias. The outcomes are rather alarming and require the deployment of further countermeasures to prevent exploitation, as the number of VAs in use is currently comparable to the world population.


title: Harms from Increasingly Agentic Algorithmic Systems

abstract: Research in Fairness, Accountability, Transparency, and Ethics (FATE) has established many sources and forms of algorithmic harm, in domains as diverse as health care, finance, policing, and recommendations. Much work remains to be done to mitigate the serious harms of these systems, particularly those disproportionately affecting marginalized communities. Despite these ongoing harms, new systems are being developed and deployed which threaten the perpetuation of the same harms and the creation of novel ones. In response, the FATE community has emphasized the importance of anticipating harms. Our work focuses on the anticipation of harms from increasingly agentic systems. Rather than providing a definition of agency as a binary property, we identify 4 key characteristics which, particularly in combination, tend to increase the agency of a given algorithmic system: underspecification, directness of impact, goal-directedness, and long-term planning. We also discuss important harms which arise from increasing agency -- notably, these include systemic and/or long-range impacts, often on marginalized stakeholders. We emphasize that recognizing agency of algorithmic systems does not absolve or shift the human responsibility for algorithmic harms. Rather, we use the term agency to highlight the increasingly evident fact that ML systems are not fully under human control. Our work explores increasingly agentic algorithmic systems in three parts. First, we explain the notion of an increase in agency for algorithmic systems in the context of diverse perspectives on agency across disciplines. Second, we argue for the need to anticipate harms from increasingly agentic systems. Third, we discuss important harms from increasingly agentic systems and ways forward for addressing them. We conclude by reflecting on implications of our work for anticipating algorithmic harms from emerging systems.


title: Hydrodynamic Interactions in Ion Transport -- Theory and Simulation

abstract: We present a hydrodynamic theory describing pair diffusion in systems with periodic boundary conditions, thereby generalizing earlier work on self-diffusion [D\"unweg and Kremer, J. Chem. Phys. 1993, 99, 6983-6997; Yeh and Hummer, J. Phys. Chem. B 2004, 108, 15873-15879]. Its predictions are compared to Molecular Dynamics simulations for a liquid carbonate electrolyte and two ionic liquids, for which we characterize the correlated motion between distinct ions. Overall, we observe good agreement between theory and simulation data, highlighting that hydrodynamic interactions universally dictate ion correlations. However, when summing over all ion pairs in the system to obtain the cross-contributions to the total cationic or anionic conductivity, the hydrodynamic interactions between ions with like and unlike charges largely cancel. Consequently, significant conductivity contributions only arise from deviations from a hydrodynamic flow field of an ideal fluid, that is, from the local electrolyte structure as well as from relaxation processes in the subdiffusive regime. In case of ionic liquids, the momentum-conservation constraint additionally is vital, which we study by employing different ionic masses in the simulations. Our formalism will likely also be helpful to estimate finite-size effects of the conductivity or of Maxwell-Stefan diffusivities in simulations.


title: Causal Razors

abstract: When performing causal discovery, assumptions have to be made on how the true causal mechanism corresponds to the underlying joint probability distribution. These assumptions are labeled as causal razors in this work. We review numerous causal razors that appeared in the literature, and offer a comprehensive logical comparison of them. In particular, we scrutinize an unpopular causal razor, namely parameter minimality, in multinomial causal models and its logical relations with other well-studied causal razors. Our logical result poses a dilemma in selecting a reasonable scoring criterion for score-based casual search algorithms.


title: A Qubit, a Coin, and an Advice String Walk Into a Relational Problem

abstract: Relational problems (those with many possible valid outputs) are different from decision problems, but it is easy to forget just how different. This paper initiates the study of FBQP/qpoly, the class of relational problems solvable in quantum polynomial-time with the help of polynomial-sized quantum advice, along with its analogues for deterministic and randomized computation (FP, FBPP) and advice (/poly, /rpoly). Our first result is that FBQP/qpoly != FBQP/poly, unconditionally, with no oracle -- a striking contrast with what we know about the analogous decision classes. The proof repurposes the separation between quantum and classical one-way communication complexities due to Bar-Yossef, Jayram, and Kerenidis. We discuss how this separation raises the prospect of near-term experiments to demonstrate "quantum information supremacy," a form of quantum supremacy that would not depend on unproved complexity assumptions. Our second result is that FBPP is not contained in FP/poly -- that is, Adleman's Theorem fails for relational problems -- unless PSPACE is contained in NP/poly. Our proof uses IP=PSPACE and time-bounded Kolmogorov complexity. On the other hand, we show that proving FBPP not in FP/poly will be hard, as it implies a superpolynomial circuit lower bound for PromiseBPEXP. We prove the following further results: * Unconditionally, FP != FBPP and FP/poly != FBPP/poly (even when these classes are carefully defined). * FBPP/poly = FBPP/rpoly (and likewise for FBQP). For sampling problems, by contrast, SampBPP/poly != SampBPP/rpoly (and likewise for SampBQP).


title: Trigonometric identities: from Hermite via Meijer, N{\o}rlund and Braaksma to Chu and Johnson and beyond

abstract: Known already to the ancient Greeks, today trigonometric identities come in a large variety of tastes and flavours. In this large family there is a subfamily of interpolation-like identities discovered by Hermite and revived rather recently in two independent papers, one by Wenchang Chu and the other by Warren Johnson exploring various forms and generalizations of Hermite's results. The goal of this work inspired by these two articles is twofold. The first goal is to fill a gap in the references from the above papers and exhibit various trigonometric identities discovered by Meijer, N{\o}rlund and Braaksma between 1940 and 1962 in the context of analytic continuation of Mellin-Barnes integrals and relations between different solutions of the generalized hypergeometric differential equation. Our second goal is to present some extensions of Chu's and Johnson's results by combining them with the ideas of Meijer and Braaksma adding certain sum manipulations and facts from the complex analysis. We unify and systematize various known and new identities and illustrate our results with numerous explicit examples.


title: wsq-primary hyperideals of a Krasner (m,n)-hyperring

abstract: In this paper we aim to introduce some hyperideals such as q-primary, (k,n)-absorbing q-primary, sq-primary, wsq-primary hyperideals.


title: Uniaxial modulation and the Berezinskii-Kosterlitz-Thouless transition

abstract: We present a theoretical study of the Berezinskii-Kosterlitz-Thouless transition of a two-dimensional superfluid in the presence of an externally imposed density modulation along a single axis. The subject is investigated in the context of the $|\psi|^4$ classical field theory, by means of analytical and numerical techniques. We show that, as the amplitude of the modulation increases, the physics of the system approaches that of the anisotropic $x$-$y$ model, with a suppressed superfluid transition temperature and an anisotropic response, but with no dimensional crossover.


title: Low Complexity Subshifts have Discrete Spectrum

abstract: We prove results about subshifts with linear (word) complexity, meaning that $\limsup \frac{p(n)}{n} < \infty$, where for every $n$, $p(n)$ is the number of $n$-letter words appearing in sequences in the subshift. Denoting this limsup by $C$, we show that when $C < \frac{4}{3}$, the subshift has discrete spectrum, i.e. is measurably isomorphic to a rotation of a compact abelian group with Haar measure. We also give an example with $C = \frac{3}{2}$ which has a weak mixing measure. This partially answers an open question of Ferenczi, who asked whether $C = \frac{5}{3}$ was the minimum possible among such subshifts; our results show that the infimum in fact lies in $[\frac{4}{3}, \frac{3}{2}]$. All results are consequences of a general S-adic/substitutive structure proved when $C < \frac{4}{3}$.


title: Thermal effects on the spin domain phases of high spin-f Bose-Einstein condensates with rotational symmetries

abstract: Spinor Bose Einstein condensates (BEC) can be realized nowadays using different atomic species of several spin values, offering unprecedented opportunities to scrutinize the underlying physics of its spin phase domains and of its quantum phase transitions. At sufficient low temperatures, lower than the critical temperature, a fraction of thermally excited atoms of the condensate can still interact with the whole system leading to spin-dependent interactions that can modify the nature of its phase domains. In this work, we characterize the thermal fraction of atoms of a spinorial BEC of general spin-$f$ value, provided that its ground state lies in a given spin phase with rotational symmetry. To that end, we use the Hartree-Fock approximation and a method based on the Majorana stellar representation for mixed quantum states and symmetry arguments. We consider the spin phases with usual point group symmetries, including those with some exotic phases associated to the platonic solids. The method leads to useful analytical expressions of the eigenspectrum of the thermal cloud allowing us to study the admissible regions and multipolar magnetic moments of the spin phases as a function of the temperature for general spin values.


title: Search for Gravitational Waves from Scorpius X-1 in LIGO O3 Data With Corrected Orbital Ephemeris

abstract: Improved observational constraints on the orbital parameters of the low-mass X-ray binary Scorpius~X-1 were recently published in Killestein et al (2023). In the process, errors were corrected in previous orbital ephemerides, which have been used in searches for continuous gravitational waves from Sco~X-1 using data from the Advanced LIGO detectors. We present the results of a re-analysis of LIGO detector data from the third observing run of Advanced LIGO and Advanced Virgo using a model-based cross-correlation search. The corrected region of parameter space, which was not covered by previous searches, was about 1/3 as large as the region searched in the original O3 analysis, reducing the required computing time. We have confirmed that no detectable signal is present over a range of gravitational-wave frequencies from $25\textrm{Hz}$ to $1600\textrm{Hz}$, analogous to the null result of Abbott et al (2022). Our search sensitivity is comparable to that of Abbott et al (2022), who set upper limits corresponding, between $100\textrm{Hz}$ and $200\textrm{Hz}$, to an amplitude $h_0$ of about $10^{-25}$ when marginalized isotropically over the unknown inclination angle of the neutron star's rotation axis, or less than $4\times 10^{-26}$ assuming the optimal orientation.


title: Use of immersive virtual reality-based experiments to study tactical decision-making during emergency evacuation

abstract: Humans make their evacuation decisions first at strategic/tactical levels, deciding their exit and route choice and then at operational level, navigating to a way-point, avoiding collisions. What influences an individuals at tactical level is of importance, for modelers to design a high fidelity simulation or for safety engineers to create efficient designs/codes. Does an unlit exit sign dissuades individual(s) to avoid a particular exit/route and vice versa? What effect does the crowd's choices have on individual's decision making? To answer these questions, we studied the effect of exit signage (unlit/lit), different proportions of crowd movement towards the exits, and the combined (reinforcing/conflicting) effect of the sign and the crowd treatment on reaction times and exit choices of participants in an immersive virtual reality(VR) evacuation experiment. We found that there is tolerance for queuing when different sources of information, exit signage and crowd movement reinforced one another. The effect of unlit exit signage on dissuading individuals from using a particular exit/route was significant. The virtual crowd was ineffective at encouraging utilization of a particular exit/route but had a slight repulsive effect. Additionally, we found some similarities between previous studies based on screen-based evacuation experiments and our VR-based experiment.


title: pykanto: a python library to accelerate research on wild bird song

abstract: Studying the vocalisations of wild animals can be a challenge due to the limitations of traditional computational methods, which often are time-consuming and lack reproducibility. Here, I present pykanto, a new software package that provides a set of tools to build, manage, and explore large sound databases. It can automatically find discrete units in animal vocalisations, perform semi-supervised labelling of individual repertoires with a new interactive web app, and feed data to deep learning models to study things like individual signatures and acoustic similarity between individuals and populations. To demonstrate its capabilities, I put the library to the test on the vocalisations of male great tits in Wytham Woods, near Oxford, UK. The results show that the identities of individual birds can be accurately determined from their songs and that the use of pykanto improves the efficiency and reproducibility of the process.


title: DC4L: Distribution Shift Recovery via Data-Driven Control for Deep Learning Models

abstract: Deep neural networks have repeatedly been shown to be non-robust to the uncertainties of the real world, even to naturally occurring ones. A vast majority of current approaches have focused on data-augmentation methods to expand the range of perturbations that the classifier is exposed to while training. A relatively unexplored avenue that is equally promising involves sanitizing an image as a preprocessing step, depending on the nature of perturbation. In this paper, we propose to use control for learned models to recover from distribution shifts online. Specifically, our method applies a sequence of semantic-preserving transformations to bring the shifted data closer in distribution to the training set, as measured by the Wasserstein distance. Our approach is to 1) formulate the problem of distribution shift recovery as a Markov decision process, which we solve using reinforcement learning, 2) identify a minimum condition on the data for our method to be applied, which we check online using a binary classifier, and 3) employ dimensionality reduction through orthonormal projection to aid in our estimates of the Wasserstein distance. We provide theoretical evidence that orthonormal projection preserves characteristics of the data at the distributional level. We apply our distribution shift recovery approach to the ImageNet-C benchmark for distribution shifts, demonstrating an improvement in average accuracy of up to 14.21% across a variety of state-of-the-art ImageNet classifiers. We further show that our method generalizes to composites of shifts from the ImageNet-C benchmark, achieving improvements in average accuracy of up to 9.81%. Finally, we test our method on CIFAR-100-C and report improvements of up to 8.25%.


title: Fantastic Rewards and How to Tame Them: A Case Study on Reward Learning for Task-oriented Dialogue Systems

abstract: When learning task-oriented dialogue (ToD) agents, reinforcement learning (RL) techniques can naturally be utilized to train dialogue strategies to achieve user-specific goals. Prior works mainly focus on adopting advanced RL techniques to train the ToD agents, while the design of the reward function is not well studied. This paper aims at answering the question of how to efficiently learn and leverage a reward function for training end-to-end (E2E) ToD agents. Specifically, we introduce two generalized objectives for reward-function learning, inspired by the classical learning-to-rank literature. Further, we utilize the learned reward function to guide the training of the E2E ToD agent. With the proposed techniques, we achieve competitive results on the E2E response-generation task on the Multiwoz 2.0 dataset. Source code and checkpoints are publicly released at https://github.com/Shentao-YANG/Fantastic_Reward_ICLR2023.


title: Non-rigid Medical Image Registration using Physics-informed Neural Networks

abstract: Biomechanical modelling of soft tissue provides a non-data-driven method for constraining medical image registration, such that the estimated spatial transformation is considered biophysically plausible. This has not only been adopted in real-world clinical applications, such as the MR-to-ultrasound registration for prostate intervention of interest in this work, but also provides an explainable means of understanding the organ motion and spatial correspondence establishment. This work instantiates the recently-proposed physics-informed neural networks (PINNs) to a 3D linear elastic model for modelling prostate motion commonly encountered during transrectal ultrasound guided procedures. To overcome a widely-recognised challenge in generalising PINNs to different subjects, we propose to use PointNet as the nodal-permutation-invariant feature extractor, together with a registration algorithm that aligns point sets and simultaneously takes into account the PINN-imposed biomechanics. The proposed method has been both developed and validated in both patient-specific and multi-patient manner.


title: Model-based feature selection for neural networks: A mixed-integer programming approach

abstract: In this work, we develop a novel input feature selection framework for ReLU-based deep neural networks (DNNs), which builds upon a mixed-integer optimization approach. While the method is generally applicable to various classification tasks, we focus on finding input features for image classification for clarity of presentation. The idea is to use a trained DNN, or an ensemble of trained DNNs, to identify the salient input features. The input feature selection is formulated as a sequence of mixed-integer linear programming (MILP) problems that find sets of sparse inputs that maximize the classification confidence of each category. These ''inverse'' problems are regularized by the number of inputs selected for each category and by distribution constraints. Numerical results on the well-known MNIST and FashionMNIST datasets show that the proposed input feature selection allows us to drastically reduce the size of the input to $\sim$15\% while maintaining a good classification accuracy. This allows us to design DNNs with significantly fewer connections, reducing computational effort and producing DNNs that are more robust towards adversarial attacks.


title: A Jump Ornstein-Uhlenbeck Bridge Based on Energy-optimal Control and Its Self-exciting Extension

abstract: We study a version of the Ornstein-Uhlenbeck bridge driven by a spectrally-positive subordinator. Our formulation is based on a Linear-Quadratic control subject to a singular terminal condition. The Ornstein-Uhlenbeck bridge, we develop, is written as a limit of the obtained optimally controlled processes, and is shown to admit an explicit expression. Its extension with self-excitement is also considered. The terminal condition is confirmed to be satisfied by the obtained process both analytically and numerically. The methods are also applied to a streamflow regulation problem using a real-life dataset.


title: Exploring the Limits of Transfer Learning with Unified Model in the Cybersecurity Domain

abstract: With the increase in cybersecurity vulnerabilities of software systems, the ways to exploit them are also increasing. Besides these, malware threats, irregular network interactions, and discussions about exploits in public forums are also on the rise. To identify these threats faster, to detect potentially relevant entities from any texts, and to be aware of software vulnerabilities, automated approaches are necessary. Application of natural language processing (NLP) techniques in the Cybersecurity domain can help in achieving this. However, there are challenges such as the diverse nature of texts involved in the cybersecurity domain, the unavailability of large-scale publicly available datasets, and the significant cost of hiring subject matter experts for annotations. One of the solutions is building multi-task models that can be trained jointly with limited data. In this work, we introduce a generative multi-task model, Unified Text-to-Text Cybersecurity (UTS), trained on malware reports, phishing site URLs, programming code constructs, social media data, blogs, news articles, and public forum posts. We show UTS improves the performance of some cybersecurity datasets. We also show that with a few examples, UTS can be adapted to novel unseen tasks and the nature of data


title: Online Evolutionary Neural Architecture Search for Multivariate Non-Stationary Time Series Forecasting

abstract: Time series forecasting (TSF) is one of the most important tasks in data science given the fact that accurate time series (TS) predictive models play a major role across a wide variety of domains including finance, transportation, health care, and power systems. Real-world utilization of machine learning (ML) typically involves (pre-)training models on collected, historical data and then applying them to unseen data points. However, in real-world applications, time series data streams are usually non-stationary and trained ML models usually, over time, face the problem of data or concept drift. To address this issue, models must be periodically retrained or redesigned, which takes significant human and computational resources. Additionally, historical data may not even exist to re-train or re-design model with. As a result, it is highly desirable that models are designed and trained in an online fashion. This work presents the Online NeuroEvolution-based Neural Architecture Search (ONE-NAS) algorithm, which is a novel neural architecture search method capable of automatically designing and dynamically training recurrent neural networks (RNNs) for online forecasting tasks. Without any pre-training, ONE-NAS utilizes populations of RNNs that are continuously updated with new network structures and weights in response to new multivariate input data. ONE-NAS is tested on real-world, large-scale multivariate wind turbine data as well as the univariate Dow Jones Industrial Average (DJIA) dataset. Results demonstrate that ONE-NAS outperforms traditional statistical time series forecasting methods, including online linear regression, fixed long short-term memory (LSTM) and gated recurrent unit (GRU) models trained online, as well as state-of-the-art, online ARIMA strategies.


title: Binding-and-folding recognition of an intrinsically disordered protein using online learning molecular dynamics

abstract: Intrinsically disordered proteins participate in many biological processes by folding upon binding with other proteins. However, coupled folding and binding processes are not well understood from an atomistic point of view. One of the main questions is whether folding occurs prior to or after binding. Here we use a novel unbiased high-throughput adaptive sampling approach to reconstruct the binding and folding between the disordered transactivation domain of \mbox{c-Myb} and the KIX domain of the CREB-binding protein. The reconstructed long-term dynamical process highlights the binding of a short stretch of amino acids on \mbox{c-Myb} as a folded $\alpha$-helix. Leucine residues, specially Leu298 to Leu302, establish initial native contacts that prime the binding and folding of the rest of the peptide, with a mixture of conformational selection on the N-terminal region with an induced fit of the C-terminal.


title: Principal blocks with six ordinary irreducible characters

abstract: We classify Sylow $p$-subgroups of finite groups whose principal $p$-blocks have precisely six ordinary irreducible characters.


title: Hierarchical Triples as Early Sources of $r$-process Elements

abstract: Neutron star mergers have been proposed as the main source of heavy $r$-process nucleosynthesis in the Universe. However, the mergers' significant expected delay after binary formation is in tension with observed very early $r$-process enrichment, e.g., in the dwarf galaxy Reticulum II. The LIGO and Virgo gravitational-wave observatories discovered two binary mergers with lighter companion masses ($\sim 2.6$ M$_\odot$) similar to the total mass of many binary neutron star systems in the Galaxy. The progenitor of such mergers could be a neutron star binary orbiting a black hole. Here we show that a significant fraction of neutron star binaries in hierarchical triples merge rapidly ($\gtrsim3\%$ within $\lesssim10$ Myr after neutron star formation) and could explain the observed very early $r$-process enrichment. The neutron star binary can become eccentric via von Zeipel-Kozai-Lidov oscillations, promoting a fast coalescence followed later by a merger of the low-mass black hole with the higher-mass black hole in the system. We show that this scenario is also consistent with an overall binary neutron star merger rate density of $\sim100$ Gpc$^{-3}$yr$^{-1}$ in such triples. Using hydrodynamic simulations we show that highly eccentric neutron star mergers dynamically eject several times more mass than standard mergers, with exceptionally bright kilonovae with an "early blue bump" as unique observational signatures.


abstract: Unsupervised learning with functional data is an emerging paradigm of machine learning research with applications to computer vision, climate modeling and physical systems. A natural way of modeling functional data is by learning operators between infinite dimensional spaces, leading to discretization invariant representations that scale independently of the sample grid resolution. Here we present Variational Autoencoding Neural Operators (VANO), a general strategy for making a large class of operator learning architectures act as variational autoencoders. For this purpose, we provide a novel rigorous mathematical formulation of the variational objective in function spaces for training. VANO first maps an input function to a distribution over a latent space using a parametric encoder and then decodes a sample from the latent distribution to reconstruct the input, as in classic variational autoencoders. We test VANO with different model set-ups and architecture choices for a variety of benchmarks. We start from a simple Gaussian random field where we can analytically track what the model learns and progressively transition to more challenging benchmarks including modeling phase separation in Cahn-Hilliard systems and real world satellite data for measuring Earth surface deformation.


title: A3Test: Assertion-Augmented Automated Test Case Generation

abstract: Test case generation is an important activity, yet a time-consuming and laborious task. Recently, AthenaTest -- a deep learning approach for generating unit test cases -- is proposed. However, AthenaTest can generate less than one-fifth of the test cases correctly, due to a lack of assertion knowledge and test signature verification. In this paper, we propose A3Test, a DL-based test case generation approach that is augmented by assertion knowledge with a mechanism to verify naming consistency and test signatures. A3Test leverages the domain adaptation principles where the goal is to adapt the existing knowledge from an assertion generation task to the test case generation task. We also introduce a verification approach to verify naming consistency and test signatures. Through an evaluation of 5,278 focal methods from the Defects4j dataset, we find that our A3Test (1) achieves 147% more correct test cases and 15% more method coverage, with a lower number of generated test cases than AthenaTest; (2) still outperforms the existing pre-trained models for the test case generation task; (3) contributes substantially to performance improvement via our own proposed assertion pre-training and the verification components; (4) is 97.2% much faster while being more accurate than AthenaTest.


title: Ratio Shift Keying Modulation for Time-Varying Molecular Communication Channels

abstract: Molecular Communications (MC) is a bio-inspired communication technique that uses molecules to encode and transfer information. Many efforts have been devoted to developing novel modulation techniques for MC based on various distinguishable characteristics of molecules, such as their concentrations or types. In this paper, we investigate a particular modulation scheme called Ratio Shift Keying (RSK), where the information is encoded in the concentration ratio of two different types of molecules. RSK modulation is hypothesized to enable accurate information transfer in dynamic MC scenarios where the time-varying channel characteristics affect both types of molecules equally. To validate this hypothesis, we first conduct an information-theoretical analysis of RSK modulation and derive the capacity of the end-to-end MC channel where the receiver estimates concentration ratio based on ligand-receptor binding statistics in an optimal or suboptimal manner. We then analyze the error performance of RSK modulation in a practical time-varying MC scenario, that is mobile MC, in which both the transmitter and the receiver undergo diffusion-based propagation. Our numerical and analytical results, obtained for varying levels of similarity between the ligand types used for ratio-encoding, and varying number of receptors, show that RSK can significantly outperform the most commonly considered MC modulation technique, concentration shift keying (CSK), in dynamic MC scenarios.


title: Certified Everlasting Secure Collusion-Resistant Functional Encryption, and More

abstract: We study certified everlasting secure functional encryption (FE) and many other cryptographic primitives in this work. Certified everlasting security roughly means the following. A receiver possessing a quantum cryptographic object can issue a certificate showing that the receiver has deleted the cryptographic object and information included in the object was lost. If the certificate is valid, the security is guaranteed even if the receiver becomes computationally unbounded after the deletion. Many cryptographic primitives are known to be impossible (or unlikely) to have information-theoretical security even in the quantum world. Hence, certified everlasting security is a nice compromise (intrinsic to quantum). In this work, we define certified everlasting secure versions of FE, compute-and-compare obfuscation, predicate encryption (PE), secret-key encryption (SKE), public-key encryption (PKE), receiver non-committing encryption (RNCE), and garbled circuits. We also present the following constructions: - Adaptively certified everlasting secure collusion-resistant public-key FE for all polynomial-size circuits from indistinguishability obfuscation and one-way functions. - Adaptively certified everlasting secure bounded collusion-resistant public-key FE for NC1 circuits from standard PKE. - Certified everlasting secure compute-and-compare obfuscation from standard fully homomorphic encryption and standard compute-and-compare obfuscation - Adaptively (resp., selectively) certified everlasting secure PE from standard adaptively (resp., selectively) secure attribute-based encryption and certified everlasting secure compute-and-compare obfuscation. - Certified everlasting secure SKE and PKE from standard SKE and PKE, respectively. - Certified everlasting secure RNCE from standard PKE. - Certified everlasting secure garbled circuits from standard SKE.


title: Doped rare gas clusters up to completion of first solvation shell, CO2-(Rg)n, n = 3-17, Rg = Ar, Kr, Xe

abstract: Spectra of rare gas atom clusters containing a single carbon dioxide molecule are observed using a tunable mid-infrared (4.3 micron) source to probe a pulsed slit jet supersonic expansion. There are relatively few previous detailed experimental results on such clusters. The assigned clusters include CO2-Arn with n = 3, 4, 6, 9, 10, 11, 12, 15, and 17, as well as CO2-Krn and -Xen with n = 3, 4, and 5. Each spectrum has (at least) partially resolved rotational structure, and each yields precise values for the shift of the CO2 vibrational frequency (nu3) induced by the nearby rare gas atoms, together with one or more rotational constants. These results are compared with theoretical predictions. The more readily assigned CO2-Arn species tend to be those with symmetric structures, and CO2-Ar17 represents completion of a highly symmetric (D5h) solvation shell. Those not assigned (e.g. n = 7, 13) are probably also present in the observed spectra, but with band structures which are not well-resolved and thus not recognizable. The spectra of CO2-Ar9, -Ar15, and -Ar17 suggest the presence of sequences involving very low frequency (~2 cm-1) cluster vibrational modes, an interpretation which should be amenable to theoretical confirmation (or rejection).