title: Bridging Cultural Nuances in Dialogue Agents through Cultural Value Surveys

abstract: The cultural landscape of interactions with dialogue agents is a compelling yet relatively unexplored territory. It's clear that various sociocultural aspects -- from communication styles and beliefs to shared metaphors and knowledge -- profoundly impact these interactions. To delve deeper into this dynamic, we introduce cuDialog, a first-of-its-kind benchmark for dialogue generation with a cultural lens. We also develop baseline models capable of extracting cultural attributes from dialogue exchanges, with the goal of enhancing the predictive accuracy and quality of dialogue agents. To effectively co-learn cultural understanding and multi-turn dialogue predictions, we propose to incorporate cultural dimensions with dialogue encoding features. Our experimental findings highlight that incorporating cultural value surveys boosts alignment with references and cultural markers, demonstrating its considerable influence on personalization and dialogue quality. To facilitate further exploration in this exciting domain, we publish our benchmark publicly accessible at https://github.com/yongcaoplus/cuDialog.


title: Inconsistent dialogue responses and how to recover from them

abstract: One critical issue for chat systems is to stay consistent about preferences, opinions, beliefs and facts of itself, which has been shown a difficult problem. In this work, we study methods to assess and bolster utterance consistency of chat systems. A dataset is first developed for studying the inconsistencies, where inconsistent dialogue responses, explanations of the inconsistencies, and recovery utterances are authored by annotators. This covers the life span of inconsistencies, namely introduction, understanding, and resolution. Building on this, we introduce a set of tasks centered on dialogue consistency, specifically focused on its detection and resolution. Our experimental findings indicate that our dataset significantly helps the progress in identifying and resolving conversational inconsistencies, and current popular large language models like ChatGPT which are good at resolving inconsistencies however still struggle with detection.


title: Towards providing reliable job completion time predictions using PCS

abstract: In this paper we build a case for providing job completion time predictions to cloud users, similar to the delivery date of a package or arrival time of a booked ride. Our analysis reveals that providing predictability can come at the expense of performance and fairness. Existing cloud scheduling systems optimize for extreme points in the trade-off space, making them either extremely unpredictable or impractical. To address this challenge, we present PCS, a new scheduling framework that aims to provide predictability while balancing other traditional objectives. The key idea behind PCS is to use Weighted-Fair-Queueing (WFQ) and find a suitable configuration of different WFQ parameters (e.g., class weights) that meets specific goals for predictability. It uses a simulation-aided search strategy, to efficiently discover WFQ configurations that lie on the Pareto front of the trade-off space between these objectives. We implement and evaluate PCS in the context of DNN job scheduling on GPUs. Our evaluation, on a small scale GPU testbed and larger-scale simulations, shows that PCS can provide accurate completion time estimates while marginally compromising on performance and fairness.


title: Intelligent Optimization and Machine Learning Algorithms for Structural Anomaly Detection using Seismic Signals

abstract: The lack of anomaly detection methods during mechanized tunnelling can cause financial loss and deficits in drilling time. On-site excavation requires hard obstacles to be recognized prior to drilling in order to avoid damaging the tunnel boring machine and to adjust the propagation velocity. The efficiency of the structural anomaly detection can be increased with intelligent optimization techniques and machine learning. In this research, the anomaly in a simple structure is detected by comparing the experimental measurements of the structural vibrations with numerical simulations using parameter estimation methods.


title: Mean Field Games for Controlling Coherent Structures in Nonlinear Fluid Systems

abstract: This paper discusses the control of coherent structures in turbulent flows, which has broad applications among complex systems in science and technology. Mean field games have been proved a powerful tool and are proposed here to control the stochastic Lagrangian tracers as players tracking the flow field. We derive optimal control solutions for general nonlinear fluid systems using mean field game models, and develop computational algorithms to efficiently solve the resulting coupled forward and backward mean field system. A precise link is established for the control of Lagrangian tracers and the scalar vorticity field based on the functional Hamilton-Jacobi equations derived from the mean field models. New iterative numerical strategy is then constructed to compute the optimal solution with fast convergence. We verify the skill of the mean field control models and illustrate their practical efficiency on a prototype model modified from the viscous Burger's equation under various cost functions in both deterministic and stochastic formulations. The good model performance implies potential effectiveness of the strategy for more general high-dimensional turbulent systems.


title: Investigating Color Blind User Interface Accessibility via Simulated Interfaces

abstract: Over 300 million people who live with color vision deficiency (CVD) have a decreased ability to distinguish between colors, limiting their ability to interact with websites and software packages. User interface designers have taken various approaches to tackle the issue with most offering a high contrast mode. The Web Content Accessibility Guidelines (WCAG) outline some best practices for maintaining accessibility that have been adopted and recommended by several governments; however, it is currently uncertain how this impacts perceived user functionality and if this could result in a reduced aesthetic look. In the absence of subjective data, we aim to investigate how a CVD observer might rate the functionality and aesthetics of existing UIs. However, the design of a comparative study of CVD vs. non-CVD populations is inherently hard, therefore we build on the successful field of physiologically-based CVD models, and propose a novel simulation-based experimental protocol, where non-CVD observers rate the relative aesthetics and functionality of screenshots of 20 popular websites as seen in full color vs. with simulated CVD. Our results show that relative aesthetics and functionality correlate positively and that an operating-system-wide high contrast mode can reduce both aesthetics and functionality. While our results are only valid in the context of simulated CVD screenshots, the approach has the benefit of being easily deployable, and can help to spot a number of common pitfalls in production. Finally, we propose a AAA-A classification of the interfaces we analyzed.


title: Percolation pathway switching in laser graphitized polyimide conducting tracks

abstract: Laser processing has been used to create weakly conducting tracks in polyimide film. Raman spectroscopy shows that these tracks consist of nanometre sized graphitic regions contained in a carbon-rich matrix. The measured temperature dependent and electric field dependent conduction characteristics show an activated characteristic that is consistent with nearest neighbour hopping. In addition, discrete percolation pathway switching events are seen when the system is subjected to significant disturbance from equilibrium.


title: Keeping Deep Learning Models in Check: A History-Based Approach to Mitigate Overfitting

abstract: In software engineering, deep learning models are increasingly deployed for critical tasks such as bug detection and code review. However, overfitting remains a challenge that affects the quality, reliability, and trustworthiness of software systems that utilize deep learning models. Overfitting can be (1) prevented (e.g., using dropout or early stopping) or (2) detected in a trained model (e.g., using correlation-based approaches). Both overfitting detection and prevention approaches that are currently used have constraints (e.g., requiring modification of the model structure, and high computing resources). In this paper, we propose a simple, yet powerful approach that can both detect and prevent overfitting based on the training history (i.e., validation losses). Our approach first trains a time series classifier on training histories of overfit models. This classifier is then used to detect if a trained model is overfit. In addition, our trained classifier can be used to prevent overfitting by identifying the optimal point to stop a model's training. We evaluate our approach on its ability to identify and prevent overfitting in real-world samples. We compare our approach against correlation-based detection approaches and the most commonly used prevention approach (i.e., early stopping). Our approach achieves an F1 score of 0.91 which is at least 5% higher than the current best-performing non-intrusive overfitting detection approach. Furthermore, our approach can stop training to avoid overfitting at least 32% of the times earlier than early stopping and has the same or a better rate of returning the best model.


title: Excuse me, sir? Your language model is leaking (information)

abstract: We introduce a cryptographic method to hide an arbitrary secret payload in the response of a Large Language Model (LLM). A secret key is required to extract the payload from the model's response, and without the key it is provably impossible to distinguish between the responses of the original LLM and the LLM that hides a payload. In particular, the quality of generated text is not affected by the payload. Our approach extends a recent result of Christ, Gunn and Zamir (2023) who introduced an undetectable watermarking scheme for LLMs.


title: Hierarchical Federated Learning in Multi-hop Cluster-Based VANETs

abstract: The usage of federated learning (FL) in Vehicular Ad hoc Networks (VANET) has garnered significant interest in research due to the advantages of reducing transmission overhead and protecting user privacy by communicating local dataset gradients instead of raw data. However, implementing FL in VANETs faces challenges, including limited communication resources, high vehicle mobility, and the statistical diversity of data distributions. In order to tackle these issues, this paper introduces a novel framework for hierarchical federated learning (HFL) over multi-hop clustering-based VANET. The proposed method utilizes a weighted combination of the average relative speed and cosine similarity of FL model parameters as a clustering metric to consider both data diversity and high vehicle mobility. This metric ensures convergence with minimum changes in cluster heads while tackling the complexities associated with non-independent and identically distributed (non-IID) data scenarios. Additionally, the framework includes a novel mechanism to manage seamless transitions of cluster heads (CHs), followed by transferring the most recent FL model parameter to the designated CH. Furthermore, the proposed approach considers the option of merging CHs, aiming to reduce their count and, consequently, mitigate associated overhead. Through extensive simulations, the proposed hierarchical federated learning over clustered VANET has been demonstrated to improve accuracy and convergence time significantly while maintaining an acceptable level of packet overhead compared to previously proposed clustering algorithms and non-clustered VANET.


title: Observing Topological Insulator Phases with a Programmable Quantum Simulator

abstract: Topological insulators exhibit fascinating properties such as the appearance of edge states protected by symmetries. The Su-Schrieffer-Heeger (SSH) model is a canonical description of a one-dimensional quantum topological insulator. We experimentally implement a modified SSH model with long-range interacting spin systems in one-dimensional trapped ion crystals of up to $22$ spins. An array of tightly focused laser beams generates site-specific Floquet fields that control the bond dimerization of the spins, which when subject to reflection symmetry, exhibit signatures of topologically-protected edge states. We study the evolution of highly excited configurations with various ranges of the spin-spin interaction, revealing the nontrivial role of many-body fermionic-interaction terms on the resulting dynamics. These results allow direct quantum simulations of topological quantum degrees of freedom expected in exotic materials, but here with high control of individual spins and their interaction range.


