title: Subword Complexes and Kalai's Conjecture on Reconstruction of Spheres

abstract: A famous theorem in polytope theory states that the combinatorial type of a simplicial polytope is completely determined by its facet-ridge graph. This celebrated result was proven by Blind and Mani in 1987, via a non-constructive proof using topological tools from homology theory. An elegant constructive proof was given by Kalai shortly after. In their original paper, Blind and Mani asked whether their result can be extended to simplicial spheres, and a positive answer to their question was conjectured by Kalai in 2009. In this paper, we show that Kalai's conjecture holds in the particular case of Knutson and Miller's spherical subword complexes. This family of simplicial spheres arises in the context of Coxeter groups, and is conjectured to be polytopal. In contrast, not all manifolds are reconstructible. We show two explicit examples, namely the torus and the projective plane.


title: Improving Visual Grounding by Encouraging Consistent Gradient-based Explanations

abstract: We propose a margin-based loss for tuning joint vision-language models so that their gradient-based explanations are consistent with region-level annotations provided by humans for relatively smaller grounding datasets. We refer to this objective as Attention Mask Consistency (AMC) and demonstrate that it produces superior visual grounding results than previous methods that rely on using vision-language models to score the outputs of object detectors. Particularly, a model trained with AMC on top of standard vision-language modeling objectives obtains a state-of-the-art accuracy of 86.49% in the Flickr30k visual grounding benchmark, an absolute improvement of 5.38% when compared to the best previous model trained under the same level of supervision. Our approach also performs exceedingly well on established benchmarks for referring expression comprehension where it obtains 80.34% accuracy in the easy test of RefCOCO+, and 64.55% in the difficult split. AMC is effective, easy to implement, and is general as it can be adopted by any vision-language model, and can use any type of region annotations.


title: QUIDAM: A Framework for Quantization-Aware DNN Accelerator and Model Co-Exploration

abstract: As the machine learning and systems communities strive to achieve higher energy-efficiency through custom deep neural network (DNN) accelerators, varied precision or quantization levels, and model compression techniques, there is a need for design space exploration frameworks that incorporate quantization-aware processing elements into the accelerator design space while having accurate and fast power, performance, and area models. In this work, we present QUIDAM, a highly parameterized quantization-aware DNN accelerator and model co-exploration framework. Our framework can facilitate future research on design space exploration of DNN accelerators for various design choices such as bit precision, processing element type, scratchpad sizes of processing elements, global buffer size, number of total processing elements, and DNN configurations. Our results show that different bit precisions and processing element types lead to significant differences in terms of performance per area and energy. Specifically, our framework identifies a wide range of design points where performance per area and energy varies more than 5x and 35x, respectively. With the proposed framework, we show that lightweight processing elements achieve on par accuracy results and up to 5.7x more performance per area and energy improvement when compared to the best INT16 based implementation. Finally, due to the efficiency of the pre-characterized power, performance, and area models, QUIDAM can speed up the design exploration process by 3-4 orders of magnitude as it removes the need for expensive synthesis and characterization of each design.


title: Practical Black Box Hamiltonian Learning

abstract: We study the problem of learning the parameters for the Hamiltonian of a quantum many-body system, given limited access to the system. In this work, we build upon recent approaches to Hamiltonian learning via derivative estimation. We propose a protocol that improves the scaling dependence of prior works, particularly with respect to parameters relating to the structure of the Hamiltonian (e.g., its locality $k$). Furthermore, by deriving exact bounds on the performance of our protocol, we are able to provide a precise numerical prescription for theoretically optimal settings of hyperparameters in our learning protocol, such as the maximum evolution time (when learning with unitary dynamics) or minimum temperature (when learning with Gibbs states). Thanks to these improvements, our protocol is practical for large problems: we demonstrate this with a numerical simulation of our protocol on an 80-qubit system.


title: Interpretability, Then What? Editing Machine Learning Models to Reflect Human Knowledge and Values

abstract: Machine learning (ML) interpretability techniques can reveal undesirable patterns in data that models exploit to make predictions--potentially causing harms once deployed. However, how to take action to address these patterns is not always clear. In a collaboration between ML and human-computer interaction researchers, physicians, and data scientists, we develop GAM Changer, the first interactive system to help domain experts and data scientists easily and responsibly edit Generalized Additive Models (GAMs) and fix problematic patterns. With novel interaction techniques, our tool puts interpretability into action--empowering users to analyze, validate, and align model behaviors with their knowledge and values. Physicians have started to use our tool to investigate and fix pneumonia and sepsis risk prediction models, and an evaluation with 7 data scientists working in diverse domains highlights that our tool is easy to use, meets their model editing needs, and fits into their current workflows. Built with modern web technologies, our tool runs locally in users' web browsers or computational notebooks, lowering the barrier to use. GAM Changer is available at the following public demo link: https://interpret.ml/gam-changer.


title: On some products of finite groups

abstract: A classical result of Baer states that a finite group $ G $ which is the product of two normal supersoluble subgroups is supersoluble if and only if $ G' $ is nilpotent. In this article we show that if $ G=AB $ is the product of supersoluble (respectively, $ w $-supersoluble) subgroups $ A $ and $ B $, $ A $ is normal in $ G $, $ B $ permutes with every maximal subgroup of each Sylow subgroup of $ A $, then $ G $ is supersoluble (respectively, $ w $-supersoluble) provided that $ G' $ is nilpotent. We also investigate products of subgroups defined above when $ A\cap B=1 $ and obtain more general results.


title: High-efficiency microwave-optical quantum transduction based on a cavity electro-optic superconducting system with long coherence time

abstract: Frequency conversion between microwave and optical photons is a key enabling technology to create links between superconducting quantum processors and to realize distributed quantum networks. We propose a microwave-optical transduction platform based on long-coherence-time superconducting radio-frequency (SRF) cavities coupled to electro-optic optical cavities to mitigate the loss mechanisms that limit the attainment of high conversion efficiency. In the design, we optimize the microwave-optical field overlap and optical coupling losses, while achieving long microwave and optical photon lifetime at milli-Kelvin temperatures. This represents a significant enhancement of the transduction efficiency up to 50% under pump power of 140$\mu$W, corresponding to few-photon quantum regime. Furthermore, this scheme exhibits high resolution for optically reading out the dispersive shift induced by a superconducting transmon qubit coupled to the SRF cavity. We also show that the fidelity of heralded entanglement generation between two remote quantum systems is enhanced by the low microwave losses. Finally, high-precision in quantum sensing can be reached below the standard quantum limit.


title: First light of BEaTriX, the new testing facility for the modular X-ray optics of the ATHENA mission

abstract: The Beam Expander Testing X-ray facility (BEaTriX) is a unique X-ray apparatus now operated at the Istituto Nazionale di Astrofisica (INAF), Osservatorio Astronomico di Brera (OAB), in Merate, Italy. It has been specifically designed to measure the point spread function (PSF) and the effective area (EA) of the X-ray mirror modules (MMs) of the Advanced Telescope for High-ENergy Astrophysics (ATHENA), based on silicon pore optics (SPO) technology, for verification before integration into the mirror assembly. To this end, BEaTriX generates a broad, uniform, monochromatic, and collimated X-ray beam at 4.51 keV. [...] In BEaTriX, a micro-focus X-ray source with a titanium anode is placed in the focus of a paraboloidal mirror, which generates a parallel beam. A crystal monochromator selects the 4.51 keV line, which is expanded to the final size by a crystal asymmetrically cut with respect to the crystalline planes. [...] After characterization, the BEaTriX beam has the nominal dimensions of 170 mm x 60 mm, with a vertical divergence of 1.65 arcsec and a horizontal divergence varying between 2.7 and 3.45 arcsec, depending on the monochromator setting: either high collimation or high intensity. The flux per area unit varies from 10 to 50 photons/s/cm2 from one configuration to the other. The BEaTriX beam performance was tested using an SPO MM, whose entrance pupil was fully illuminated by the expanded beam, and its focus was directly imaged onto the camera. The first light test returned a PSF and an EA in full agreement with expectations. As of today, the 4.51 keV beamline of BEaTriX is operational and can characterize modular X-ray optics, measuring their PSF and EA with a typical exposure of 30 minutes. [...] We expect BEaTriX to be a crucial facility for the functional test of modular X-ray optics, such as the SPO MMs for ATHENA.


title: Watch and Match: Supercharging Imitation with Regularized Optimal Transport

abstract: Imitation learning holds tremendous promise in learning policies efficiently for complex decision making problems. Current state-of-the-art algorithms often use inverse reinforcement learning (IRL), where given a set of expert demonstrations, an agent alternatively infers a reward function and the associated optimal policy. However, such IRL approaches often require substantial online interactions for complex control problems. In this work, we present Regularized Optimal Transport (ROT), a new imitation learning algorithm that builds on recent advances in optimal transport based trajectory-matching. Our key technical insight is that adaptively combining trajectory-matching rewards with behavior cloning can significantly accelerate imitation even with only a few demonstrations. Our experiments on 20 visual control tasks across the DeepMind Control Suite, the OpenAI Robotics Suite, and the Meta-World Benchmark demonstrate an average of 7.8X faster imitation to reach 90% of expert performance compared to prior state-of-the-art methods. On real-world robotic manipulation, with just one demonstration and an hour of online training, ROT achieves an average success rate of 90.1% across 14 tasks.


title: Dressing Avatars: Deep Photorealistic Appearance for Physically Simulated Clothing