title: Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems

abstract: In this paper, we investigate the verification and enforcement of strong state-based opacity (SBO) in discrete-event systems modeled as partially-observed (nondeterministic) finite-state automata, including strong K-step opacity (K-SSO), strong current-state opacity (SCSO), strong initial-state opacity (SISO), and strong infinite-step opacity (Inf-SSO). They are stronger versions of four widely-studied standard opacity notions, respectively. We firstly propose a new notion of K-SSO, and then we construct a concurrent-composition structure that is a variant of our previously-proposed one to verify it. Based on this structure, a verification algorithm for the proposed notion of K-SSO is designed. Also, an upper bound on K in the proposed K-SSO is derived. Secondly, we propose a distinctive opacity-enforcement mechanism that has better scalability than the existing ones (such as supervisory control). The basic philosophy of this new mechanism is choosing a subset of controllable transitions to disable before an original system starts to run in order to cut off all its runs that violate a notion of strong SBO of interest. Accordingly, the algorithms for enforcing the above-mentioned four notions of strong SBO are designed using the proposed two concurrent-composition structures. In particular, the designed algorithm for enforcing Inf-SSO has lower time complexity than the existing one in the literature, and does not depend on any assumption. Finally, we illustrate the applications of the designed algorithms using examples.


title: Using LLM such as ChatGPT for Designing and Implementing a RISC Processor: Execution,Challenges and Limitations

abstract: This paper discusses the feasibility of using Large Language Models LLM for code generation with a particular application in designing an RISC. The paper also reviews the associated steps such as parsing, tokenization, encoding, attention mechanism, sampling the tokens and iterations during code generation. The generated code for the RISC components is verified through testbenches and hardware implementation on a FPGA board. Four metric parameters Correct output on the first iteration, Number of errors embedded in the code, Number of trials required to achieve the code and Failure to generate the code after three iterations, are used to compare the efficiency of using LLM in programming. In all the cases, the generated code had significant errors and human intervention was always required to fix the bugs. LLM can therefore be used to complement a programmer code design.


title: Recent Nanoninformatics Approaches for Developments in Nanobiotechnology and Nanomedicine

abstract: Nanoinformatics is a novel, rapidly growing area of research that involves the application of computational techniques to several aspects of research in the field of nanotechnology, especially concerned its application to biotechnology. This reviews aims to explore, summarize and categorize recent publications on the subject.


title: Whole Device Modeling of the FuZE Sheared-Flow-Stabilized Z Pinch

abstract: The FuZE sheared-flow-stabilized Z pinch at Zap Energy is simulated using whole-device modeling employing an axisymmetric resistive magnetohydrodynamic formulation implemented within the discontinuous Galerkin WARPXM framework. Simulations show formation of Z pinches with densities of approximately 10^22 m^-3 and total DD fusion neutron rate of 10^7 per {\mu}s for approximately 2 {\mu}s. Simulation-derived synthetic diagnostics show peak currents and voltages within 10% and total yield within approximately 30% of experiment for similar plasma mass. The simulations provide insight into the plasma dynamics in the experiment and enable a predictive capability for exploring design changes on devices built at Zap Energy.


title: gFaaS: Enabling Generic Functions in Serverless Computing

abstract: With the advent of AWS Lambda in 2014, Serverless Computing, particularly Function-as-a-Service (FaaS), has witnessed growing popularity across various application domains. FaaS enables an application to be decomposed into fine-grained functions that are executed on a FaaS platform. It offers several advantages such as no infrastructure management, a pay-per-use billing policy, and on-demand fine-grained autoscaling. However, despite its advantages, developers today encounter various challenges while adopting FaaS solutions that reduce productivity. These include FaaS platform lock-in, support for diverse function deployment parameters, and diverse interfaces for interacting with FaaS platforms. To address these challenges, we present gFaaS, a novel framework that facilitates the holistic development and management of functions across diverse FaaS platforms. Our framework enables the development of generic functions in multiple programming languages that can be seamlessly deployed across different platforms without modifications. Results from our experiments demonstrate that gFaaS functions perform similarly to native platform-specific functions across various scenarios. A video demonstrating the functioning of gFaaS is available from https://youtu.be/STbb6ykJFf0.


title: HRL-TSCH: A Hierarchical Reinforcement Learning-based TSCH Scheduler for IIoT

abstract: The Industrial Internet of Things (IIoT) demands adaptable Networked Embedded Systems (NES) for optimal performance. Combined with recent advances in Artificial Intelligence (AI), tailored solutions can be developed to meet specific application requirements. This study introduces HRL-TSCH, an approach rooted in Hierarchical Reinforcement Learning (HRL), to devise Time Slotted Channel Hopping (TSCH) schedules provisioning IIoT demand. HRL-TSCH employs dual policies: one at a higher level for TSCH schedule link management, and another at a lower level for timeslot and channel assignments. The proposed RL agents address a multi-objective problem, optimizing throughput, power efficiency, and network delay based on predefined application requirements. Simulation experiments demonstrate HRL-TSCH superiority over existing state-of-art approaches, effectively achieving an optimal balance between throughput, power consumption, and delay, thereby enhancing IIoT network performance.


title: Motorway: Seamless high speed BFT

abstract: Today's practical, high performance Byzantine Fault Tolerant (BFT) consensus protocols operate in the partial synchrony model. However, existing protocols are inefficient when deployments are indeed partially synchronous. They deliver either low latency during fault-free, synchronous periods (good intervals) or robust recovery from events that interrupt progress (blips). At one end, traditional, view-based BFT protocols optimize for latency during good intervals, but, when blips occur, can suffer from performance degradation (hangovers) that can last beyond the return of a good interval. At the other end, modern DAG-based BFT protocols recover more gracefully from blips, but exhibit lackluster latency during good intervals. To close the gap, this work presents Motorway, a novel high-throughput BFT protocol that offers both low latency and seamless recovery from blips. By combining a highly parallel asynchronous data dissemination layer with a low-latency, partially synchronous consensus mechanism, Motorway (i) avoids the hangovers incurred by traditional BFT protocols and (ii) matches the throughput of state of the art DAG-based BFT protocols while cutting their latency in half, matching the latency of traditional BFT protocols.


title: Deep Generative Modeling for Financial Time Series with Application in VaR: A Comparative Review

abstract: In the financial services industry, forecasting the risk factor distribution conditional on the history and the current market environment is the key to market risk modeling in general and value at risk (VaR) model in particular. As one of the most widely adopted VaR models in commercial banks, Historical simulation (HS) uses the empirical distribution of daily returns in a historical window as the forecast distribution of risk factor returns in the next day. The objectives for financial time series generation are to generate synthetic data paths with good variety, and similar distribution and dynamics to the original historical data. In this paper, we apply multiple existing deep generative methods (e.g., CGAN, CWGAN, Diffusion, and Signature WGAN) for conditional time series generation, and propose and test two new methods for conditional multi-step time series generation, namely Encoder-Decoder CGAN and Conditional TimeVAE. Furthermore, we introduce a comprehensive framework with a set of KPIs to measure the quality of the generated time series for financial modeling. The KPIs cover distribution distance, autocorrelation and backtesting. All models (HS, parametric and neural networks) are tested on both historical USD yield curve data and additional data simulated from GARCH and CIR processes. The study shows that top performing models are HS, GARCH and CWGAN models. Future research directions in this area are also discussed.


title: Langevin Unlearning: A New Perspective of Noisy Gradient Descent for Machine Unlearning

abstract: Machine unlearning has raised significant interest with the adoption of laws ensuring the ``right to be forgotten''. Researchers have provided a probabilistic notion of approximate unlearning under a similar definition of Differential Privacy (DP), where privacy is defined as statistical indistinguishability to retraining from scratch. We propose Langevin unlearning, an unlearning framework based on noisy gradient descent with privacy guarantees for approximate unlearning problems. Langevin unlearning unifies the DP learning process and the privacy-certified unlearning process with many algorithmic benefits. These include approximate certified unlearning for non-convex problems, complexity saving compared to retraining, sequential and batch unlearning for multiple unlearning requests. We verify the practicality of Langevin unlearning by studying its privacy-utility-complexity trade-off via experiments on benchmark datasets, and also demonstrate its superiority against gradient-decent-plus-output-perturbation based approximate unlearning.


title: MutaBot: A Mutation Testing Approach for Chatbots

abstract: Mutation testing is a technique aimed at assessing the effectiveness of test suites by seeding artificial faults into programs. Although available for many platforms and languages, no mutation testing tool is currently available for conversational chatbots, which represent an increasingly popular solution to design systems that can interact with users through a natural language interface. Note that since conversations must be explicitly engineered by the developers of conversational chatbots, these systems are exposed to specific types of faults not supported by existing mutation testing tools. In this paper, we present MutaBot, a mutation testing tool for conversational chatbots. MutaBot addresses mutations at multiple levels, including conversational flows, intents, and contexts. We designed the tool to potentially target multiple platforms, while we implemented initial support for Google Dialogflow chatbots. We assessed the tool with three Dialogflow chatbots and test cases generated with Botium, revealing weaknesses in the test suites.


title: Harmonized Spatial and Spectral Learning for Robust and Generalized Medical Image Segmentation

abstract: Deep learning has demonstrated remarkable achievements in medical image segmentation. However, prevailing deep learning models struggle with poor generalization due to (i) intra-class variations, where the same class appears differently in different samples, and (ii) inter-class independence, resulting in difficulties capturing intricate relationships between distinct objects, leading to higher false negative cases. This paper presents a novel approach that synergies spatial and spectral representations to enhance domain-generalized medical image segmentation. We introduce the innovative Spectral Correlation Coefficient objective to improve the model's capacity to capture middle-order features and contextual long-range dependencies. This objective complements traditional spatial objectives by incorporating valuable spectral information. Extensive experiments reveal that optimizing this objective with existing architectures like UNet and TransUNet significantly enhances generalization, interpretability, and noise robustness, producing more confident predictions. For instance, in cardiac segmentation, we observe a 0.81 pp and 1.63 pp (pp = percentage point) improvement in DSC over UNet and TransUNet, respectively. Our interpretability study demonstrates that, in most tasks, objectives optimized with UNet outperform even TransUNet by introducing global contextual information alongside local details. These findings underscore the versatility and effectiveness of our proposed method across diverse imaging modalities and medical domains.