abstract: Despite recent progress in developing animatable full-body avatars, realistic modeling of clothing - one of the core aspects of human self-expression - remains an open challenge. State-of-the-art physical simulation methods can generate realistically behaving clothing geometry at interactive rates. Modeling photorealistic appearance, however, usually requires physically-based rendering which is too expensive for interactive applications. On the other hand, data-driven deep appearance models are capable of efficiently producing realistic appearance, but struggle at synthesizing geometry of highly dynamic clothing and handling challenging body-clothing configurations. To this end, we introduce pose-driven avatars with explicit modeling of clothing that exhibit both photorealistic appearance learned from real-world data and realistic clothing dynamics. The key idea is to introduce a neural clothing appearance model that operates on top of explicit geometry: at training time we use high-fidelity tracking, whereas at animation time we rely on physically simulated geometry. Our core contribution is a physically-inspired appearance network, capable of generating photorealistic appearance with view-dependent and dynamic shadowing effects even for unseen body-clothing configurations. We conduct a thorough evaluation of our model and demonstrate diverse animation results on several subjects and different types of clothing. Unlike previous work on photorealistic full-body avatars, our approach can produce much richer dynamics and more realistic deformations even for many examples of loose clothing. We also demonstrate that our formulation naturally allows clothing to be used with avatars of different people while staying fully animatable, thus enabling, for the first time, photorealistic avatars with novel clothing.


title: Temperature dependence of the static quark diffusion coefficient

abstract: The energy loss pattern of a low momentum heavy quark in a deconfined quark-gluon plasma can be understood in terms of a Langevin description. In thermal equilibrium, the motion can then be parametrized in terms of a single heavy quark momentum diffusion coefficient kappa, which needs to be determined nonperturbatively. In this work, we study the temperature dependence of kappa for a static quark in a gluonic plasma, with a particular emphasis on the temperature range of interest for heavy ion collision experiments.


title: On-Device Training Under 256KB Memory

abstract: On-device training enables the model to adapt to new data collected from the sensors by fine-tuning a pre-trained model. Users can benefit from customized AI models without having to transfer the data to the cloud, protecting the privacy. However, the training memory consumption is prohibitive for IoT devices that have tiny memory resources. We propose an algorithm-system co-design framework to make on-device training possible with only 256KB of memory. On-device training faces two unique challenges: (1) the quantized graphs of neural networks are hard to optimize due to low bit-precision and the lack of normalization; (2) the limited hardware resource does not allow full back-propagation. To cope with the optimization difficulty, we propose Quantization-Aware Scaling to calibrate the gradient scales and stabilize 8-bit quantized training. To reduce the memory footprint, we propose Sparse Update to skip the gradient computation of less important layers and sub-tensors. The algorithm innovation is implemented by a lightweight training system, Tiny Training Engine, which prunes the backward computation graph to support sparse updates and offload the runtime auto-differentiation to compile time. Our framework is the first solution to enable tiny on-device training of convolutional neural networks under 256KB SRAM and 1MB Flash without auxiliary memory, using less than 1/1000 of the memory of PyTorch and TensorFlow while matching the accuracy on tinyML application VWW. Our study enables IoT devices not only to perform inference but also to continuously adapt to new data for on-device lifelong learning. A video demo can be found here: https://youtu.be/0pUFZYdoMY8.


title: Effects of hot phonons and thermal stress in micro-Raman spectra of molybdenum disulphide

abstract: Micro-Raman spectroscopy has become an important tool in probing thermophysical behavior in emerging functional materials such as two-dimensional (2D) layered structures. Localized heating by the focused Raman excitation laser beam is expected to produce both stress and nonequilibrium temperature distributions in the material. Here we investigate the effects of hot optical phonons in the Raman spectra of molybdenum disulphide (MoS2) and distinguish them from those caused by thermally-induced compressive stress, which causes a Raman frequency blue shift in the focused Raman laser spot. With the stress effect accounted for in micro-Raman measurements, the degree of nonequilibrium between the hot optical phonons and the acoustic phonon bath is found to be much smaller than those observed in prior micro-Raman measurements of suspended graphene. The observation agrees with a first-principles based theoretical prediction of overpopulated zone-center optical phonons compared to other optical phonons in the Brillouin zone and acoustic phonons. The findings provide detailed insight into the energy relaxation processes in this emerging 2D transition metal dichalcogenide (TMD) electronic and optoelectronic material and clarify an important question in micro-Raman measurements of thermal transport in this and other 2D materials.


title: Forecasting Future World Events with Neural Networks

abstract: Forecasting future world events is a challenging but valuable task. Forecasts of climate, geopolitical conflict, pandemics and economic indicators help shape policy and decision making. In these domains, the judgment of expert humans contributes to the best forecasts. Given advances in language modeling, can these forecasts be automated? To this end, we introduce Autocast, a dataset containing thousands of forecasting questions and an accompanying news corpus. Questions are taken from forecasting tournaments, ensuring high quality, real-world importance, and diversity. The news corpus is organized by date, allowing us to precisely simulate the conditions under which humans made past forecasts (avoiding leakage from the future). Motivated by the difficulty of forecasting numbers across orders of magnitude (e.g. global cases of COVID-19 in 2022), we also curate IntervalQA, a dataset of numerical questions and metrics for calibration. We test language models on our forecasting task and find that performance is far below a human expert baseline. However, performance improves with increased model size and incorporation of relevant information from the news corpus. In sum, Autocast poses a novel challenge for large language models and improved performance could bring large practical benefits.


title: Causal Machine Learning: A Survey and Open Problems

abstract: Causal Machine Learning (CausalML) is an umbrella term for machine learning methods that formalize the data-generation process as a structural causal model (SCM). This perspective enables us to reason about the effects of changes to this process (interventions) and what would have happened in hindsight (counterfactuals). We categorize work in CausalML into five groups according to the problems they address: (1) causal supervised learning, (2) causal generative modeling, (3) causal explanations, (4) causal fairness, and (5) causal reinforcement learning. We systematically compare the methods in each category and point out open problems. Further, we review data-modality-specific applications in computer vision, natural language processing, and graph representation learning. Finally, we provide an overview of causal benchmarks and a critical discussion of the state of this nascent field, including recommendations for future work.


title: AnoShift: A Distribution Shift Benchmark for Unsupervised Anomaly Detection

abstract: Analyzing the distribution shift of data is a growing research direction in nowadays Machine Learning (ML), leading to emerging new benchmarks that focus on providing a suitable scenario for studying the generalization properties of ML models. The existing benchmarks are focused on supervised learning, and to the best of our knowledge, there is none for unsupervised learning. Therefore, we introduce an unsupervised anomaly detection benchmark with data that shifts over time, built over Kyoto-2006+, a traffic dataset for network intrusion detection. This type of data meets the premise of shifting the input distribution: it covers a large time span ($10$ years), with naturally occurring changes over time (eg users modifying their behavior patterns, and software updates). We first highlight the non-stationary nature of the data, using a basic per-feature analysis, t-SNE, and an Optimal Transport approach for measuring the overall distribution distances between years. Next, we propose AnoShift, a protocol splitting the data in IID, NEAR, and FAR testing splits. We validate the performance degradation over time with diverse models, ranging from classical approaches to deep learning. Finally, we show that by acknowledging the distribution shift problem and properly addressing it, the performance can be improved compared to the classical training which assumes independent and identically distributed data (on average, by up to $3\%$ for our approach). Dataset and code are available at https://github.com/bit-ml/AnoShift/.


title: Denoised MDPs: Learning World Models Better Than the World Itself

abstract: The ability to separate signal from noise, and reason with clean abstractions, is critical to intelligence. With this ability, humans can efficiently perform real world tasks without considering all possible nuisance factors.How can artificial agents do the same? What kind of information can agents safely discard as noises? In this work, we categorize information out in the wild into four types based on controllability and relation with reward, and formulate useful information as that which is both controllable and reward-relevant. This framework clarifies the kinds information removed by various prior work on representation learning in reinforcement learning (RL), and leads to our proposed approach of learning a Denoised MDP that explicitly factors out certain noise distractors. Extensive experiments on variants of DeepMind Control Suite and RoboDesk demonstrate superior performance of our denoised world model over using raw observations alone, and over prior works, across policy optimization control tasks as well as the non-control task of joint position regression.


title: On the Learning and Learnability of Quasimetrics

abstract: Our world is full of asymmetries. Gravity and wind can make reaching a place easier than coming back. Social artifacts such as genealogy charts and citation graphs are inherently directed. In reinforcement learning and control, optimal goal-reaching strategies are rarely reversible (symmetrical). Distance functions supported on these asymmetrical structures are called quasimetrics. Despite their common appearance, little research has been done on the learning of quasimetrics. Our theoretical analysis reveals that a common class of learning algorithms, including unconstrained multilayer perceptrons (MLPs), provably fails to learn a quasimetric consistent with training data. In contrast, our proposed Poisson Quasimetric Embedding (PQE) is the first quasimetric learning formulation that both is learnable with gradient-based optimization and enjoys strong performance guarantees. Experiments on random graphs, social graphs, and offline Q-learning demonstrate its effectiveness over many common baselines.


title: MultiEarth 2022 -- The Champion Solution for Image-to-Image Translation Challenge via Generation Models

abstract: The MultiEarth 2022 Image-to-Image Translation challenge provides a well-constrained test bed for generating the corresponding RGB Sentinel-2 imagery with the given Sentinel-1 VV & VH imagery. In this challenge, we designed various generation models and found the SPADE [1] and pix2pixHD [2] models could perform our best results. In our self-evaluation, the SPADE-2 model with L1-loss can achieve 0.02194 MAE score and 31.092 PSNR dB. In our final submission, the best model can achieve 0.02795 MAE score ranked No.1 on the leader board.


title: A Transfer-Learning Based Ensemble Architecture for ECG Signal Classification

abstract: Manual interpretation and classification of ECG signals lack both accuracy and reliability. These continuous time-series signals are more effective when represented as an image for CNN-based classification. A continuous Wavelet transform filter is used here to get corresponding images. In achieving the best result generic CNN architectures lack sufficient accuracy and also have a higher run-time. To address this issue, we propose an ensemble method of transfer learning-based models to classify ECG signals. In our work, two modified VGG-16 models and one InceptionResNetV2 model with added feature extracting layers and ImageNet weights are working as the backbone. After ensemble, we report an increase of 6.36% accuracy than previous MLP-based algorithms. After 5-fold cross-validation with the Physionet dataset, our model reaches an accuracy of 99.98%.


title: A Multi-stage Framework with Mean Subspace Computation and Recursive Feedback for Online Unsupervised Domain Adaptation

abstract: In this paper, we address the Online Unsupervised Domain Adaptation (OUDA) problem and propose a novel multi-stage framework to solve real-world situations when the target data are unlabeled and arriving online sequentially in batches. To project the data from the source and the target domains to a common subspace and manipulate the projected data in real-time, our proposed framework institutes a novel method, called an Incremental Computation of Mean-Subspace (ICMS) technique, which computes an approximation of mean-target subspace on a Grassmann manifold and is proven to be a close approximate to the Karcher mean. Furthermore, the transformation matrix computed from the mean-target subspace is applied to the next target data in the recursive-feedback stage, aligning the target data closer to the source domain. The computation of transformation matrix and the prediction of next-target subspace leverage the performance of the recursive-feedback stage by considering the cumulative temporal dependency among the flow of the target subspace on the Grassmann manifold. The labels of the transformed target data are predicted by the pre-trained source classifier, then the classifier is updated by the transformed data and predicted labels. Extensive experiments on six datasets were conducted to investigate in depth the effect and contribution of each stage in our proposed framework and its performance over previous approaches in terms of classification accuracy and computational speed. In addition, the experiments on traditional manifold-based learning models and neural-network-based learning models demonstrated the applicability of our proposed framework for various types of learning models.


title: Correction Algorithm of Sampling Effect and Its Application

abstract: The sampling effect of the imaging acquisition device is long considered to be a modulation process of the input signal, introducing additional error into the signal acquisition process. This paper proposes a correction algorithm for the modulation process that solves the sampling effect with high accuracy. We examine the algorithm with perfect continuous Gaussian images and selected digitized images, which indicate an accuracy increase of 106 for Gaussian images, 102 at 15 times of Shannon interpolation for digitized images, and 105 at 101 times of Shannon interpolation for digitized images. The accuracy limit of the Gaussian image comes from the truncation error, while the accuracy limit of the digitized images comes from their finite resolution, which can be improved by increasing the time of Shannon interpolation.


title: Class Impression for Data-free Incremental Learning

abstract: Standard deep learning-based classification approaches require collecting all samples from all classes in advance and are trained offline. This paradigm may not be practical in real-world clinical applications, where new classes are incrementally introduced through the addition of new data. Class incremental learning is a strategy allowing learning from such data. However, a major challenge is catastrophic forgetting, i.e., performance degradation on previous classes when adapting a trained model to new data. Prior methodologies to alleviate this challenge save a portion of training data require perpetual storage of such data that may introduce privacy issues. Here, we propose a novel data-free class incremental learning framework that first synthesizes data from the model trained on previous classes to generate a \ours. Subsequently, it updates the model by combining the synthesized data with new class data. Furthermore, we incorporate a cosine normalized Cross-entropy loss to mitigate the adverse effects of the imbalance, a margin loss to increase separation among previous classes and new ones, and an intra-domain contrastive loss to generalize the model trained on the synthesized data to real data. We compare our proposed framework with state-of-the-art methods in class incremental learning, where we demonstrate improvement in accuracy for the classification of 11,062 echocardiography cine series of patients.


title: Usability Testing untuk Mengukur Kepuasaan Pengguna Website Mailo Store

abstract: Technological developments in the current era of globalization cannot be avoided, with increasingly rapid progress to become technology as a medium of information that is very much needed in life. Mailo store is one of the SMEs that have used the website and the internet as a medium for storing their information to the wider community, therefore an evaluation is needed to measure the ease of website users for users using Usability Testing which has 8 variables, namely learning (learnability), Efficiency (efficiency), Easy to remember (memorability), Errors and security (errors), Easy to understand (Understandability), Easy to operate (Operability), attract user attention (Attractiveness), Satisfaction (satisfaction). This research data was collected by distributing questionnaires to 109 respondents using a random sampling technique. Furthermore, the data obtained were processed using SPSS version 25 software. The data analysis method used was a quantitative analysis method using validity and reliability tests, classical assumption tests, multiple regression tests, and hypothesis testing. The results of the assessment of the usability testing method will be useful for the sustainability and development of the mailo store website in the future to make it even better.


title: "Explanation" is Not a Technical Term: The Problem of Ambiguity in XAI

abstract: There is broad agreement that Artificial Intelligence (AI) systems, particularly those using Machine Learning (ML), should be able to "explain" their behavior. Unfortunately, there is little agreement as to what constitutes an "explanation." This has caused a disconnect between the explanations that systems produce in service of explainable Artificial Intelligence (XAI) and those explanations that users and other audiences actually need, which should be defined by the full spectrum of functional roles, audiences, and capabilities for explanation. In this paper, we explore the features of explanations and how to use those features in evaluating their utility. We focus on the requirements for explanations defined by their functional role, the knowledge states of users who are trying to understand them, and the availability of the information needed to generate them. Further, we discuss the risk of XAI enabling trust in systems without establishing their trustworthiness and define a critical next step for the field of XAI to establish metrics to guide and ground the utility of system-generated explanations.


title: Smart Application for Fall Detection Using Wearable ECG & Accelerometer Sensors

abstract: Timely and reliable detection of falls is a large and rapidly growing field of research due to the medical and financial demand of caring for a constantly growing elderly population. Within the past 2 decades, the availability of high-quality hardware (high-quality sensors and AI microchips) and software (machine learning algorithms) technologies has served as a catalyst for this research by giving developers the capabilities to develop such systems. This study developed multiple application components in order to investigate the development challenges and choices for fall detection systems, and provide materials for future research. The smart application developed using this methodology was validated by the results from fall detection modelling experiments and model mobile deployment. The best performing model overall was the ResNet152 on a standardised, and shuffled dataset with a 2s window size which achieved 92.8% AUC, 87.28% sensitivity, and 98.33% specificity. Given these results it is evident that accelerometer and ECG sensors are beneficial for fall detection, and allow for the discrimination between falls and other activities. This study leaves a significant amount of room for improvement due to weaknesses identified in the resultant dataset. These improvements include using a labelling protocol for the critical phase of a fall, increasing the number of dataset samples, improving the test subject representation, and experimenting with frequency domain preprocessing.


title: On the two-dimensional extension of one-dimensional algebraically growing waves at neutral stability

abstract: This work considers two linear operators which yield wave modes that are classified as neutrally stable, yet have responses that grow or decay in time. Previously, King et al. (Phys. Rev. Fluids, 1, 2016, 073604:1-19) and Huber et al. (IMA J. Appl. Math., 85, 2020, 309-340) examined the one-dimensional (1D) wave propagation governed by these operators. Here, we extend the linear operators to two spatial dimensions (2D) and examine the resulting solutions. We find that the increase of dimension leads to long-time behaviour where the magnitude is reduced by a factor of $t^{\frac{-1}{2}}$ from the 1D solutions. Thus, regions of the solution which grew algebraically as $t^{\frac{1}{2}}$ in 1D now are algebraically neutral in 2D, whereas regions which decay (algebraically or exponentially) in 1D now decay more quickly in 2D. Additionally, we find that these two linear operators admit long-time solutions that are functions of the same similarity variable that contracts space and time.


title: Continual Learning for Human State Monitoring

abstract: Continual Learning (CL) on time series data represents a promising but under-studied avenue for real-world applications. We propose two new CL benchmarks for Human State Monitoring. We carefully designed the benchmarks to mirror real-world environments in which new subjects are continuously added. We conducted an empirical evaluation to assess the ability of popular CL strategies to mitigate forgetting in our benchmarks. Our results show that, possibly due to the domain-incremental properties of our benchmarks, forgetting can be easily tackled even with a simple finetuning and that existing strategies struggle in accumulating knowledge over a fixed, held-out, test subject.


title: Variational Inference for Additive Main and Multiplicative Interaction Effects Models

abstract: In plant breeding the presence of a genotype by environment (GxE) interaction has a strong impact on cultivation decision making and the introduction of new crop cultivars. The combination of linear and bilinear terms has been shown to be very useful in modelling this type of data. A widely-used approach to identify GxE is the Additive Main Effects and Multiplicative Interaction Effects (AMMI) model. However, as data frequently can be high-dimensional, Markov chain Monte Carlo (MCMC) approaches can be computationally infeasible. In this article, we consider a variational inference approach for such a model. We derive variational approximations for estimating the parameters and we compare the approximations to MCMC using both simulated and real data. The new inferential framework we propose is on average two times faster whilst maintaining the same predictive performance as MCMC.


title: Reliable Representations Make A Stronger Defender: Unsupervised Structure Refinement for Robust GNN

abstract: Benefiting from the message passing mechanism, Graph Neural Networks (GNNs) have been successful on flourish tasks over graph data. However, recent studies have shown that attackers can catastrophically degrade the performance of GNNs by maliciously modifying the graph structure. A straightforward solution to remedy this issue is to model the edge weights by learning a metric function between pairwise representations of two end nodes, which attempts to assign low weights to adversarial edges. The existing methods use either raw features or representations learned by supervised GNNs to model the edge weights. However, both strategies are faced with some immediate problems: raw features cannot represent various properties of nodes (e.g., structure information), and representations learned by supervised GNN may suffer from the poor performance of the classifier on the poisoned graph. We need representations that carry both feature information and as mush correct structure information as possible and are insensitive to structural perturbations. To this end, we propose an unsupervised pipeline, named STABLE, to optimize the graph structure. Finally, we input the well-refined graph into a downstream classifier. For this part, we design an advanced GCN that significantly enhances the robustness of vanilla GCN without increasing the time complexity. Extensive experiments on four real-world graph benchmarks demonstrate that STABLE outperforms the state-of-the-art methods and successfully defends against various attacks.


title: Correlation functions of the Bjorken flow in the holographic Schwinger-Keldysh approach