title: Printed Circuit Board Based Rotating Coils for Measuring Sextupole Magnets

abstract: The use of Printed Circuit Boards (PCBs) for the inductive pick-up windings of rotating coil probes has made the construction of these precision magnetic measurement devices much more accessible. This paper discusses the design details for PCBs which on each layer of the board provide for simultaneous analog bucking (suppression) of dipole, quadrupole, and sextupole field components so as to more accurately measure the higher order harmonic fields in sextupole magnets. Techniques to generate designs are discussed, as well as trade-offs to optimize sensitivity. Examples of recent sextupole PCBs and their performance are given.


title: Vulnerabilities of Foundation Model Integrated Federated Learning Under Adversarial Threats

abstract: Federated Learning (FL) addresses critical issues in machine learning related to data privacy and security, yet suffering from data insufficiency and imbalance under certain circumstances. The emergence of foundation models (FMs) offers potential solutions to the limitations of existing FL frameworks, e.g., by generating synthetic data for model initialization. However, due to the inherent safety concerns of FMs, integrating FMs into FL could introduce new risks, which remains largely unexplored. To address this gap, we conduct the first investigation on the vulnerability of FM integrated FL (FM-FL) under adversarial threats. Based on a unified framework of FM-FL, we introduce a novel attack strategy that exploits safety issues of FM to compromise FL client models. Through extensive experiments with well-known models and benchmark datasets in both image and text domains, we reveal the high susceptibility of the FM-FL to this new threat under various FL configurations. Furthermore, we find that existing FL defense strategies offer limited protection against this novel attack approach. This research highlights the critical need for enhanced security measures in FL in the era of FMs.


title: PAC Code Rate-Profile Design Using Search-Constrained Optimization Algorithms

abstract: In this paper, we introduce a novel rate-profile design based on search-constrained optimization techniques to assess the performance of polarization-adjusted convolutional (PAC) codes under Fano (sequential) decoding. The results demonstrate that the resulting PAC code offers much reduced computational complexity compared to a construction based on a conventional genetic algorithm without a performance loss in error-correction performance. As the fitness function of our algorithm, we propose an adaptive successive cancellation list decoding algorithm to determine the weight distribution of the rate profiles. The simulation results indicate that, for a PAC(256, 128) code, only 8% of the population requires that their fitness function be evaluated with a large list size. This represents an improvement of almost 92% over a conventional evolutionary algorithm. For a PAC(64, 32) code, this improvement is about 99%. We also plotted the performance of the high-rate PAC(128, 105) and PAC(64, 51) codes, and the results show that they exhibit superior performance compared to other algorithms.


title: Grain Size Effects on UV-MIR (0.2-14 micron) Spectra of Carbonaceous Chondrite Groups

abstract: Carbonaceous chondrites are among the most important meteorite types and have played a vital role in deciphering the origin and evolution of our solar system. They have been linked to low-albedo C-type asteroids, but due to subdued absorption bands, definitive asteroid-meteorite linkages remain elusive. A majority of these existing linkages rely on fine-grained (typically < 45 micron) powders across a limited wavelength range in the visible to near-infrared (0.35-2.5 microns). While this is useful in interpreting the fine-grained regolith of larger main-belt objects like Ceres, recent spacecraft missions to smaller near-Earth asteroids (NEAs), such as Bennu and Ryugu, have shown that their surfaces are dominated by larger grain size material. To better interpret the surfaces of these smaller, carbonaceous NEAs, we obtained laboratory reflectance spectra of seven carbonaceous chondrite meteorite groups (CI, CM, CO, CV, CR, CK, C2-ungrouped) over the ultraviolet to mid-infrared range (0.2-14 microns). Each meteorite contained five grain size bins (45-1000 microns) to help constrain spectral grain size effects. We find a correlation between grain size and absolute reflectance, spectral slope, band depth, and the Christiansen feature band center. Principal component analysis of grain size variation illustrates a similar trend to lunar-style space weathering. We also show that the Bus-DeMeo asteroid taxonomic classification of our samples is affected by grain size, specifically shifting CM2 Aguas Zarcas from a Ch-type to B-type with increasing grain size. This has implications for the parent body of the OSIRIS-REx target, Bennu. With Aguas Zarcas, we present results from Hapke modeling.


title: Combinatorial Hubbard trees for postcritically infinite unicritical polynomials and exponential maps

abstract: We construct combinatorial Hubbard trees for all unicritical polynomials, and for all exponential maps, for which the critical (singular) value does not escape. More precisely, out of an external angle, or more generally a kneading sequence, we construct a forward invariant tree for which the critical orbit has the given kneading sequence. When the critical orbit of a unicritical polynomial is periodic or preperiodic, then the existence of a Hubbard tree is classical. Our trees exist even when the critical orbit is infinite (in many cases, this yields infinite trees), and even when the polynomial Julia set fails to be path connected. In the latter case, our trees cannot be reconstructed from the Julia set in complex dynamics. Our trees also exist for kneading sequences that do not arise in complex dynamics (for non complex-admissible kneading sequences).


title: Agricultural Object Detection with You Look Only Once (YOLO) Algorithm: A Bibliometric and Systematic Literature Review

abstract: Vision is a major component in several digital technologies and tools used in agriculture. The object detector, You Look Only Once (YOLO), has gained popularity in agriculture in a relatively short span due to its state-of-the-art performance. YOLO offers real-time detection with good accuracy and is implemented in various agricultural tasks, including monitoring, surveillance, sensing, automation, and robotics. The research and application of YOLO in agriculture are accelerating rapidly but are fragmented and multidisciplinary. Moreover, the performance characteristics (i.e., accuracy, speed, computation) of the object detector influence the rate of technology implementation and adoption in agriculture. Thus, the study aims to collect extensive literature to document and critically evaluate the advances and application of YOLO for agricultural object recognition. First, we conducted a bibliometric review of 257 articles to understand the scholarly landscape of YOLO in agricultural domain. Secondly, we conducted a systematic review of 30 articles to identify current knowledge, gaps, and modifications in YOLO for specific agricultural tasks. The study critically assesses and summarizes the information on YOLO's end-to-end learning approach, including data acquisition, processing, network modification, integration, and deployment. We also discussed task-specific YOLO algorithm modification and integration to meet the agricultural object or environment-specific challenges. In general, YOLO-integrated digital tools and technologies show the potential for real-time, automated monitoring, surveillance, and object handling to reduce labor, production cost, and environmental impact while maximizing resource efficiency. The study provides detailed documentation and significantly advances the existing knowledge on applying YOLO in agriculture, which can greatly benefit the scientific community.


title: Thin Ice Lithospheres and High Heat Flows on Europa From Large Impact Structure Ring-graben

abstract: Craters are probes of planetary surface and interior properties. Here we measure depths, widths, and spacing of circumferential ring-graben surrounding the two largest multiring impact structures on Europa, Tyre and Callanish. We estimate formation conditions including the ice shell structure. The radial extension necessary to form these graben is thought to be caused by asthenospheric drag of warmer, more ductile ice and/or water flowing toward the excavated center of the crater, under a brittle-elastic lithospheric lid. Measurements of graben depths from stereo-photoclinometric digital elevation models result in estimates of displacement, strain, and stress experienced by the ice shell. Graben widths are used to estimate the intersection depth of the bounding normal faults, a quantity related to the brittle-ductile transition depth that approximates elastic shell thickness during crater collapse. Heat flows at the time of crater formation as well as ice lithosphere and total shell thickness are thus also constrained. Average widths and depths tend to decrease with increasing distance from the structure center, while inter-graben spacing generally increases. Varied assumptions yield plausible total conductive ice shell thickness estimates between 4-8 and 2.5-5 km for Tyre and Callanish, respectively, and heat flows of ~70-115 (+/-30) mW m^-2 for realistic thermal conductivities, consistent with other geophysical estimates for Europa. Higher heat flows are consistent with thin (<10 km), conductive ice shells and impact breaching, or penetration of the stagnant lid for a convecting ice shell. Callanish, geologically younger, formed in a time or region of greater heat flow than Tyre.


title: Resonant Fully dielectric metasurfaces for ultrafast Terahertz pulse generation

abstract: Metasurfaces represent a new frontier in materials science paving for unprecedented methods of controlling electromagnetic waves, with a range of applications spanning from sensing to imaging and communications. For pulsed terahertz generation, metasurfaces offer a gateway to tuneable thin emitters that can be utilised for large-area imaging, microscopy and spectroscopy. In literature THz-emitting metasurfaces generally exhibit high absorption, being based either on metals or on semiconductors excited in highly resonant regimes. Here we propose the use of a fully dielectric semiconductor exploiting morphology-mediated resonances and inherent quadratic nonlinear response. Our system exhibits a remarkable 40-fold efficiency enhancement compared to the unpatterned at the peak of the optimised wavelength range, demonstrating its potential as scalable emitter design.


title: Node Placement and Path Planning for Improved Area Coverage in Mixed Wireless Sensor Networks

abstract: For the large-scale monitoring of a physical phenomena using a wireless sensor network (WSN), a large number of static and/or mobile sensor nodes are required, resulting in higher deployment cost. In this work, we develop an efficient algorithm that can employ a small number of static nodes together with a set of mobile nodes for improved area coverage. An efficient deployment of static nodes and guided mobility of the mobile nodes is critical for maximizing the area coverage. To this end, we propose three mixed integer linear programming (MILP) formulations. The first formulation efficiently deploys a set of static nodes and the other two formulations plan the path of a set of mobile nodes so as to maximize the area coverage and minimize the total number of movements required to achieve the desired coverage. We present extensive performance evaluation of the proposed algorithms and its comparison with benchmark approaches. The simulation results demonstrate the superior performance of the proposed algorithms for different network sizes and number of static and mobile nodes.