abstract: One of the outstanding problems in the holographic approach to many-body physics is the explicit computation of correlation functions in nonequilibrium states. We provide a new and simple proof that the horizon cap prescription of Crossley-Glorioso-Liu for implementing the thermal Schwinger-Keldysh contour in the bulk is consistent with the Kubo-Martin-Schwinger periodicity and the ingoing boundary condition for the retarded propagator at any arbitrary frequency and momentum. The generalization to the hydrodynamic Bjorken flow is achieved by a Weyl rescaling in which the dual black hole's event horizon attains a constant surface gravity and area at late time although the directions longitudinal and transverse to the flow expands and contract respectively. The dual state's temperature and entropy density thus become constants (instead of the perfect fluid expansion) although no time-translation symmetry emerges at late time. Undoing the Weyl rescaling, the correlation functions can be computed systematically in a large proper time expansion in inverse powers of the average of the two reparametrized proper time arguments. The horizon cap has to be pinned to the nonequilibrium event horizon so that regularity and consistency conditions are satisfied. Consequently, in the limit of perfect fluid expansion, the Schwinger-Keldysh correlation functions with space-time reparametrized arguments are simply thermal at an appropriate temperature. A generalized bilocal thermal structure holds to all orders. We argue that the Stokes data (which are functions rather than constants) for the hydrodynamic correlation functions can decode the quantum fluctuations behind the horizon cap pinned to the evolving event horizon, and thus the initial data.

categories: hep-th cond-mat.quant-gas cond-mat.str-el gr-qc hep-ph


title: Mantle mineralogy limits to rocky planet water inventories

abstract: Nominally anhydrous minerals in rocky planet mantles can sequester oceans of water as a whole, giving a constraint on bulk water inventories. Here we predict mantle water capacities from the thermodynamically-limited solubility of water in their constituent minerals. We report the variability of mantle water capacity due to (i) host star refractory element abundances that set mineralogy, (ii) realistic mantle temperature scenarios, and (iii) planet mass. We find that planets large enough to stabilise perovskite almost unfailingly have a dry lower mantle, topped by a high-water-capacity transition zone which may act as a bottleneck for water transport within the planet's interior. Because the pressure of the ringwoodite-perovskite phase boundary defining the lower mantle is roughly insensitive to planet mass, the relative contribution of the upper mantle reservoir will diminish with increasing planet mass. Large rocky planets therefore have disproportionately small mantle water capacities. In practice, our results would represent initial water concentration profiles in planetary mantles where their primordial magma oceans are water-saturated. We suggest that a considerable proportion of massive rocky planets' accreted water budgets would form surface oceans or atmospheric water vapour immediately after magma ocean solidification, possibly diminishing the likelihood of these planets hosting land. This work is a step towards understanding planetary deep water cycling, thermal evolution as mediated by rheology and melting, and the frequency of waterworlds.


title: Stratospheric Clouds Do Not Impede JWST Transit Spectroscopy for Exoplanets with Earth-Like Atmospheres

abstract: The James Webb Space Telescope (JWST) will provide an opportunity to investigate the atmospheres of potentially habitable planets. Aerosols, significantly mute molecular features in transit spectra because they prevent light from probing the deeper layers of the atmosphere. Earth occasionally has stratospheric/high tropospheric clouds at 15-20 km that could substantially limit the observable depth of the underlying atmosphere. We use solar occultations of Earth's atmosphere to create synthetic JWST transit spectra of Earth analogs orbiting dwarf stars. Unlike previous investigations, we consider both clear and cloudy sightlines from the SCISAT satellite. We find that the maximum difference in effective thickness of the atmosphere between a clear and globally cloudy atmosphere is 8.5 km at 2.28 microns with a resolution of 0.02 microns. After incorporating the effects of refraction and Pandexo's noise modeling, we find that JWST would not be able to detect Earth like stratospheric clouds if an exo-Earth was present in the TRAPPIST-1 system, as the cloud spectrum differs from the clear spectrum by a maximum of 10 ppm. These stratospheric clouds are also not robustly detected by TauREx when performing spectral retrieval for a cloudy TRAPPIST-1 planet. However, if an Earth size planet were to orbit in a white dwarf's habitable zone, then, we predict that JWST's NIRSpec would be able to detect its stratospheric clouds after only 4 transits. We conclude that stratospheric clouds would not impede JWST transit spectroscopy or the detection of biosignatures for Earth-like atmospheres.


title: Probing Chern number by opacity and topological phase transition by a nonlocal Chern marker

abstract: In 2D semiconductors and insulators, the Chern number of the valence band Bloch state is an important quantity that has been linked to various material properties, such as the topological order. We elaborate that the opacity of 2D materials to circularly polarized light over a wide range of frequencies, measured in units of the fine structure constant, can be used to extract a spectral function that frequency-integrates to the Chern number, offering a simple optical experiment to measure it. This method is subsequently generalized to finite temperature and locally on every lattice site by a linear response theory, which helps to extract the Chern marker that maps the Chern number to lattice sites. The long range response in our theory corresponds to a Chern correlator that acts like the internal fluctuation of the Chern marker, and is found to be enhanced in the topologically nontrivial phase. Finally, from the Fourier transform of the valence band Berry curvature, a nonlocal Chern marker is further introduced, whose decay length diverges at topological phase transitions and therefore serves as a faithful indicator of the transitions, and moreover can be interpreted as a Wannier state correlation function. The concepts discussed in this work explore multi-faceted aspects of topology and should help address the impact of system inhomogeneities.

categories: cond-mat.str-el cond-mat.other cond-mat.quant-gas quant-ph


title: Origin and dynamics of umbrella states in rare-earth iron garnets

abstract: Rare-earth iron garnets $R_{3}$Fe$_{5}$O$_{12}$ are fascinating insulators with very diverse magnetic phases. Their strong potential in spintronic devices has encouraged a renewal of interest in the study of their low temperature spin structures and spin wave dynamics. A striking feature of rare-earth garnets with $R$-ions exhibiting strong crystal-field effects like Tb-, Dy-, Ho-, and Er-ions is the observation of low-temperature non-collinear magnetic structures featuring "umbrella-like" arrangements of the rare-earth magnetic moments. In this study, we demonstrate that such umbrella magnetic states are naturally emerging from the crystal-field anisotropies of the rare-earth ions. By means of a general model endowed with only the necessary elements from the crystal structure, we show how umbrella-like spin structures can take place and calculate the canting-angle as a result of the competition between the exchange-interaction of the rare-earth and the iron ions as well as the crystal-field anisotropy. Our results are compared to experimental data, and a study of the polarised spin wave dynamics is presented. Our study improves the understanding of umbrella-like spin structures and paves the way for more complex spin wave calculations in rare-earth iron garnets with non-collinear magnetic phases.


title: Flavor Non-universal Vector Leptoquark Imprints in $K\to \pi \nu\bar \nu$ and $\Delta F = 2$ Transitions

abstract: We analyze $K\to \pi \nu\bar \nu$ rates in a model with a TeV-scale leptoquark addressing $B$-meson anomalies, based on the flavor non-universal 4321 gauge group featuring third-generation quark-lepton unification. We show that, together with the tight bounds imposed by $\Delta F = 2$ amplitudes, the present measurement of $\mathcal{B}(K^+ \to \pi^+ \nu \bar\nu)$ already provides a non-trivial constraint on the model parameter space. In the minimal version of the model, the deviations from the Standard Model in $\mathcal{B}(K^+ \to \pi^+ \nu \bar\nu)$ are predicted to be in close correlation with non-standard effects in the Lepton Flavor Universality ratios $R_D$ and $R_{D^*}$. With the help of future data, these correlations can provide a decisive test of the model.


title: Experimental demonstration of optimal unambiguous two-out-of-four quantum state elimination

abstract: A core principle of quantum theory is that non-orthogonal quantum states cannot be perfectly distinguished with single-shot measurements. However, it is possible to exclude a subset of non-orthogonal states without error in certain circumstances. Here we implement a quantum state elimination measurement which unambiguously rules out two of four pure, non-orthogonal quantum states -- ideally without error and with unit success probability. This is a generalised quantum measurement with six outcomes, where each outcome corresponds to excluding a pair of states. Our experimental realisation uses single photons, with information encoded in a four-dimensional state using optical path and polarisation degrees of freedom. The prepared state is incorrectly ruled out up to $3.3(2)\%$ of the time.


title: Nonsymmorphic Symmetry Protected Dirac, M\"obius, and Hourglass Fermions in Topological Materials

abstract: A lattice symmetry, if being nonsymmorphic, is defined by combining a point group symmetry with a fractional lattice translation that cannot be removed by changing the lattice origin. Nonsymmorphic symmetry has a substantial influence on both the connectivity and topological properties of electronic band structures in solid-state quantum materials. In this article, we review how nonsymmorphic crystalline symmetries can drive and further protect the emergence of exotic fermionic quasiparticles, including Dirac, M\"obius and hourglass fermions, that manifest as the defining energy band signatures for a plethora of gapless or gapped topological phases of matter. We first provide a classification of energy band crossings in crystalline solids, with an emphasis on symmetry-enforced band crossings that feature a nonsymmorphic-symmetry origin. In particular, we will discuss four distinct classes of nonsymmorphic-symmetry-protected topological states as well as their signature fermionic modes: (1) a $Z_2$ topological nonsymmorphic crystalline insulator with two-dimensional surface Dirac fermions; (2) a Dirac semimetal with three dimensional bulk-state Dirac nodes pinned at certain high symmetry momenta; (3) a topological M\"obius insulator with massless surface modes that resemble the topological structure of a M\"obius twist (dubbed as M\"obius fermions); (4) a time-reversal-invariant version of M\"obius insulators with hourglass-shaped massless surface states (dubbed as hourglass fermions). The emergence of the above exotic topological matter perfectly demonstrates the crucial roles of both symmetry and topology in understanding the colorful world of quantum materials.


title: Quantum conformal symmetries for spacetimes in superposition

abstract: Without a complete theory of quantum gravity, the question of how quantum fields and quantum particles behave in a superposition of spacetimes seems beyond the reach of theoretical and experimental investigations. Here we use an extension of the quantum reference frame formalism to address this question for the Klein-Gordon field residing on a superposition of conformally equivalent metrics. Based on the group structure of ``quantum conformal transformations'', we construct an explicit quantum operator that can map states describing a quantum field on a superposition of spacetimes to states representing a quantum field with a superposition of masses on a Minkowski background. This constitutes an extended symmetry principle, namely invariance under quantum conformal transformations. The latter allows to build an understanding of superpositions of diffeomorphically non-equivalent spacetimes by relating them to a more intuitive superposition of quantum fields on curved spacetime. Furthermore, it can be used to import the phenomenon of particle production in curved spacetime to its conformally equivalent counterpart, thus revealing new features in modified Minkowski spacetime.


title: Dual constraints with ALMA: new [O III] 88 ${\rm \mu}$m and dust-continuum observations reveal the ISM conditions of luminous LBGs at $z \sim 7$

abstract: We present new [O III] 88 ${\rm \mu}$m observations of five bright $z \sim 7$ Lyman-break galaxies spectroscopically confirmed by ALMA through the [C II] 158 ${\rm \mu}$m line, unlike recent [O III] detections where Lyman-${\rm \alpha}$ was used. This nearly doubles the sample of Epoch of Reionisation galaxies with robust ($5 \sigma$) detections of [C II] and [O III]. We perform a multi-wavelength comparison with new deep HST images of the rest-frame UV, whose compact morphology aligns well with [O III] tracing ionised gas. By contrast, we find more spatially extended [C II] emission likely produced in neutral gas, as indicated by a [N II] 205 ${\rm \mu}$m non-detection in one source. We find a positive correlation between the equivalent width of the optical [O III] and H${\rm \beta}$ lines and the [O III]/[C II] ratio, as seen in local metal-poor dwarf galaxies. Cloudy models of a nebula of typical density harbouring a young stellar population with a high ionisation parameter appear to adequately reproduce the far-infrared lines. Surprisingly, however, our models fail to reproduce the strength of [O III] 88 ${\rm \mu}$m, unless we assume an ${\rm \alpha}$/Fe enhancement and a near-solar nebular oxygen abundance. On spatially resolved scales, we find [O III]/[C II] shows a tentative anti-correlation with infrared excess, $L_{\rm IR}/L_{\rm UV}$, also seen on global scales in the local Universe. Finally, we introduce the far-infrared spectral energy distribution fitting code MERCURIUS to show that dust-continuum measurements of one source appear to favour a low dust temperature coupled with a high dust mass. This implies a high stellar metallicity yield and may point towards the need of dust production or grain-growth mechanisms beyond supernovae.


title: A Consistent Theory of Kinetic Mixing and the Higgs Low-Energy Theorem

abstract: Extensions of the Standard Model of particle physics with new Abelian gauge groups allow for kinetic mixing between the new gauge bosons and the hypercharge gauge boson, resulting in mixing with the photon. In many models the mixing with the hypercharge gauge boson captures only part of the kinetic mixing term with the photon, since the new gauge bosons can also mix with the neutral component of the $SU(2)_L$ gauge bosons. We take these contributions into account and present a consistent description of kinetic mixing for general Abelian gauge groups both in the electroweak symmetric and the broken phase. We identify an effective operator that captures the kinetic mixing with $SU(2)_L$ and demonstrate how renormalisable contributions arise if the charged fields only obtain their masses from electroweak symmetry breaking. For the first time, a low-energy theorem for the couplings of novel Abelian gauge bosons with the Standard Model Higgs boson is derived from the one-loop kinetic mixing amplitudes.


title: Bipartite entanglement and the arrow of time

abstract: We provide a new perspective on the close relationship between entanglement and time. Our main focus is on bipartite entanglement, where this connection is foreshadowed both in the positive partial transpose criterion due to Peres [A. Peres, Phys. Rev. Lett., 77, 1413 (1996)] and in the classification of quantum within more general non-signalling bipartite correlations [M. Frembs and A. D\"oring, arXiv:2204.11471]. Extracting the relevant common features, we identify a necessary and sufficient condition for bipartite entanglement in terms of a compatibility condition with respect to time orientations in local observable algebras, which express the dynamics in the respective subsystems. We discuss the relevance of the latter in the broader context of von Neumann algebras and the thermodynamical notion of time naturally arising within the latter.


title: Exact dynamics in dual-unitary quantum circuits with projective measurements

abstract: Dual-unitary circuits have emerged as a minimal model for chaotic quantum many-body dynamics in which the dynamics of correlations and entanglement remains tractable. Simultaneously, there has been intense interest in the effect of measurements on the dynamics of quantum information in many-body systems. In this work we introduce a class of models combining dual-unitary circuits with particular projective measurements that allow the exact computation of dynamical correlations of local observables, entanglement growth, and steady-state entanglement. We identify a symmetry preventing a measurement-induced phase transition and present exact results for the intermediate critical purification phase.


title: LaserMix for Semi-Supervised LiDAR Semantic Segmentation

abstract: Densely annotating LiDAR point clouds is costly, which restrains the scalability of fully-supervised learning methods. In this work, we study the underexplored semi-supervised learning (SSL) in LiDAR segmentation. Our core idea is to leverage the strong spatial cues of LiDAR point clouds to better exploit unlabeled data. We propose LaserMix to mix laser beams from different LiDAR scans, and then encourage the model to make consistent and confident predictions before and after mixing. Our framework has three appealing properties: 1) Generic: LaserMix is agnostic to LiDAR representations (e.g., range view and voxel), and hence our SSL framework can be universally applied. 2) Statistically grounded: We provide a detailed analysis to theoretically explain the applicability of the proposed framework. 3) Effective: Comprehensive experimental analysis on popular LiDAR segmentation datasets (nuScenes, SemanticKITTI, and ScribbleKITTI) demonstrates our effectiveness and superiority. Notably, we achieve competitive results over fully-supervised counterparts with 2x to 5x fewer labels and improve the supervised-only baseline significantly by 10.8% on average. We hope this concise yet high-performing framework could facilitate future research in semi-supervised LiDAR segmentation. Code is publicly available.


title: Singlet and non-singlet three-loop massive form factors

abstract: We consider Quantum Chromodynamics with external vector, axial-vector, scalar and pseudo-scalar currents and compute three-loop corrections to the corresponding vertex function taking into account massive quarks. We consider all non-singlet contributions as well as those singlet contributions where the external current couples to a massive quark loop. We apply a semi-numerical method which is based on expansions around singular and regular kinematical points. They are matched at intermediate values of the squared partonic center-of-mass energy $s$ which allows to cover the whole kinematic range for negative and positive values of $s$. Our method permits a systematic increase of the precision by varying the expansion depth and the choice of the intermediate matching points. In our current set-up we have at least seven significant digits for the finite contribution of all form factors. We present our results as a combination of series expansions and interpolation functions which allows for a straightforward use in practical applications.


title: Approximate encoding of quantum states using shallow circuits

abstract: A common requirement of quantum simulations and algorithms is the preparation of complex states through sequences of 2-qubit gates. For a generic quantum state, the number of gates grows exponentially with the number of qubits, becoming unfeasible on near-term quantum devices. Here, we aim at creating an approximate encoding of the target state using a limited number of gates. As a first step, we consider a quantum state that is efficiently represented classically, such as a one-dimensional matrix product state. Using tensor network techniques, we develop an optimization algorithm that approaches the optimal implementation for a fixed number of gates. Our algorithm runs efficiently on classical computers and requires a polynomial number of iterations only. We demonstrate the feasibility of our approach by comparing optimal and suboptimal circuits on real devices. We, next, consider the implementation of the proposed optimization algorithm directly on a quantum computer and overcome inherent barren plateaus by employing a local cost function rather than a global one. By simulating realistic shot noise, we verify that the number of required measurements scales polynomially with the number of qubits. Our work offers a universal method to prepare target states using local gates and represents a significant improvement over known strategies.


title: A New Method to Constrain the Appearance and Disappearance of Observed Jellyfish Galaxy Tails

abstract: We present a new approach to observationally constrain where the tails of Jellyfish (JF) galaxies in groups and clusters first appear and how long they remain visible with respect to the moment of their orbital pericenter. This is accomplished by measuring the distribution of their tail directions with respect to their host's center, and their distribution in a projected velocity-radius phase-diagram. We then model these observed distributions using a fast and flexible approach where JF tails are painted onto dark matter halos according to a simple parameterised prescription, and perform a Bayesian analysis to estimate the parameters. We demonstrate the effectiveness of our approach using observational mocks, and then apply it to a known observational sample of 106 JF galaxies with radio continuum tails located inside 68 hosts such as groups and clusters. We find that, typically, the radio continuum tails become visible on first infall when the galaxy reaches roughly three quarters of r$_{200}$, and the tails remain visible for a few hundred Myr after pericenter passage. Lower mass galaxies in more massive hosts tend to form visible tails further out and their tails disappear more quickly after pericenter. We argue that this indicates they are more sensitive to ram pressure stripping. With upcoming large area surveys of JF galaxies in progress, this is a promising new method to constrain the environmental conditions in which visible JF tails exist.


title: Characterization of merging black holes with two precessing spins

abstract: Spin precession in merging black-hole binaries is a treasure trove for both astrophysics and fundamental physics. There are now well-established strategies to infer from gravitational-wave data whether at least one of the two black holes is precessing. In this paper we tackle the next-in-line target, namely the statistical assessment that the observed system has two precessing spins. We find that the recently developed generalization of the effective precession spin parameter $\chi_\mathrm{p}$ is a well-suited estimator to this task. With this estimator, the occurrence of two precessing spins is a necessary (though not sufficient) condition to obtain values $1<\chi_\mathrm{p}\leq 2$. Confident measurements of gravitational-wave sources with $\chi_\mathrm{p}$ values in this range can be taken as a conservative assessment that the binary presents two precessing spins. We investigate this argument using a large set of >100 software injections assuming anticipated LIGO/Virgo sensitivities for the upcoming fourth observing run, O4. Our results are very encouraging, suggesting that, if such binaries exist in nature and merge at a sufficient rate, current interferometers are likely to deliver the first confident detection of merging black holes with two precessing spins. We investigate prior effects and waveform systematics and, though these need to be better investigated, did not find any confident false-positive case among all the configurations we tested. Our assessment should thus be taken as conservative.