title: Cooperative Multi-Agent Graph Bandits: UCB Algorithm and Regret Analysis

abstract: In this paper, we formulate the multi-agent graph bandit problem as a multi-agent extension of the graph bandit problem introduced by Zhang, Johansson, and Li [CISS 57, 1-6 (2023)]. In our formulation, $N$ cooperative agents travel on a connected graph $G$ with $K$ nodes. Upon arrival at each node, agents observe a random reward drawn from a node-dependent probability distribution. The reward of the system is modeled as a weighted sum of the rewards the agents observe, where the weights capture some transformation of the reward associated with multiple agents sampling the same node at the same time. We propose an Upper Confidence Bound (UCB)-based learning algorithm, Multi-G-UCB, and prove that its expected regret over $T$ steps is bounded by $O(\gamma N\log(T)[\sqrt{KT} + DK])$, where $D$ is the diameter of graph $G$ and $\gamma$ a boundedness parameter associated with the weight functions. Lastly, we numerically test our algorithm by comparing it to alternative methods.


title: Precision Franck-Condon spectroscopy from highly-excited vibrational states

abstract: As per the Franck-Condon principle, absorption spectroscopy reveals changes in nuclear geometry in molecules or solids upon electronic excitation. It is often assumed these changes cannot be resolved beyond the ground vibrational wavefunction width ($\sqrt{\hbar/m\omega}$). Here, we show this resolution dramatically improves with highly-excited vibrational initial states (with occupation number $\langle n\rangle$). These states magnify changes in geometry by $2\langle n\rangle +1$, a possibly counterintuitive result given the spatial uncertainty of Fock states grows with $n$. We also discuss generalizations of this result to multimode systems. Our result is relevant to optical spectroscopy, polariton condensates, and quantum simulators ($\textit{e.g.}$, boson samplers).


title: Approximation of Solution Operators for High-dimensional PDEs

abstract: We propose a finite-dimensional control-based method to approximate solution operators for evolutional partial differential equations (PDEs), particularly in high-dimensions. By employing a general reduced-order model, such as a deep neural network, we connect the evolution of the model parameters with trajectories in a corresponding function space. Using the computational technique of neural ordinary differential equation, we learn the control over the parameter space such that from any initial starting point, the controlled trajectories closely approximate the solutions to the PDE. Approximation accuracy is justified for a general class of second-order nonlinear PDEs. Numerical results are presented for several high-dimensional PDEs, including real-world applications to solving Hamilton-Jacobi-Bellman equations. These are demonstrated to show the accuracy and efficiency of the proposed method.


title: Noninvasive Acute Compartment Syndrome Diagnosis Using Random Forest Machine Learning

abstract: Acute compartment syndrome (ACS) is an orthopedic emergency, caused by elevated pressure within a muscle compartment, that leads to permanent tissue damage and eventually death. Diagnosis of ACS relies heavily on patient-reported symptoms, a method that is clinically unreliable and often supplemented with invasive intracompartmental pressure measurements that can malfunction in motion settings. This study proposes an objective and noninvasive diagnostic for ACS. The device detects ACS through a random forest machine learning model that uses surrogate pressure readings from force-sensitive resistors (FSRs) placed on the skin. To validate the diagnostic, a data set containing FSR measurements and the corresponding simulated intracompartmental pressure was created for motion and motionless scenarios. The diagnostic achieved up to 98% accuracy. The device excelled in key performance metrics, including sensitivity and specificity, with a statistically insignificant performance difference in motion present cases. Manufactured for 73 USD, our device may be a cost-effective solution. These results demonstrate the potential of noninvasive ACS diagnostics to meet clinical accuracy standards in real world settings.


title: Bypassing a Reactive Jammer via NOMA-Based Transmissions in Critical Missions

abstract: Wireless networks can be vulnerable to radio jamming attacks. The quality of service under a jamming attack is not guaranteed and the service requirements such as reliability, latency, and effective rate, specifically in mission-critical military applications, can be deeply affected by the jammer's actions. This paper analyzes the effect of a reactive jammer. Particularly, reliability, average transmission delay, and the effective sum rate (ESR) for a NOMA-based scheme with finite blocklength transmissions are mathematically derived taking the detection probability of the jammer into account. Furthermore, the effect of UEs' allocated power and blocklength on the network metrics is explored. Contrary to the existing literature, results show that gNB can mitigate the impact of reactive jamming by decreasing transmit power, making the transmissions covert at the jammer side. Finally, an optimization problem is formulated to maximize the ESR under reliability, delay, and transmit power constraints. It is shown that by adjusting the allocated transmit power to UEs by gNB, the gNB can bypass the jammer effect to fulfill the 0.99999 reliability and the latency of 5ms without the need for packet re-transmission.


title: Acceleration and Release of Solar Energetic Particles Associated with a Coronal Shock on 2021 September 28 Observed by Four Spacecraft

abstract: Extreme ultraviolet (EUV) waves are thought to be the propagating footprint of the shock on the solar surface. One of the key questions in SEP research is the timing of the SEP release with respect to the time when the EUV wave magnetically connects with an observer. Taking advantage of close-to-the-Sun measurements by Parker Solar Probe (PSP) and Solar Orbiter (SolO), we investigate an SEP event that occurred on 2021 September 28 and was observed at different locations by SolO, PSP, STEREO-A, and near-Earth spacecraft. During this time, SolO, PSP and STEREO-A shared similar nominal magnetic footpoints relative to the SEP source region but were at different heliocentric distances. We find that the SEP release times estimated at these four locations were delayed compared to the times when the EUV wave intercepted the footpoints of the nominal magnetic fields connecting to each spacecraft by around 30 to 60 minutes. Combining observations in multiple wavelengths of radio, white-light, and EUV, with a geometrical shock model, we analyze the associated shock properties, and discuss the acceleration and delayed release processes of SEPs in this event as well as the accuracy and limitations of using EUV waves to determine the SEP acceleration and release times.


title: Inverse Problem Approach to Aberration Correction for in vivo Transcranial Imaging Based on a Sparse Representation of Contrast-enhanced Ultrasound Data

abstract: Transcranial ultrasound imaging is currently limited by attenuation and aberration induced by the skull. First used in contrast-enhanced ultrasound (CEUS), highly echoic microbubbles allowed for the development of novel imaging modalities such as ultrasound localization microscopy (ULM). Herein, we develop an inverse problem approach to aberration correction (IPAC) that leverages the sparsity of microbubble signals. We propose to use the \textit{a priori} knowledge of the medium based upon microbubble localization and wave propagation to build a forward model to link the measured signals directly to the aberration function. A standard least-squares inversion is then used to retrieve the aberration function. We first validated IPAC on simulated data of a vascular network using plane wave as well as divergent wave emissions. We then evaluated the reproducibility of IPAC \textit{in vivo} in 5 mouse brains. We showed that aberration correction improved the contrast of CEUS images by 4.6 dB. For ULM images, IPAC yielded sharper vessels, reduced vessel duplications, and improved the resolution from 21.1 $\mu$m to 18.3 $\mu$m. Aberration correction also improved hemodynamic quantification for velocity magnitude and flow direction.


title: On the Interplay Between Network Metrics and Performance of Mobile Edge Offloading

abstract: Multi-Access Edge Computing (MEC) emerged as a viable computing allocation method that facilitates offloading tasks to edge servers for efficient processing. The integration of MEC with 5G, referred to as 5G-MEC, provides real-time processing and data-driven decision-making in close proximity to the user. The 5G-MEC has gained significant recognition in task offloading as an essential tool for applications that require low delay. Nevertheless, few studies consider the dropped task ratio metric. Disregarding this metric might possibly undermine system efficiency. In this paper, the dropped task ratio and delay has been minimized in a realistic 5G-MEC task offloading scenario implemented in NS3. We utilize Mixed Integer Linear Programming (MILP) and Genetic Algorithm (GA) to optimize delay and dropped task ratio. We examined the effect of the number of tasks and users on the dropped task ratio and delay. Compared to two traditional offloading schemes, First Come First Serve (FCFS) and Shortest Task First (STF), our proposed method effectively works in 5G-MEC task offloading scenario. For MILP, the dropped task ratio and delay has been minimized by 20% and 2ms compared to GA.


title: Following your nose: Autochemotaxis and other mechanisms for spinodal decomposition in flocks