title: The Giant Metrewave Radio Telescope Cold-HI AT $z\approx1$ Survey

abstract: We describe the design, data analysis, and basic results of the Giant Metrewave Radio Telescope Cold-HI AT $z\approx1$ (GMRT-CAT$z$1) survey, a 510-hour upgraded GMRT HI 21 cm emission survey of galaxies at $z=0.74-1.45$ in the DEEP2 survey fields. The GMRT-CAT$z$1 survey is aimed at characterising HI in galaxies during and just after the epoch of peak star-formation activity in the Universe, a key epoch in galaxy evolution. We obtained high-quality HI 21 cm spectra for 11,419 blue star-forming galaxies at $z=0.74-1.45$, in seven pointings on the DEEP2 subfields. We detect the stacked HI 21 cm emission signal of the 11,419 star-forming galaxies, which have an average stellar mass of $M_* \approx 10^{10} M_\odot$, at $7.1\sigma$ statistical significance, obtaining an average HI mass of $\langle M_{HI}\rangle=(13.7\pm1.9)\times10^{9} M_\odot$. This is significantly higher than the average HI mass of $\langle M_{HI} \rangle=(3.96 \pm 0.17)\times10^{9} M_\odot$ in star-forming galaxies at $z \approx 0$ with an identical stellar-mass distribution. We stack the rest-frame 1.4 GHz continuum emission of our 11,419 galaxies to infer an average star-formation rate (SFR) of $8.07\pm0.82 M_\odot yr^{-1}$. Combining our average HI mass and average SFR estimates yields an HI depletion timescale of $1.70\pm0.29$ Gyr, for star-forming galaxies at $z\approx1$, $\approx3$ times lower than that of local galaxies. We thus find that, although main-sequence galaxies at $z\approx1$ have a high HI mass, their short HI depletion timescale is likely to cause quenching of their star-formation activity in the absence of rapid gas accretion from the circumgalactic medium.


title: DeepSpeed Inference: Enabling Efficient Inference of Transformer Models at Unprecedented Scale

abstract: The past several years have witnessed the success of transformer-based models, and their scale and application scenarios continue to grow aggressively. The current landscape of transformer models is increasingly diverse: the model size varies drastically with the largest being of hundred-billion parameters; the model characteristics differ due to the sparsity introduced by the Mixture-of-Experts; the target application scenarios can be latency-critical or throughput-oriented; the deployment hardware could be single- or multi-GPU systems with different types of memory and storage, etc. With such increasing diversity and the fast-evolving pace of transformer models, designing a highly performant and efficient inference system is extremely challenging. In this paper, we present DeepSpeed Inference, a comprehensive system solution for transformer model inference to address the above-mentioned challenges. DeepSpeed Inference consists of (1) a multi-GPU inference solution to minimize latency while maximizing the throughput of both dense and sparse transformer models when they fit in aggregate GPU memory, and (2) a heterogeneous inference solution that leverages CPU and NVMe memory in addition to the GPU memory and compute to enable high inference throughput with large models which do not fit in aggregate GPU memory. DeepSpeed Inference reduces latency by up to 7.3X over the state-of-the-art for latency-oriented scenarios and increases throughput by over 1.5x for throughput-oriented scenarios. Moreover, it enables trillion parameter scale inference under real-time latency constraints by leveraging hundreds of GPUs, an unprecedented scale for inference. It can inference 25x larger models than with GPU-only solutions, while delivering a high throughput of 84 TFLOPS (over $50\%$ of A6000 peak).


title: Equation of state in neutron stars and supernovae

abstract: Neutron stars and supernovae provide cosmic laboratories of highly compressed matter at supra nuclear saturation density which is beyond the reach of terrestrial experiments. The properties of dense matter is extracted by combining the knowledge of nuclear experiments and astrophysical observations via theoretical frameworks. A matter in neutron stars is neutron rich, and may further accommodate non-nucleonic degrees of freedom such as hyperons and quarks. The structure and composition of neutron stars are determined by equations of state of matter, which are the primary subject in this chapter. In case of supernovae, the time evolution includes several dynamical stages whose descriptions require equations of state at finite temperature and various lepton fractions. Equations of state also play essential roles in neutron star mergers which allow us to explore new conditions of matter not achievable in static neutron stars and supernovae. Several types of hadron-to-quark transitions, from first order transitions to crossover, are reviewed, and their characteristics are summarized.


title: M5-branes and D4-branes wrapped on a direct product of spindle and Riemann surface

abstract: We construct multi-charged $AdS_3\times{\Sigma}\times\Sigma_{\mathfrak{g}}$ and $AdS_2\times{\Sigma}\times\Sigma_{\mathfrak{g}}$ solutions from M5-branes and D4-branes wrapped on a direct product of spindle, ${\Sigma}$, and Riemann surface, $\Sigma_{\mathfrak{g}}$. Employing uplift formula, we obtain these solutions by uplifting the multi-charged $AdS_3\times{\Sigma}$ and $AdS_2\times{\Sigma}$ solutions to seven and six dimensions, respectively. We further uplift the solutions to eleven-dimensional and massive type IIA supergravity and calculate the holographic central charge and the Bekenstein-Hawking entropy, respectively. We perform the gravitational block calculations and, for the $AdS_3\times{\Sigma}\times\Sigma_{\mathfrak{g}}$ solutions, the result precisely matches the holographic central charge from the supergravity solutions.


title: GOSPF: An energy efficient implementation of the OSPF routing protocol

abstract: Energy saving is currently one of the most challenging issues for the Internet research community. Indeed, the exponential growth of applications and services induces a remarkable increase in power consumption and hence calls for novel solutions which are capable to preserve energy of the infrastructures, at the same time maintaining the required Quality of Service guarantees. In this paper we introduce a new mechanism for saving energy through intelligent switch off of network links. The mechanism has been implemented as an extension to the Open Shortest Path First routing protocol. We first show through simulations that our solution is capable to dramatically reduce energy consumption when compared to the standard OSPF implementation. We then illustrate a real-world implementation of the proposed protocol within the Quagga routing software suite.


title: The Service Academy Brigade Reassignment Problem

abstract: After the COVID pandemic, student leadership development within the brigade of midshipmen at the United States Naval Academy (USNA) was severely degraded due to reduced student interaction from isolation and remote learning. Brigade leadership decided that reassignment of some students from their previous companies to new companies could facilitate new leadership bonds for the next academic year. All students in the classes of 2023 and 2024 are reassigned from their previous companies to new companies with the Brigade Reassignment Problem (BRP). The first goal of BRP is to minimize the number of students reassigned to their current company. The second goal seeks to improve the homogeneity of each company in terms of average metrics defined by brigade leadership. We create three similar mathematical programming models to achieve different goals of the BRP. The first model focuses on the first goal and quickly obtains an optimal solution. A second model focuses on the second goal and obtains high-quality feasible solutions. A third model combines the two goals and obtains an optimal solution within seven hours. USNA leadership implemented results from the first model to reassign the classes of 2023 and 2024 to new companies for the next academic year.


title: Parallel MPC for Linear Systems with State and Input Constraints

abstract: This paper proposes a parallelizable algorithm for linear-quadratic model predictive control (MPC) problems with state and input constraints. The algorithm itself is based on a parallel MPC scheme that has originally been designed for systems with input constraints. In this context, one contribution of this paper is the construction of time-varying yet separable constraint margins ensuring recursive feasibility and asymptotic stability of sub-optimal parallel MPC in a general setting, which also includes state constraints. Moreover, it is shown how to tradeoff online run-time guarantees versus the conservatism that is introduced by the tightened state constraints. The corresponding performance of the proposed method as well as the cost of the recursive feasibility guarantees is analyzed in the context of controlling a large-scale mechatronic system. This is illustrated by numerical experiments for a large-scale control system with more than 100 states and 60 control inputs leading to run-times in the millisecond range.


title: Waku: A Family of Modular P2P Protocols For Secure & Censorship-Resistant Communication

abstract: Waku is a family of modular protocols that enable secure, censorship-resistant, and anonymous peer-to-peer communication. Waku protocols provide capabilities that make them suitable to run in resource-restricted environments e.g., mobile devices and web browsers. Such capabilities include (i) retrieving historical messaging for mostly-offline devices (ii) adaptive nodes; allowing for heterogeneous nodes to contribute to the network (iii) preserving bandwidth usage for resource-restricted devices, (iv) minimizing connectivity requirements for devices with a limited connection, and (v) enabling efficient, private, economic spam protection for heterogeneous nodes. Waku's modular design and resource-efficient protocols make it superior to its predecessor i.e., Whisper. In this paper, we give an overview of the Waku protocols stack, its architecture, and protocols interaction along with a sample demo scenario on configuring and running a Waku node using nwaku i.e., Waku client written in Nim.


title: K-ARMA Models for Clustering Time Series Data

abstract: We present an approach to clustering time series data using a model-based generalization of the K-Means algorithm which we call K-Models. We prove the convergence of this general algorithm and relate it to the hard-EM algorithm for mixture modeling. We then apply our method first with an AR($p$) clustering example and show how the clustering algorithm can be made robust to outliers using a least-absolute deviations criteria. We then build our clustering algorithm up for ARMA($p,q$) models and extend this to ARIMA($p,d,q$) models. We develop a goodness of fit statistic for the models fitted to clusters based on the Ljung-Box statistic. We perform experiments with simulated data to show how the algorithm can be used for outlier detection, detecting distributional drift, and discuss the impact of initialization method on empty clusters. We also perform experiments on real data which show that our method is competitive with other existing methods for similar time series clustering tasks.


title: The ratio of homology rank to hyperbolic volume, II

abstract: Under mild topological restrictions, we obtain new linear upper bounds for the dimension of the mod $p$ homology (for any prime $p$) of a finite-volume orientable hyperbolic $3$ manifold $M$ in terms of its volume. A surprising feature of the arguments in the paper is that they require an application of the Four Color Theorem. If $M$ is closed, and either (a) $\pi_1(M)$ has no subgroup isomorphic to the fundamental group of a closed, orientable surface of genus $2, 3$ or $4$, or (b) $p = 2$, and $M$ contains no (embedded, two-sided) incompressible surface of genus $2, 3$ or $4$, then $\text{dim}\, H_1(M;F_p) < 157.763 \cdot \text{vol}(M)$. If $M$ has one or more cusps, we get a very similar bound assuming that $\pi_1(M)$ has no subgroup isomorphic to the fundamental group of a closed, orientable surface of genus $g$ for $g = 2, \dots,8$. These results should be compared with those of our previous paper $The\ ratio\ of\ homology\ rank\ to\ hyperbolic\ volume,\ I$, in which we obtained a bound with a coefficient in the range of $168$ instead of $158$, without a restriction on surface subgroups or incompressible surfaces. In a future paper, using a much more involved argument, we expect to obtain bounds close to those given by the present paper without such a restriction. The arguments also give new linear upper bounds (with constant terms) for the rank of $\pi_1(M)$ in terms of $\text{vol}\,M$, assuming that either $\pi_1(M)$ is $9$-free, or $M$ is closed and $\pi_1(M)$ is $5$-free.


title: DP$^2$-NILM: A Distributed and Privacy-preserving Framework for Non-intrusive Load Monitoring

abstract: Non-intrusive load monitoring (NILM), which usually utilizes machine learning methods and is effective in disaggregating smart meter readings from the household-level into appliance-level consumption, can help analyze electricity consumption behaviours of users and enable practical smart energy and smart grid applications. Recent studies have proposed many novel NILM frameworks based on federated deep learning (FL). However, there lacks comprehensive research exploring the utility optimization schemes and the privacy-preserving schemes in different FL-based NILM application scenarios. In this paper, we make the first attempt to conduct FL-based NILM focusing on both the utility optimization and the privacy-preserving by developing a distributed and privacy-preserving NILM (DP2-NILM) framework and carrying out comparative experiments on practical NILM scenarios based on real-world smart meter datasets. Specifically, two alternative federated learning strategies are examined in the utility optimization schemes, i.e., the FedAvg and the FedProx. Moreover, different levels of privacy guarantees, i.e., the local differential privacy federated learning and the global differential privacy federated learning are provided in the DP2-NILM. Extensive comparison experiments are conducted on three real-world datasets to evaluate the proposed framework.


title: Precision millimetre-wave spectroscopy and calculation of the Stark manifolds in high Rydberg states of para-H$_2$

abstract: Precision measurements of transitions between singlet ($S=0$) Rydberg states of H$_2$ belonging to series converging on the $\mathrm{X}^+\,^2\Sigma_g^+(v^+=0,N^+=0)$ state of H$_2^+$ have been carried out by millimetre-wave spectroscopy under field-free conditions and in the presence of weak static electric fields. The Stark effect mixes states with different values of the orbital-angular-momentum quantum number $\ell$ and leads to quadratic Stark shifts of low-$\ell$ states and to linear Stark shifts of the nearly degenerate manifold of high-$\ell$ states. Transitions to the Stark manifold were observed for the principal numbers 50 and 70, at fields below 50 mV/cm, with linewidths below 500~kHz. The energy-level structure was calculated using a matrix-diagonalisation approach, in which the zero-field positions of the $\ell\leq 3$ Rydberg states were obtained either from multichannel-quantum-defect-theory calculations or experiment, and those of the $\ell\geq 4$ Rydberg states from a long-range core-polarisation model. This approach offers the advantage of including rovibronic channel interactions through the MQDT treatment while retaining the advantages of a spherical basis for the determination of the off-diagonal elements of the Stark operator. Comparison of experimental and calculated transition frequencies enabled the quantitative description of the Stark manifolds, with residuals typically below 50 kHz. We demonstrate how the procedure leads to quantum defects and binding energies of high Rydberg states with unprecedented accuracy, opening up new prospects for the determination of ionisation energies in molecules.


title: A portrait of the Higgs boson by the CMS experiment ten years after the discovery

abstract: In July 2012, the ATLAS and CMS Collaborations at the CERN Large Hadron Collider announced the observation of a Higgs boson at a mass of around 125 GeV. Ten years later, and with the data corresponding to the production of 30 times larger number of Higgs bosons, we have learnt much more about the properties of the Higgs boson. The CMS experiment has observed the Higgs boson in numerous fermionic and bosonic decay channels, established its spin-parity quantum numbers, determined its mass and measured its production cross sections in various modes. Here the CMS Collaboration reports the most up-to-date combination of results on the properties of the Higgs boson, including the most stringent limit on the cross section for the production of a pair of Higgs bosons, on the basis of data from proton-proton collisions at a centre-of-mass energy of 13 TeV. Within the uncertainties, all these observations are compatible with the predictions of the standard model of elementary particle physics. Much evidence points to the fact that the standard model is a low-energy approximation of a more comprehensive theory. Several of the standard model issues originate in the sector of Higgs boson physics. An order of magnitude larger number of Higgs bosons, expected to be examined over the next fifteen years, will help deepen our understanding of this crucial sector.


title: A finite analogue of a $q$-series identity of Bhoria, Eyyunni and Maji and its applications

abstract: Bhoria, Eyyunni and Maji recently obtained a four-parameter $q$-series identity which gives as special cases not only all five entries of Ramanujan on pages 354 and 355 of his second notebook but also allows them to obtain an analytical proof of a result of Bressoud and Subbarao. Here, we obtain a finite analogue of their identity which naturally gives finite analogues of Ramanujan's results. Using one of these finite analogues, we deduce an identity for a finite sum involving a ${}_2\phi_1$. This identity is then applied to obtain a generalization of the generating function version of Andrews' famous identity for the smallest parts function $\textup{spt}(n)$. The $q$-series which generalizes $\sum_{n=1}^{\infty}\textup{spt}(n)q^n$ is completely different from $S(z, q)$ considered by Andrews, Garvan and Liang. Further applications of our identity are given. Lastly we generalize a result of Andrews, Chan and Kim which involves the first odd moments of rank and crank.


title: Extending a problem of Pillai to Gaussian lines

abstract: Let $L$ be a primitive Gaussian line, that is, a line in the complex plane that contains two, and hence infinitely many, coprime Gaussian integers. We prove that there exists an integer $G_L$ such that for every integer $n\geq G_L$ there are infinitely many sequences of $n$ consecutive Gaussian integers on $L$ with the property that none of the Gaussian integers in the sequence is coprime to all the others. We also investigate the smallest integer $g_L$ such that $L$ contains a sequence of $g_L$ consecutive Gaussian integers with this property. We show that $g_L\neq G_L$ in general. Also, $g_L\geq 7$ for every Gaussian line $L$, and we give necessary and sufficient conditions for $g_L=7$ and describe infinitely many Gaussian lines with $g_L\geq 260,000$. We conjecture that both $g_L$ and $G_L$ can be arbitrarily large. Our results extend a well-known problem of Pillai from the rational integers to the Gaussian integers.


title: Performative Reinforcement Learning

abstract: We introduce the framework of performative reinforcement learning where the policy chosen by the learner affects the underlying reward and transition dynamics of the environment. Following the recent literature on performative prediction~\cite{Perdomo et. al., 2020}, we introduce the concept of performatively stable policy. We then consider a regularized version of the reinforcement learning problem and show that repeatedly optimizing this objective converges to a performatively stable policy under reasonable assumptions on the transition dynamics. Our proof utilizes the dual perspective of the reinforcement learning problem and may be of independent interest in analyzing the convergence of other algorithms with decision-dependent environments. We then extend our results for the setting where the learner just performs gradient ascent steps instead of fully optimizing the objective, and for the setting where the learner has access to a finite number of trajectories from the changed environment. For both settings, we leverage the dual formulation of performative reinforcement learning and establish convergence to a stable solution. Finally, through extensive experiments on a grid-world environment, we demonstrate the dependence of convergence on various parameters e.g. regularization, smoothness, and the number of samples.


title: The Distribution of $k$-Free Effective Divisors and the Summatory Totient Function in Function Fields

abstract: Motivated by the study of the summatory $k$-free indicator and totient functions in the classical setting, we investigate their function field analogues. First, we derive an expression for the error terms of the summatory functions in terms of the zeros of the associated zeta function. Under the Linear Independence hypothesis, we explicitly construct the limiting distributions of these error terms and compute the frequency with which they occur in an interval $[-\beta, \beta]$ for a real $\beta > 0$. We also show that these error terms are unbiased, that is, they are positive and negative equally often. Finally, we examine the average behavior of these error terms across families of hyperelliptic curves of fixed genus. We obtain these results by following a general framework initiated by Cha and Humphries.


title: Privacy-preserving Graph Analytics: Secure Generation and Federated Learning

abstract: Directly motivated by security-related applications from the Homeland Security Enterprise, we focus on the privacy-preserving analysis of graph data, which provides the crucial capacity to represent rich attributes and relationships. In particular, we discuss two directions, namely privacy-preserving graph generation and federated graph learning, which can jointly enable the collaboration among multiple parties each possessing private graph data. For each direction, we identify both "quick wins" and "hard problems". Towards the end, we demonstrate a user interface that can facilitate model explanation, interpretation, and visualization. We believe that the techniques developed in these directions will significantly enhance the capabilities of the Homeland Security Enterprise to tackle and mitigate the various security risks.


title: Division of primitive Points in an abelian Variety