abstract: We develop the hydrodynamic theory of dry, polar ordered, active matter (``flocking") with autochemotaxis; i.e., self-propelled entities moving in the same direction, each emitting a substance which attracts the others (e.g., ants). We find that sufficiently strong autochemotaxis leads to an instability to phase separation into one high and one low density band. This is very analogous to both equilibrium phase separation, and ``motility induced phase separation" (``MIPS") and can occur in flocks due to any microscopic mechanism (e.g., sufficiently strong attractive interactions) that makes the entities cohere.


title: Deep learning and random light structuring ensure robust free-space communications

abstract: Having shown early promise, free-space optical communications (FSO) face formidable challenges in the age of information explosion. The ever-growing demand for greater channel communication capacity is one of the challenges. The inter-channel crosstalk, which severely degrades the quality of transmitted information, creates another roadblock in the way of efficient FSO implementation. Here we advance theoretically and realize experimentally a potentially high-capacity FSO protocol that enables high-fidelity transfer of an image, or set of images through a complex environment. In our protocol, we complement random light structuring at the transmitter with a deep learning image classification platform at the receiver. Multiplexing novel, independent, mutually orthogonal degrees of freedom available to structured random light can potentially significantly boost the channel communication capacity of our protocol without introducing any deleterious crosstalk. Specifically, we show how one can multiplex the degrees of freedom associated with the source coherence radius and a spatial position of a beamlet within an array of structured random beams to greatly enhance the capacity of our communication link. The superb resilience of structured random light to environmental noise, as well as extreme efficiency of deep learning networks at classifying images guarantees high-fidelity image transfer within the framework of our protocol.


title: Catastrophic Interference is Mitigated in Naturalistic Power-Law Learning Environments

abstract: Neural networks often suffer from catastrophic interference (CI): performance on previously learned tasks drops off significantly when learning a new task. This contrasts strongly with humans, who can sequentially learn new tasks without appreciably forgetting previous tasks. Prior work has explored various techniques for mitigating CI such as regularization, rehearsal, generative replay, and distillation methods. The current work takes a different approach, one guided by cognitive science research showing that in naturalistic environments, the probability of encountering a task decreases as a power-law of the time since it was last performed. We argue that a realistic evaluation of techniques for the mitigation of CI should be performed in simulated naturalistic learning environments. Thus, we evaluate the extent of mitigation of CI when training simple rehearsal-based methods in power-law environments similar to the ones humans face. Our work explores this novel rehearsal-based approach for a domain-incremental task: learning permutations in the MNIST task. We compare our rehearsal environment with other baselines to show its efficacy in promoting continual learning. Additionally, we investigate whether this environment shows forward facilitation, i.e., faster learning of later tasks. Next, we explore the robustness of our learning environment to the number of tasks, model size, and amount of data rehearsed after each task. Notably, our results show that the performance is comparable or superior to that of models trained using popular regularization methods and also to rehearsals in non-power-law environments. The benefits of this training paradigm include simplicity and the lack of a need for extra neural circuitry. In addition, because our method is orthogonal to other methods, future research can combine training in power-law environments with other continual learning mechanisms.


title: Distribution Consistency based Self-Training for Graph Neural Networks with Sparse Labels

abstract: Few-shot node classification poses a significant challenge for Graph Neural Networks (GNNs) due to insufficient supervision and potential distribution shifts between labeled and unlabeled nodes. Self-training has emerged as a widely popular framework to leverage the abundance of unlabeled data, which expands the training set by assigning pseudo-labels to selected unlabeled nodes. Efforts have been made to develop various selection strategies based on confidence, information gain, etc. However, none of these methods takes into account the distribution shift between the training and testing node sets. The pseudo-labeling step may amplify this shift and even introduce new ones, hindering the effectiveness of self-training. Therefore, in this work, we explore the potential of explicitly bridging the distribution shift between the expanded training set and test set during self-training. To this end, we propose a novel Distribution-Consistent Graph Self-Training (DC-GST) framework to identify pseudo-labeled nodes that are both informative and capable of redeeming the distribution discrepancy and formulate it as a differentiable optimization task. A distribution-shift-aware edge predictor is further adopted to augment the graph and increase the model's generalizability in assigning pseudo labels. We evaluate our proposed method on four publicly available benchmark datasets and extensive experiments demonstrate that our framework consistently outperforms state-of-the-art baselines.


title: Heegaard Floer Surgery Formula and Cosmetic Surgeries

abstract: Two Dehn surgeries on a knot are called cosmetic if they yield homeomorphic three-manifolds. We show for a certain family of null-homologous knots in any closed orientable three-manifold, if the knot admits cosmetic surgeries with a pair of positive surgery coefficients, then the coefficients are both greater than $1$. In addition, for this family of knots, we show that $1/q$ Dehn surgery for $q$ at least $2$ is not homeomorphic to the original three-manifold. The proofs of these results use the mapping cone formula for the Heegaard Floer homology of Dehn surgery in terms of the knot Floer homology of the knot; we provide a new proof of this formula for integer surgeries in $\text{Spin}^c$ structures with nontorsion first Chern class.


title: Deep Dict: Deep Learning-based Lossy Time Series Compressor for IoT Data

abstract: We propose Deep Dict, a deep learning-based lossy time series compressor designed to achieve a high compression ratio while maintaining decompression error within a predefined range. Deep Dict incorporates two essential components: the Bernoulli transformer autoencoder (BTAE) and a distortion constraint. BTAE extracts Bernoulli representations from time series data, reducing the size of the representations compared to conventional autoencoders. The distortion constraint limits the prediction error of BTAE to the desired range. Moreover, in order to address the limitations of common regression losses such as L1/L2, we introduce a novel loss function called quantized entropy loss (QEL). QEL takes into account the specific characteristics of the problem, enhancing robustness to outliers and alleviating optimization challenges. Our evaluation of Deep Dict across ten diverse time series datasets from various domains reveals that Deep Dict outperforms state-of-the-art lossy compressors in terms of compression ratio by a significant margin by up to 53.66%.


title: Analyzing and Mitigating Bias for Vulnerable Classes: Towards Balanced Representation in Dataset

abstract: The accuracy and fairness of perception systems in autonomous driving are essential, especially for vulnerable road users such as cyclists, pedestrians, and motorcyclists who face significant risks in urban driving environments. While mainstream research primarily enhances class performance metrics, the hidden traits of bias inheritance in the AI models, class imbalances and disparities within the datasets are often overlooked. Our research addresses these issues by investigating class imbalances among vulnerable road users, with a focus on analyzing class distribution, evaluating performance, and assessing bias impact. Utilizing popular CNN models and Vision Transformers (ViTs) with the nuScenes dataset, our performance evaluation indicates detection disparities for underrepresented classes. Compared to related work, we focus on metric-specific and Cost-Sensitive learning for model optimization and bias mitigation, which includes data augmentation and resampling. Using the proposed mitigation approaches, we see improvement in IoU(\%) and NDS(\%) metrics from 71.3 to 75.6 and 80.6 to 83.7 for the CNN model. Similarly, for ViT, we observe improvement in IoU and NDS metrics from 74.9 to 79.2 and 83.8 to 87.1. This research contributes to developing reliable models while enhancing inclusiveness for minority classes in datasets.


title: Spectrum invariance dilemma for nonuniformly kinematically similar systems

abstract: We unveil instances where nonautonomous linear systems manifest distinct nonuniform $\mu$-dichotomy spectra despite admitting nonuniform $(\mu, \varepsilon)$-kinematic similarity. Exploring the theoretical foundations of this lack of invariance, we discern the pivotal influence of the parameters involved in the property of nonuniform $\mu$-dichotomy such as in the notion of nonuniform $(\mu, \varepsilon)$-kinematic similarity. To effectively comprehend these dynamics, we introduce the stable and unstable optimal ratio maps, along with the $\varepsilon$-neighborhood of the nonuniform $\mu$-dichotomy spectrum. These concepts provide a framework for understanding scenarios governed by the noninvariance of the nonuniform $\mu$-dichotomy spectrum.


title: Bilinear Kloosterman sums in function fields and the distribution of irreducible polynomials

abstract: Inspired by the work of Bourgain and Garaev (2013), we provide new bounds for certain weighted bilinear Kloosterman sums in polynomial rings over a finite field. As an application, we build upon and extend some results of Sawin and Shusterman (2022). These results include bounds for exponential sums weighted by the M\"obius function and a level of distribution for irreducible polynomials beyond 1/2, with arbitrary composite modulus. Additionally, we can do better when averaging over the modulus, to give an analogue of the Bombieri-Vinogradov Theorem with a level of distribution even further beyond 1/2.


title: Auto-Calibration and Biconvex Compressive Sensing with Applications to Parallel MRI

abstract: We study an auto-calibration problem in which a transform-sparse signal is compressive-sensed by multiple sensors in parallel with unknown sensing parameters. The problem has an important application in pMRI reconstruction, where explicit coil calibrations are often difficult and costly to achieve in practice, but nevertheless a fundamental requirement for high-precision reconstructions. Most auto-calibrated strategies result in reconstruction that corresponds to solving a challenging biconvex optimization problem. We transform the auto-calibrated parallel sensing as a convex optimization problem using the idea of `lifting'. By exploiting sparsity structures in the signal and the redundancy introduced by multiple sensors, we solve a mixed-norm minimization problem to recover the underlying signal and the sensing parameters simultaneously. Robust and stable recovery guarantees are derived in the presence of noise and sparsity deficiencies in the signals. For the pMRI application, our method provides a theoretically guaranteed approach to self-calibrated parallel imaging to accelerate MRI acquisitions under appropriate assumptions. Developments in MRI are discussed, and numerical simulations using the analytical phantom and simulated coil sensitives are presented to support our theoretical results.


title: Thermonuclear explosions as Type II supernovae

abstract: We consider a binary stellar system, in which a low-mass, of 0.6 Msun, carbon-oxygen white dwarf (WD) mergers with a degenerate helium core of 0.4 Msun of a red giant. We analyse the outcome of a merger within a common envelope (CE). We predict the observational properties of the resulting transient. We find that the double detonation of the WD, being a pure thermonuclear explosion and embedded into the hydrogen-rich CE, has a light curve with the distinct plateau shape, i.e. looks like a supernova (SN) Type IIP, with a duration of about 40 days. We find five observed SNe IIP: SN 2004dy, SN 2005af, SN 2005hd, SN 2007aa, and SN 2008bu, that match the V-band light curve of our models. Hence, we show that a thermonuclear explosion within a CE might be mistakenly identified as a SN IIP, which are believed to be an outcome of a core-collapse neutrino-driven explosion of a massive star. We discuss a number of diagnostics, that may help to distinguish this kind of a thermonuclear explosion from a core-collapse SN.


title: Reconstructing the Invisible: Video Frame Restoration through Siamese Masked Conditional Variational Autoencoder

abstract: In the domain of computer vision, the restoration of missing information in video frames is a critical challenge, particularly in applications such as autonomous driving and surveillance systems. This paper introduces the Siamese Masked Conditional Variational Autoencoder (SiamMCVAE), leveraging a siamese architecture with twin encoders based on vision transformers. This innovative design enhances the model's ability to comprehend lost content by capturing intrinsic similarities between paired frames. SiamMCVAE proficiently reconstructs missing elements in masked frames, effectively addressing issues arising from camera malfunctions through variational inferences. Experimental results robustly demonstrate the model's effectiveness in restoring missing information, thus enhancing the resilience of computer vision systems. The incorporation of Siamese Vision Transformer (SiamViT) encoders in SiamMCVAE exemplifies promising potential for addressing real-world challenges in computer vision, reinforcing the adaptability of autonomous systems in dynamic environments.


title: TIPSY: Trajectory of Infalling Particles in Streamers around Young stars. Dynamical analysis of the streamers around S CrA and HL Tau

abstract: Context. Elongated trails of infalling gas, often referred to as "streamers," have recently been observed around young stellar objects (YSOs) at different evolutionary stages. This asymmetric infall of material can significantly alter star and planet formation processes, especially in the more evolved YSOs. Aims. In order to ascertain the infalling nature of observed streamer-like structures and then systematically characterize their dynamics, we developed the code TIPSY (Trajectory of Infalling Particles in Streamers around Young stars). Methods. Using TIPSY, the streamer molecular line emission is first isolated from the disk emission. Then the streamer emission, which is effectively a point cloud in three-dimensional (3D) position-position-velocity space, is simplified to a curve-like representation. The observed streamer curve is then compared to the theoretical trajectories of infalling material. The best-fit trajectories are used to constrain streamer features, such as the specific energy, the specific angular momenta, the infall timescale, and the 3D morphology. Results. We used TIPSY to fit molecular-line ALMA observations of streamers around a Class II binary system, S CrA, and a Class I/II protostar, HL Tau. Our results indicate that both of the streamers are consistent with infalling motion. TIPSY results and mass estimates suggest that S CrA and HL Tau are accreting material at a rate of $\gtrsim27$ M$_{jupiter}$ Myr$^{-1}$ and $\gtrsim5$ M$_{jupiter}$ Myr$^{-1}$, respectively, which can significantly increase the mass budget available to form planets. Conclusions. TIPSY can be used to assess whether the morphology and kinematics of observed streamers are consistent with infalling motion and to characterize their dynamics, which is crucial for quantifying their impact on the protostellar systems.

categories: astro-ph.SR astro-ph.EP astro-ph.GA astro-ph.IM


title: Inflation with Diffusion: Efficient Temporal Adaptation for Text-to-Video Super-Resolution

abstract: We propose an efficient diffusion-based text-to-video super-resolution (SR) tuning approach that leverages the readily learned capacity of pixel level image diffusion model to capture spatial information for video generation. To accomplish this goal, we design an efficient architecture by inflating the weightings of the text-to-image SR model into our video generation framework. Additionally, we incorporate a temporal adapter to ensure temporal coherence across video frames. We investigate different tuning approaches based on our inflated architecture and report trade-offs between computational costs and super-resolution quality. Empirical evaluation, both quantitative and qualitative, on the Shutterstock video dataset, demonstrates that our approach is able to perform text-to-video SR generation with good visual quality and temporal consistency. To evaluate temporal coherence, we also present visualizations in video format in https://drive.google.com/drive/folders/1YVc-KMSJqOrEUdQWVaI-Yfu8Vsfu_1aO?usp=sharing .


title: Differentially Private and Adversarially Robust Machine Learning: An Empirical Evaluation

abstract: Malicious adversaries can attack machine learning models to infer sensitive information or damage the system by launching a series of evasion attacks. Although various work addresses privacy and security concerns, they focus on individual defenses, but in practice, models may undergo simultaneous attacks. This study explores the combination of adversarial training and differentially private training to defend against simultaneous attacks. While differentially-private adversarial training, as presented in DP-Adv, outperforms the other state-of-the-art methods in performance, it lacks formal privacy guarantees and empirical validation. Thus, in this work, we benchmark the performance of this technique using a membership inference attack and empirically show that the resulting approach is as private as non-robust private models. This work also highlights the need to explore privacy guarantees in dynamic training paradigms.


title: Stable semivortex gap solitons in a spin-orbit-coupled Fermi gas

abstract: We demonstrate the existence of semivortex (SV) solitons, with vorticities $0$ and $1$ in the two components, in a two-dimensional (2D) fermionic spinor system under the action of the Rashba-type spin-orbit coupling in the combination with the Zeeman splitting (ZS). In the ``heavy-atom" approximation, which was previously elaborated for the bosonic system, the usual kinetic energy is neglected, which gives rise to a linear spectrum with a bandgap. The model includes the effective Pauli self-repulsion with power $7/3$, as produced by the density-functional theory of Fermi superfluids. In the general case, the inter-component contact repulsion is included too. We construct a family of gap solitons of the SV type populating the spectral bandgap. A stability region is identified for the SV solitons, by means of systematic simulations, in the parameter plane of the cross-repulsion strength and chemical potential. The stability region agrees with the prediction of the anti-Vakhitov-Kolokolov criterion, which is a relevant necessary stability condition for systems with self-repulsive nonlinearities. We also test the stability of the SV solitons against a sudden change of the ZS strength, which initiates robust oscillations in the spin state of the soliton due to transfer of particles between the system's components.


title: Learning High-Quality and General-Purpose Phrase Representations

abstract: Phrase representations play an important role in data science and natural language processing, benefiting various tasks like Entity Alignment, Record Linkage, Fuzzy Joins, and Paraphrase Classification. The current state-of-the-art method involves fine-tuning pre-trained language models for phrasal embeddings using contrastive learning. However, we have identified areas for improvement. First, these pre-trained models tend to be unnecessarily complex and require to be pre-trained on a corpus with context sentences. Second, leveraging the phrase type and morphology gives phrase representations that are both more precise and more flexible. We propose an improved framework to learn phrase representations in a context-free fashion. The framework employs phrase type classification as an auxiliary task and incorporates character-level information more effectively into the phrase representation. Furthermore, we design three granularities of data augmentation to increase the diversity of training samples. Our experiments across a wide range of tasks show that our approach generates superior phrase embeddings compared to previous methods while requiring a smaller model size. [PEARL-small]: https://huggingface.co/Lihuchen/pearl_small; [PEARL-base]: https://huggingface.co/Lihuchen/pearl_base; [Code and Dataset]: https://github.com/tigerchen52/PEARL


title: Separating a particle's mass from its momentum

abstract: The Quantum Cheshire Cat experiment showed that when weak measurements are performed on pre- and post-selected system, the counterintuitive result has been obtained that a neutron is measured to be in one place without its spin, and its spin is measured to be in another place without the neutron. A generalization of this effect is presented with a massive particle whose mass is measured to be in one place with no momentum, while the momentum is measured to be in another place without the mass. The new result applies to any massive particle, independent of its spin or charge. A gedanken experiment which illustrates this effect is presented using a nested pair of Mach-Zehnder interferometers, but with some of the mirrors and beam splitters moving relative to the laboratory frame. The analysis of this experiment using the counterparticle ontology of Aharonov et al. is also given.


title: The Session Abstract Machine (Extended Version)

abstract: We build on a fine-grained analysis of session-based interaction as provided by the linear logic typing disciplines to introduce the SAM, an abstract machine for mechanically executing session-typed processes. A remarkable feature of the SAM's design is its ability to naturally segregate and coordinate sequential with concurrent session behaviours. In particular, implicitly sequential parts of session programs may be efficiently executed by deterministic sequential application of SAM transitions, amenable to compilation, and without concurrent synchronisation mechanisms. We provide an intuitive discussion of the SAM structure and its underlying design, and state and prove its correctness for executing programs in a session calculus corresponding to full classical linear logic CLL. We also discuss extensions and applications of the SAM to the execution of linear and session-based programming languages.


title: Thermodynamics of the Weyl Geometric Gravity Black Holes

abstract: We consider the thermodynamic properties of an exact black hole solution obtained in Weyl geometric gravity theory, by considering the simplest conformally invariant action, constructed from the square of the Weyl scalar, and the strength of the Weyl vector only. The action is linearized in the Weyl scalar by introducing an auxiliary scalar field, and thus it can be reformulated as a scalar-vector-tensor theory in a Riemann space, in the presence of a nonminimal coupling between the Ricci scalar and the scalar field. In static spherical symmetry, this theory admits an exact black hole solution, which generalizes the standard Schwarzschild-de Sitter solution through the presence of two new terms in the metric, having a linear and a quadratic dependence on the radial coordinate, respectively. The solution is obtained by assuming that the Weyl vector has only a radial component. After studying the locations of the event and cosmological horizons of the Weyl geometric black hole, we investigate in detail the thermodynamical (quantum properties) of this type of black holes, by considering the Hawking temperature, the volume, the entropy, specific heat and the Helmholtz and Gibbs energy functions on both the event and the cosmological horizons. The Weyl geometric black holes have thermodynamic properties that clearly differentiate them from similar solutions of other modified gravity theories. The obtained results may lead to the possibility of a better understanding of the properties of the black holes in alternative gravity, and of the relevance of the thermodynamic aspects in black hole physics.


title: AGADIR: Towards Array-Geometry Agnostic Directional Speech Recognition

abstract: Wearable devices like smart glasses are approaching the compute capability to seamlessly generate real-time closed captions for live conversations. We build on our recently introduced directional Automatic Speech Recognition (ASR) for smart glasses that have microphone arrays, which fuses multi-channel ASR with serialized output training, for wearer/conversation-partner disambiguation as well as suppression of cross-talk speech from non-target directions and noise. When ASR work is part of a broader system-development process, one may be faced with changes to microphone geometries as system development progresses. This paper aims to make multi-channel ASR insensitive to limited variations of microphone-array geometry. We show that a model trained on multiple similar geometries is largely agnostic and generalizes well to new geometries, as long as they are not too different. Furthermore, training the model this way improves accuracy for seen geometries by 15 to 28\% relative. Lastly, we refine the beamforming by a novel Non-Linearly Constrained Minimum Variance criterion.


title: Power System Quasi-Steady State Estimation: An Echo State Network Approach

abstract: The operating point of a power system may change due to slow enough variations of the power injections. Rotating machines in the bulk system can absorb smooth changes in the dynamic states of the system. In this context, we present a novel reservoir computing (RC) method for estimating power system quasi-steady states. By exploiting the behavior of an RC-based recurrent neural network, the proposed method can capture the inherent nonlinearities in the power flow equations. Our approach is compared with traditional methods, including least squares, Kalman filtering, and particle filtering. We demonstrate the estimation performance for all the methods under normal operation and sudden load change. Extensive experiments tested on the standard IEEE 14-bus and 300-bus cases corroborate the merit of the proposed approach.


title: Observation of period-doubling Bloch oscillations

abstract: Bloch oscillations refer to the periodic oscillation of a wavepacket in a lattice under a constant force. Typically, the oscillation has a fundamental period that corresponds to the wavepacket traversing the first Brillouin zone once. Here we demonstrate, both theoretically and experimentally, the optical Bloch oscillations where the wavepacket must traverse the first Brillouin zone twice to complete a full cycle, resulting in a period of oscillation that is two times longer than that of usual Bloch oscillations. The unusual Bloch oscillations arise due to the band crossing of valley-Hall topological edge states at the Brillouin boundary for zigzag domain walls between two staggered honeycomb lattices with inverted on-site energy detuning, which are protected by the glide-reflection symmetry of the underlying structures. Our work sheds light on the direct detection of band crossings resulting from intrinsic symmetries that extend beyond the fundamental translational symmetry in topological systems.


title: A Fluctuation-Response Relation as a Probe of Long-Range Correlations in Non-Equilibrium Quantum and Classical Fluids

abstract: The absence of a simple fluctuation-dissipation theorem is a major obstacle for studying systems that are not in thermodynamic equilibrium. We show that for a fluid in a non-equilibrium steady state characterized by a constant temperature gradient the commutator correlation functions are still related to response functions; however, the relation is to the bilinear response of products of two observables, rather than to a single linear response function as is the case in equilibrium. This modified fluctuation-response relation holds for both quantum and classical systems. It is both motivated and informed by the long-range correlations that exist in such a steady state and allows for probing them via response experiments. This is of particular interest in quantum fluids, where the direct observation of fluctuations by light scattering would be difficult. In classical fluids it is known that the coupling of the temperature gradient to the diffusive shear velocity leads to correlations of various observables, in particular temperature fluctuations, that do not decay as a function of distance, but rather extend over the entire system. We investigate the nature of these correlations in a fermionic quantum fluid and show that the crucial coupling between the temperature gradient and velocity fluctuations is the same as in the classical case. Accordingly, the nature of the long-ranged correlations in the hydrodynamic regime also is the same. However, as one enters the collisionless regime in the low-temperature limit the nature of the velocity fluctuations changes: they become ballistic rather than diffusive. As a result, correlations of the temperature and other observables are still singular in the long-wavelength limit, but the singularity is weaker than in the hydrodynamic regime.


title: Can Large Language Model Summarizers Adapt to Diverse Scientific Communication Goals?

abstract: In this work, we investigate the controllability of large language models (LLMs) on scientific summarization tasks. We identify key stylistic and content coverage factors that characterize different types of summaries such as paper reviews, abstracts, and lay summaries. By controlling stylistic features, we find that non-fine-tuned LLMs outperform humans in the MuP review generation task, both in terms of similarity to reference summaries and human preferences. Also, we show that we can improve the controllability of LLMs with keyword-based classifier-free guidance (CFG) while achieving lexical overlap comparable to strong fine-tuned baselines on arXiv and PubMed. However, our results also indicate that LLMs cannot consistently generate long summaries with more than 8 sentences. Furthermore, these models exhibit limited capacity to produce highly abstractive lay summaries. Although LLMs demonstrate strong generic summarization competency, sophisticated content control without costly fine-tuning remains an open problem for domain-specific applications.


title: DataViz3D: An Novel Method Leveraging Online Holographic Modeling for Extensive Dataset Preprocessing and Visualization

abstract: DataViz3D is an innovative online software that transforms complex datasets into interactive 3D spatial models using holographic technology. This tool enables users to generate scatter plot within a 3D space, accurately mapped to the XYZ coordinates of the dataset, providing a vivid and intuitive understanding of the spatial relationships inherent in the data. DataViz3D's user friendly interface makes advanced 3D modeling and holographic visualization accessible to a wide range of users, fostering new opportunities for collaborative research and education across various disciplines.


title: SSR: Spatial Sequential Hybrid Architecture for Latency Throughput Tradeoff in Transformer Acceleration

abstract: With the increase in the computation intensity of the chip, the mismatch between computation layer shapes and the available computation resource significantly limits the utilization of the chip. Driven by this observation, prior works discuss spatial accelerators or dataflow architecture to maximize the throughput. However, using spatial accelerators could potentially increase the execution latency. In this work, we first systematically investigate two execution models: (1) sequentially (temporally) launch one monolithic accelerator, and (2) spatially launch multiple accelerators. From the observations, we find that there is a latency throughput tradeoff between these two execution models, and combining these two strategies together can give us a more efficient latency throughput Pareto front. To achieve this, we propose spatial sequential architecture (SSR) and SSR design automation framework to explore both strategies together when deploying deep learning inference. We use the 7nm AMD Versal ACAP VCK190 board to implement SSR accelerators for four end-to-end transformer-based deep learning models. SSR achieves average throughput gains of 2.53x, 35.71x, and 14.20x under different batch sizes compared to the 8nm Nvidia GPU A10G, 16nm AMD FPGAs ZCU102, and U250. The average energy efficiency gains are 8.51x, 6.75x, and 21.22x, respectively. Compared with the sequential-only solution and spatial-only solution on VCK190, our spatial-sequential-hybrid solutions achieve higher throughput under the same latency requirement and lower latency under the same throughput requirement. We also use SSR analytical models to demonstrate how to use SSR to optimize solutions on other computing platforms, e.g., 14nm Intel Stratix 10 NX.


title: Hazard resistance-based spatiotemporal risk analysis for distribution network outages during hurricanes

abstract: Blackouts in recent decades show an increasing prevalence of power outages due to extreme weather events such as hurricanes. Precisely assessing the spatiotemporal outages in distribution networks, the most vulnerable part of power systems, is critical to enhance power system resilience. The Sequential Monte Carlo (SMC) simulation method is widely used for spatiotemporal risk analysis of power systems during extreme weather hazards. However, it is found here that the SMC method can lead to large errors by directly applying the fragility function or failure probability of system components in time-sequential analysis, particularly overestimating damages under evolving hazards with high-frequency sampling. To address this issue, a novel hazard resistance-based spatiotemporal risk analysis (HRSRA) method is proposed. This method converts the time-varying failure probability of a component into a hazard resistance as a time-invariant value during the simulation of evolving hazards. The proposed HRSRA provides an adaptive framework for incorporating high-spatiotemporal-resolution meteorology models into power outage simulations. By leveraging the geographic information system data of the power system and a physics-based hurricane wind field model, the superiority of the proposed method is validated using real-world time-series power outage data from Puerto Rico during Hurricane Fiona 2022.


title: M3BUNet: Mobile Mean Max UNet for Pancreas Segmentation on CT-Scans

abstract: Segmenting organs in CT scan images is a necessary process for multiple downstream medical image analysis tasks. Currently, manual CT scan segmentation by radiologists is prevalent, especially for organs like the pancreas, which requires a high level of domain expertise for reliable segmentation due to factors like small organ size, occlusion, and varying shapes. When resorting to automated pancreas segmentation, these factors translate to limited reliable labeled data to train effective segmentation models. Consequently, the performance of contemporary pancreas segmentation models is still not within acceptable ranges. To improve that, we propose M3BUNet, a fusion of MobileNet and U-Net neural networks, equipped with a novel Mean-Max (MM) attention that operates in two stages to gradually segment pancreas CT images from coarse to fine with mask guidance for object detection. This approach empowers the network to surpass segmentation performance achieved by similar network architectures and achieve results that are on par with complex state-of-the-art methods, all while maintaining a low parameter count. Additionally, we introduce external contour segmentation as a preprocessing step for the coarse stage to assist in the segmentation process through image standardization. For the fine segmentation stage, we found that applying a wavelet decomposition filter to create multi-input images enhances pancreas segmentation performance. We extensively evaluate our approach on the widely known NIH pancreas dataset and MSD pancreas dataset. Our approach demonstrates a considerable performance improvement, achieving an average Dice Similarity Coefficient (DSC) value of up to 89.53% and an Intersection Over Union (IOU) score of up to 81.16 for the NIH pancreas dataset, and 88.60% DSC and 79.90% IOU for the MSD Pancreas dataset.


title: Generalized Nested Rollout Policy Adaptation with Limited Repetitions

abstract: Generalized Nested Rollout Policy Adaptation (GNRPA) is a Monte Carlo search algorithm for optimizing a sequence of choices. We propose to improve on GNRPA by avoiding too deterministic policies that find again and again the same sequence of choices. We do so by limiting the number of repetitions of the best sequence found at a given level. Experiments show that it improves the algorithm for three different combinatorial problems: Inverse RNA Folding, the Traveling Salesman Problem with Time Windows and the Weak Schur problem.


title: Composition dependence of bulk properties in the Co-intercalated transition-metal dichalcogenide Co$_{1/3}$TaS$_2$

abstract: Spontaneous Hall conductivity has recently been reported in the triangular lattice antiferromagnet Co$_{1/3}$TaS$_2$ under a zero magnetic field. This phenomenon originates from the distinctive noncoplanar triple-Q magnetic ground state, possessing uniform real-space Berry curvature characterized by scalar spin chirality. We investigated the physical properties of Co$_{1/3}$TaS$_2$ by judiciously controlling the composition, revealing a drastic change in its bulk properties, even by slight variations in cobalt composition, despite the same crystal structure. For $0.299 < x < 0.325$, Co$_x$TaS$_2$ keeps all the characteristics of the ground state consistent with the previous studies -- two antiferromagnetic phase transitions at $T_{N1}$ and $T_{N2} (< T_{N1})$, a large spontaneous Hall conductivity (${\sigma}_{xy} (H=0)$), and a weak ferromagnetic moment along the c-axis. However, samples with $x > 0.330$ exhibit distinct bulk properties, including the absence of both ${\sigma}_{xy} (H=0)$ and the weak ferromagnetic moment. Our neutron diffraction data reveal that Co$_x$TaS$_2$ with $x > 0.330$ develops coplanar helical magnetic order with $q_{m1} = (1/3, 0, 0)$. This is entirely different from what has been seen in $x < 0.325$, explaining the observed composition dependence.


title: Semantic Analysis of Macro Usage for Portability

abstract: C is an unsafe language. Researchers have been developing tools to port C to safer languages such as Rust, Checked C, or Go. Existing tools, however, resort to preprocessing the source file first, then porting the resulting code, leaving barely recognizable code that loses macro abstractions. To preserve macro usage, porting tools need analyses that understand macro behavior to port to equivalent constructs. But macro semantics differ from typical functions, precluding simple syntactic transformations to port them. We introduce the first comprehensive framework for analyzing the portability of macro usage. We decompose macro behavior into 26 fine-grained properties and implement a program analysis tool, called Maki, that identifies them in real-world code with 94% accuracy. We apply Maki to 21 programs containing a total of 86,199 macro definitions. We found that real-world macros are much more portable than previously known. More than a third (37%) are easy-to-port, and Maki provides hints for porting more complicated macros. We find, on average, 2x more easy-to-port macros and up to 7x more in the best case compared to prior work. Guided by Maki's output, we found and hand-ported macros in four real-world programs. We submitted patches to Linux maintainers that transform eleven macros, nine of which have been accepted.


title: Verification under TSO with an infinite Data Domain

abstract: We examine verification of concurrent programs under the total store ordering (TSO) semantics used by the x86 architecture. In our model, threads manipulate variables over infinite domains and they can check whether variables are related for a range of relations. We show that, in general, the control state reachability problem is undecidable. This result is derived through a reduction from the state reachability problem of lossy channel systems with data (which is known to be undecidable). In the light of this undecidability, we turn our attention to a more tractable variant of the reachability problem. Specifically, we study context bounded runs, which provide an under-approximation of the program behavior by limiting the possible interactions between processes. A run consists of a number of contexts, with each context representing a sequence of steps where a only single designated thread is active. We prove that the control state reachability problem under bounded context switching is PSPACE complete.


title: Nanoscale Conducting and Insulating Domains on YbB$_6$

abstract: YbB$_6$ is a predicted topological insulator, with experimental evidence for conducting surface states of yet-unproven origin. However, its lack of a natural cleavage plane, and resultant surface-dependent polarity, has obscured its study. We use scanning tunneling microscopy to image the cleaved surface of YbB$_6$, exhibiting several coexisting terminations with distinct atomic structures. Our spectroscopic measurements show band-bending between the terminations, resulting in both conducting and fully-gapped regions. In the conductive regions, we observe spectral peaks that are suggestive of van Hove singularities arising from Rashba spin-split quantum well states. The insulating regions rule out the possibility that YbB$_6$ is a strong topological insulator, while the spin-polarized conducting regions suggest possible utility for spintronic devices.


title: Treatment and Aging Studies of GaAs(111)B Substrates for van der Waals Chalcogenide Film Growth

abstract: GaAs(111)B is a semiconductor substrate widely used in research and commercial fields due to its low cost, mature synthesis technology, and excellent properties for manufacturing electronic devices. It is not only used to grow three-dimensional (3D) strongly-bonded materials, but has also been used as a substrate for layered, van der Waals (vdW)-bonded chalcogenide film growth. However, GaAs(111)B wafers cannot be directly used for growing epitaxial vdW chalcogenide films for two reasons: (1) the GaAs surface has a substantial number of dangling bonds that need to be passivated for vdW layers growth; (2) the substrate surface is covered with a thin epi-ready oxide layer which must be removed before film growth. In this paper, we optimize the method for deoxidizing GaAs(111)B substrates under a Se overpressure and successfully create a smooth, deoxidized, and passivated substrate for subsequent growth of vdW chalcogenide materials. We demonstrate the benefits of this method for the growth of vdW chalcogenide thin films using GaSe as a representative of vdW chalcogenides. In addition, we find that severely aged substrates have difficulty maintaining a smooth surface during the deoxidation and passivation process and cause GaSe crystals to nucleate in random shapes and orientations. We describe a method using water droplet testing to determine the age of the substrate. Finally, X-ray photoelectron spectroscopy (XPS) characterization reveals that the natural aging of GaAs(111)B in the air results in an increase in surface oxides, Ga2O3 and As2O3, while exposure to ultraviolet (UV)-ozone not only enhances the contents of these two oxides but also generates a new oxide, As2O5. Our research contributes to expanding the compatibility of GaAs(111)B with diverse growth materials and the production of high-quality heterostructure devices.


title: Determining hyperelastic properties of the constituents of the mussel byssus system

abstract: The mussel byssus system, comprising of the adhesive plaque, distal thread, and proximal thread, plays a crucial role in the survival of marine mussels amongst ocean waves. Whilst recent research has explored the stress-strain behaviour of the distal thread and proximal thread through experimental approaches, little attention has been paid to the potential analytical or modelling methods within the current literature. In this work, analytical and finite element (FE) inverse methods were employed for the first time to identify the hyperelastic mechanical properties of both the plaque portion and the proximal thread. The results have demonstrated the feasibility of applied inverse methods in determining the mechanical properties of the constituents of the mussel byssus system, with the residual sum of squares of 0.0004 ($N^2$) and 0.01 ($mm^2$) for the proximal thread and the plaque portion, respectively. By leveraging mechanical and optical tests, this inverse methodology offers a simple and powerful means to anticipate the material properties for different portions of the mussel byssus system, thus providing insights for mimetic applications in engineering and materials design.


title: Shifted-prime divisors

abstract: Let $\omega^*(n)$ denote the number of divisors of $n$ that are shifted primes, that is, the number of divisors of $n$ of the form $p-1$, with $p$ prime. Studied by Prachar in an influential paper from 70 years ago, the higher moments of $\omega^*(n)$ are still somewhat a mystery. This paper addresses these higher moments and considers other related problems.


title: Understanding Learning through the Lens of Dynamical Invariants

abstract: This paper proposes a novel perspective on learning, positing it as the pursuit of dynamical invariants -- data combinations that remain constant or exhibit minimal change over time as a system evolves. This concept is underpinned by both informational and physical principles, rooted in the inherent properties of these invariants. Firstly, their stability makes them ideal for memorization and integration into associative networks, forming the basis of our knowledge structures. Secondly, the predictability of these stable invariants makes them valuable sources of usable energy, quantifiable as kTln2 per bit of accurately predicted information. This energy can be harnessed to explore new transformations, rendering learning systems energetically autonomous and increasingly effective. Such systems are driven to continuously seek new data invariants as energy sources. The paper further explores several meta-architectures of autonomous, self-propelled learning agents that utilize predictable information patterns as a source of usable energy.


title: Post-Processing with Projection and Rescaling Algorithms for Semidefinite Programming

abstract: We propose the algorithm that solves the symmetric cone programs (SCPs) by iteratively calling the projection and rescaling methods the algorithms for solving exceptional cases of SCP. Although our algorithm can solve SCPs by itself, we propose it intending to use it as a post-processing step for interior point methods since it can solve the problems more efficiently by using an approximate optimal (interior feasible) solution. We also conduct numerical experiments to see the numerical performance of the proposed algorithm when used as a post-processing step of the solvers implementing interior point methods, using several instances where the symmetric cone is given by a direct product of positive semidefinite cones. Numerical results show that our algorithm can obtain approximate optimal solutions more accurately than the solvers. When at least one of the primal and dual problems did not have an interior feasible solution, the performance of our algorithm was slightly reduced in terms of optimality. However, our algorithm stably returned more accurate solutions than the solvers when the primal and dual problems had interior feasible solutions.


title: Dust-gas dynamics driven by the streaming instability with various pressure gradients

abstract: The streaming instability, a promising mechanism to drive planetesimal formation in dusty protoplanetary discs, relies on aerodynamic drag naturally induced by the background radial pressure gradient. This gradient should vary in disks, but its effect on the streaming instability has not been sufficiently explored. For this purpose, we use numerical simulations of an unstratified disc to study the non-linear saturation of the streaming instability with mono-disperse dust particles and survey a wide range of gradients for two distinct combinations of the particle stopping time and the dust-to-gas mass ratio. As the gradient increases, we find most kinematic and morphological properties increase but not always in linear proportion. The density distributions of tightly-coupled particles are insensitive to the gradient whereas marginally-coupled particles tend to concentrate by more than an order of magnitude as the gradient decreases. Moreover, dust-gas vortices for tightly-coupled particles shrink as the gradient decreases, and we note higher resolutions are required to trigger the instability in this case. In addition, we find various properties at saturation that depend on the gradient may be observable and may help reconstruct models of observed discs dominated by streaming turbulence. In general, increased dust diffusion from stronger gradients can lower the concentration of dust filaments and can explain the higher solid abundances needed to trigger strong particle clumping and the reduced planetesimal formation efficiency previously found in vertically-stratified simulations.


title: Learning a Prior for Monte Carlo Search by Replaying Solutions to Combinatorial Problems

abstract: Monte Carlo Search gives excellent results in multiple difficult combinatorial problems. Using a prior to perform non uniform playouts during the search improves a lot the results compared to uniform playouts. Handmade heuristics tailored to the combinatorial problem are often used as priors. We propose a method to automatically compute a prior. It uses statistics on solved problems. It is a simple and general method that incurs no computational cost at playout time and that brings large performance gains. The method is applied to three difficult combinatorial problems: Latin Square Completion, Kakuro, and Inverse RNA Folding.