abstract: Let $A$ be an abelian variety defined over a number field $K$. We say that a point $P \in A(\overline{\mathbb{Q}})$ is primitive if there is no $Q \in A(\overline{\mathbb{Q}})$ defined on the field of definition of $P$ over $K$ such that $[N]Q=P$ for some positive integer $N \ge 2$. For any primitive point $P \in A(\overline{\mathbb{Q}})$, positive integer $N$ and point $Q \in A(\overline{\mathbb{Q}})$ such that $[N]Q=P$, we prove an effective lower bound on the degree of the field of definition of $Q$ over $K$ of the form $N^{\delta}$ that depends only on $A,K$ and the degree of the field of definition of $P$ over $K$. The proof is based on the estimates of the degree of torsion points by Masser. We combine this result with a uniform version of Manin-Mumford to prove an effective Unlikely Intersections-type result: if $P \in A(\overline{\mathbb{Q}})$ is primitive, defined over a field of degree $d$ over $K$, and $X$ is a subvariety of $A$, then $X \cap [N]^{-1}P$ is contained in the weakly special part of $X$, provided $N$ is bigger than a suitable power of $d$. As an application, we study an inverse elliptic Fermat equation, analogous to a modular Fermat equation treated by Pila.


title: Semantic Image Synthesis via Diffusion Models

abstract: Denoising Diffusion Probabilistic Models (DDPMs) have achieved remarkable success in various image generation tasks compared with Generative Adversarial Nets (GANs). Recent work on semantic image synthesis mainly follows the \emph{de facto} GAN-based approaches, which may lead to unsatisfactory quality or diversity of generated images. In this paper, we propose a novel framework based on DDPM for semantic image synthesis. Unlike previous conditional diffusion model directly feeds the semantic layout and noisy image as input to a U-Net structure, which may not fully leverage the information in the input semantic mask, our framework processes semantic layout and noisy image differently. It feeds noisy image to the encoder of the U-Net structure while the semantic layout to the decoder by multi-layer spatially-adaptive normalization operators. To further improve the generation quality and semantic interpretability in semantic image synthesis, we introduce the classifier-free guidance sampling strategy, which acknowledge the scores of an unconditional model for sampling process. Extensive experiments on three benchmark datasets demonstrate the effectiveness of our proposed method, achieving state-of-the-art performance in terms of fidelity (FID) and diversity (LPIPS).


title: Reflective numerical semigroups

abstract: We define a reflective numerical semigroup of genus $g$ as a numerical semigroup that has a certain reflective symmetry when viewed within $\mathbb{Z}$ as an array with $g$ columns. Equivalently, a reflective numerical semigroup has one gap in each residue class modulo $g$. In this paper, we give an explicit description for all reflective numerical semigroups. With this, we can describe the reflective members of well-known families of numerical semigroups as well as obtain formulas for the number of reflective numerical semigroups of a given genus or given Frobenius number.


title: Visual Pre-training for Navigation: What Can We Learn from Noise?

abstract: One powerful paradigm in visual navigation is to predict actions from observations directly. Training such an end-to-end system allows representations useful for downstream tasks to emerge automatically. However, the lack of inductive bias makes this system data inefficient. We hypothesize a sufficient representation of the current view and the goal view for a navigation policy can be learned by predicting the location and size of a crop of the current view that corresponds to the goal. We further show that training such random crop prediction in a self-supervised fashion purely on synthetic noise images transfers well to natural home images. The learned representation can then be bootstrapped to learn a navigation policy efficiently with little interaction data. The code is available at https://yanweiw.github.io/noise2ptz


title: Intersective sets over abelian groups

abstract: Given a finite abelian group $G$ and a subset $J\subset G$ with $0\in J$, let $D_{G}(J,N)$ be the maximum size of $A\subset G^{N}$ such that the difference set $A-A$ and $J^{N}$ have no non-trivial intersection. Recently, this extremal problem has been widely studied for different groups $G$ and subsets $J$. In this paper, we generalize and improve the relevant results by Alon and by Heged\H{u}s by building a bridge between this problem and cyclotomic polynomials with the help of algebraic graph theory. In particular, we construct infinitely many non-trivial families of $G$ and $J$ for which the current known upper bounds on $D_{G}(J, N)$ can be improved exponentially. We also obtain a new upper bound $D_{\mathbb{F}_{p}}(\{0,1\},N)\le (\frac{1}{2}+o(1))(p-1)^{N}$, which improves the previously best-known result by Huang, Klurman, and Pohoata.


title: "Communication Is a Scarce Resource!'': A Summary of CHASE'22 Conference Discussions

abstract: Background: Software Engineering regularly views communication between project participants as a tool for solving various problems in software development. Objective: Formulate research questions in areas related to CHASE. Method: A day-long discussion of five participants at the in-person day of the 15th International Conference on Cooperative and Human Aspects of Software Engineering (CHASE 2022) on May 23rd 2022. Results: It is not rare in industrial SE projects that communication is not just a tool or technique to be applied but also represents a resource, which, when lacking, threatens project success. This situation might arise when a person required to make decisions (especially regarding requirements, budgets, or priorities) is often unavailable. It may be helpful to frame communication as a scarce resource to understand the key difficulty of such situations. Conclusion: We call for studies that focus on the allocation and management of scarce communication resources of stakeholders as a lens to analyze software engineering projects.


title: Experimental Demonstration of a Spin-Wave Lens Designed with Machine Learning

abstract: We present the design and experimental realization of a device that acts like a spin-wave lens i.e., it focuses spin waves to a specified location. The structure of the lens does not resemble any conventional lens design, it is a nonintuitive pattern produced by a machine learning algorithm. As a spin-wave design tool, we used our custom micromagnetic solver "SpinTorch" that has built-in automatic gradient calculation and can perform backpropagation through time for spin-wave propagation. The training itself is performed with the saturation magnetization of a YIG film as a variable parameter, with the goal to guide spin waves to a predefined location. We verified the operation of the device in the widely used mumax3 micromagnetic solver, and by experimental realization. For the experimental implementation, we developed a technique to create effective saturation-magnetization landscapes in YIG by direct focused-ion-beam irradiation. This allows us to rapidly transfer the nanoscale design patterns to the YIG medium, without patterning the material by etching. We measured the effective saturation magnetization corresponding to the FIB dose levels in advance and used this mapping to translate the designed scatterer to the required dose levels. Our demonstration serves as a proof of concept for a workflow that can be used to realize more sophisticated spin-wave devices with complex functionality, e.g., spin-wave signal processors, or neuromorphic devices.


title: MultiViz: Towards Visualizing and Understanding Multimodal Models

abstract: The promise of multimodal models for real-world applications has inspired research in visualizing and understanding their internal mechanics with the end goal of empowering stakeholders to visualize model behavior, perform model debugging, and promote trust in machine learning models. However, modern multimodal models are typically black-box neural networks, which makes it challenging to understand their internal mechanics. How can we visualize the internal modeling of multimodal interactions in these models? Our paper aims to fill this gap by proposing MultiViz, a method for analyzing the behavior of multimodal models by scaffolding the problem of interpretability into 4 stages: (1) unimodal importance: how each modality contributes towards downstream modeling and prediction, (2) cross-modal interactions: how different modalities relate with each other, (3) multimodal representations: how unimodal and cross-modal interactions are represented in decision-level features, and (4) multimodal prediction: how decision-level features are composed to make a prediction. MultiViz is designed to operate on diverse modalities, models, tasks, and research areas. Through experiments on 8 trained models across 6 real-world tasks, we show that the complementary stages in MultiViz together enable users to (1) simulate model predictions, (2) assign interpretable concepts to features, (3) perform error analysis on model misclassifications, and (4) use insights from error analysis to debug models. MultiViz is publicly available, will be regularly updated with new interpretation tools and metrics, and welcomes inputs from the community.


title: Cosmological particle creation in Weyl geometry

abstract: We investigated the possibility of the homogeneous and isotropic cosmological solution in Weyl geometry, which differs from the Riemannian geometry by adding the so called Weyl vector. The Weyl gravity is obtained by constructing the gravitational Lagrangian both to be quadratic in curvatures and conformal invariant. It is found that such solution may exist provided there exists the direct interaction between the Weyl vector and the matter fields. Assuming the matter Lagrangian is that of the perfect fluid, we found how such an interaction can be implemented. Due to the existence of quadratic curvature terms and the direct interaction the perfect fluid particles may be created straight from the vacuum, and we found the expression for the rate of their production which appeared to be conformal invariant. In the case of creating the universe ``from nothing'' in the vacuum state, we investigated the problem, whether this vacuum may persist or not. It is shown that the vacuum may persist with respect to producing the non-dust matter (with positive pressure), but cannot resist to producing the dust particles. These particles, being non-interactive, may be considered as the candidates for dark matter.


title: Understanding Accretion Variability Through TESS Observations of Taurus

abstract: Interpreting the short-timescale variability of the accreting, young, low-mass stars known as Classical T Tauri stars remains an open task. Month-long, continuous light curves from the Transiting Exoplanet Survey Satellite (\textit{TESS}) have become available for hundreds of T Tauri stars. With this vast data set, identifying connections between the variability observed by \TESS and short-timescale accretion variability is valuable for characterizing the accretion process. To this end, we obtained short-cadence \TESS observations of 14 T Tauri stars in the Taurus star-formation region along with simultaneous ground-based, UBVRI-band photometry to be used as accretion diagnostics. In addition, we combine our dataset with previously published simultaneous NUV-NIR \textit{Hubble Space Telescope} spectra for one member of the sample. We find evidence that much of the short-timescale variability observed in the \TESS light curves can be attributed to changes in the accretion rate, but note significant scatter between separate nights and objects. We identify hints of time lags within our dataset that increase at shorter wavelengths which we suggest may be evidence of longitudinal density stratification of the accretion column. Our results highlight that contemporaneous, multi-wavelength observations remain critical for providing context for the observed variability of these stars.