title: Extracting Koopman Operators for Prediction and Control of Non-linear Dynamics Using Two-stage Learning and Oblique Projections

abstract: The Koopman operator framework provides a perspective that non-linear dynamics can be described through the lens of linear operators acting on function spaces. As the framework naturally yields linear embedding models, there have been extensive efforts to utilize it for control, where linear controller designs in the embedded space can be applied to control possibly nonlinear dynamics. However, it is challenging to successfully deploy this modeling procedure in a wide range of applications. In this work, some of the fundamental limitations of linear embedding models are addressed. We show a necessary condition for a linear embedding model to achieve zero modeling error, highlighting a trade-off relation between the model expressivity and a restriction on the model structure to allow the use of linear systems theories for nonlinear dynamics. To address these limitations, neural network-based modeling is proposed based on linear embedding with oblique projection, which is derived from a weak formulation of projection-based linear operator learning. We train the proposed model using a two-stage learning procedure, wherein the features and operators are initialized with orthogonal projection, followed by the main training process in which test functions characterizing the oblique projection are learned from data. The first stage achieves an optimality ensured by the orthogonal projection and the second stage improves the generalizability to various tasks by optimizing the model with the oblique projection. We demonstrate the effectiveness of the proposed method over other data-driven modeling methods by providing comprehensive numerical evaluations where four tasks are considered targeting three different systems.


title: A Heuristic Approach for Dual Expert/End-User Evaluation of Guidance in Visual Analytics

abstract: Guidance can support users during the exploration and analysis of complex data. Previous research focused on characterizing the theoretical aspects of guidance in visual analytics and implementing guidance in different scenarios. However, the evaluation of guidance-enhanced visual analytics solutions remains an open research question. We tackle this question by introducing and validating a practical evaluation methodology for guidance in visual analytics. We identify eight quality criteria to be fulfilled and collect expert feedback on their validity. To facilitate actual evaluation studies, we derive two sets of heuristics. The first set targets heuristic evaluations conducted by expert evaluators. The second set facilitates end-user studies where participants actually use a guidance-enhanced system. By following such a dual approach, the different quality criteria of guidance can be examined from two different perspectives, enhancing the overall value of evaluation studies. To test the practical utility of our methodology, we employ it in two studies to gain insight into the quality of two guidance-enhanced visual analytics solutions, one being a work-in-progress research prototype, and the other being a publicly available visualization recommender system. Based on these two evaluations, we derive good practices for conducting evaluations of guidance in visual analytics and identify pitfalls to be avoided during such studies.


title: Interaction-Aware Trajectory Prediction and Planning in Dense Highway Traffic using Distributed Model Predictive Control

abstract: In this paper we treat optimal trajectory planning for an autonomous vehicle (AV) operating in dense traffic, where vehicles closely interact with each other. To tackle this problem, we present a novel framework that couples trajectory prediction and planning in multi-agent environments, using distributed model predictive control. A demonstration of our framework is presented in simulation, employing a trajectory planner using non-linear model predictive control. We analyze performance and convergence of our framework, subject to different prediction errors. The results indicate that the obtained locally optimal solutions are improved, compared with decoupled prediction and planning.


title: Are there graphs whose shortest path structure requires large edge weights?

abstract: The aspect ratio of a (positively) weighted graph $G$ is the ratio of its maximum edge weight to its minimum edge weight. Aspect ratio commonly arises as a complexity measure in graph algorithms, especially related to the computation of shortest paths. Popular paradigms are to interpolate between the settings of weighted and unweighted input graphs by incurring a dependence on aspect ratio, or by simply restricting attention to input graphs of low aspect ratio. This paper studies the effects of these paradigms, investigating whether graphs of low aspect ratio have more structured shortest paths than graphs in general. In particular, we raise the question of whether one can generally take a graph of large aspect ratio and reweight its edges, to obtain a graph with bounded aspect ratio while preserving the structure of its shortest paths. Our findings are: - Every weighted DAG on $n$ nodes has a shortest-paths preserving graph of aspect ratio $O(n)$. A simple lower bound shows that this is tight. - The previous result does not extend to general directed or undirected graphs; in fact, the answer turns out to be exponential in these settings. In particular, we construct directed and undirected $n$-node graphs for which any shortest-paths preserving graph has aspect ratio $2^{\Omega(n)}$. We also consider the approximate version of this problem, where the goal is for shortest paths in $H$ to correspond to approximate shortest paths in $G$. We show that our exponential lower bounds extend even to this setting. We also show that in a closely related model, where approximate shortest paths in $H$ must also correspond to approximate shortest paths in $G$, even DAGs require exponential aspect ratio.


title: On the dynamics of the boundary vorticity for incompressible viscous flows

abstract: The dynamical equation of the boundary vorticity has been obtained, which shows that the viscosity at a solid wall is doubled as if the fluid became more viscous at the boundary. For certain viscous flows the boundary vorticity can be determined via the dynamical equation up to bounded errors for all time, without the need of knowing the details of the main stream flows. We then validate the dynamical equation by carrying out stochastic direct numerical simulations (i.e. the random vortex method for wall-bounded incompressible viscous flows) by two different means of updating the boundary vorticity, one using mollifiers of the Biot-Savart singular integral kernel, another using the dynamical equations.

categories: physics.flu-dyn cs.NA math.AP math.NA math.PR


title: Lexical Diversity in Kinship Across Languages and Dialects

abstract: Languages are known to describe the world in diverse ways. Across lexicons, diversity is pervasive, appearing through phenomena such as lexical gaps and untranslatability. However, in computational resources, such as multilingual lexical databases, diversity is hardly ever represented. In this paper, we introduce a method to enrich computational lexicons with content relating to linguistic diversity. The method is verified through two large-scale case studies on kinship terminology, a domain known to be diverse across languages and cultures: one case study deals with seven Arabic dialects, while the other one with three Indonesian languages. Our results, made available as browseable and downloadable computational resources, extend prior linguistics research on kinship terminology, and provide insight into the extent of diversity even within linguistically and culturally close communities.


title: Data-Side Efficiencies for Lightweight Convolutional Neural Networks

abstract: We examine how the choice of data-side attributes for two important visual tasks of image classification and object detection can aid in the choice or design of lightweight convolutional neural networks. We show by experimentation how four data attributes - number of classes, object color, image resolution, and object scale affect neural network model size and efficiency. Intra- and inter-class similarity metrics, based on metric learning, are defined to guide the evaluation of these attributes toward achieving lightweight models. Evaluations made using these metrics are shown to require 30x less computation than running full inference tests. We provide, as an example, applying the metrics and methods to choose a lightweight model for a robot path planning application and achieve computation reduction of 66% and accuracy gain of 3.5% over the pre-method model.


title: Classification of discrete weak KAM solutions on linearly repetitive quasi-periodic sets

abstract: In discrete schemes, weak KAM solutions may be interpreted as approximations of correctors for some Hamilton-Jacobi equations in the periodic setting. It is known that correctors may not exist in the almost periodic setting. We show the existence of discrete weak KAM solutions for non-degenerate and weakly twist interactions in general. Furthermore, assuming equivariance with respect to a linearly repetitive quasi-periodic set, we completely classify all possible types of weak KAM solutions.


title: Complex motion of steerable vesicular robots filled with active colloidal rods

abstract: While the collective motion of active particles has been studied extensively, effective strategies to navigate particle swarms without external guidance remain elusive. We introduce a method to control the trajectories of two-dimensional swarms of active rod-like particles by confining the particles to rigid bounding membranes (vesicles) with non-uniform curvature. We show that the propelling agents spontaneously form clusters at the membrane wall and collectively propel the vesicle, turning it into an active superstructure. To further guide the motion of the superstructure, we add discontinuous features to the rigid membrane boundary in the form of a kinked tip, which acts as a steering component to direct the motion of the vesicle. We report that the system's geometrical and material properties, such as the aspect ratio and Peclet number of the active rods as well as the kink angle and flexibility of the membrane, determine the stacking of active particles close to the kinked confinement and induce a diverse set of dynamical behaviors of the superstructure, including linear and circular motion both in the direction of, and opposite to, the kink. From a systematic study of these various behaviors, we design vesicles with switchable and reversible locomotions by tuning the confinement parameters. The observed phenomena suggest a promising mechanism for particle transportation and could be used as a basic element to navigate active matter through complex and tortuous environments.


title: Elastic shakedown and roughness evolution in repeated elastic-plastic contact

abstract: Surface roughness emerges naturally during mechanical removal of material, fracture, chemical deposition, plastic deformation, indentation, and other processes. Here, we use continuum simulations to show how roughness which is neither Gaussian nor self-affine emerges from repeated elastic-plastic contact of rough and rigid surfaces on a flat elastic-plastic substrate. Roughness profiles change with each contact cycle, but appear to approach a steady-state long before the substrate stops deforming plastically and has hence "shaken-down" elastically. We propose a simple dynamic collapse for the emerging power-spectral density, which shows that the multi-scale nature of the roughness is encoded in the first few indentations. In contrast to macroscopic roughness parameters, roughness at small scales and the skewness of the height distribution of the resulting roughness do not show a steady-state, with the latter vanishing asymptotically with contact cycle.


title: Spatial and Spatiotemporal Volatility Models: A Review

abstract: Spatial and spatiotemporal volatility models are a class of models designed to capture spatial dependence in the volatility of spatial and spatiotemporal data. Spatial dependence in the volatility may arise due to spatial spillovers among locations; that is, if two locations are in close proximity, they can exhibit similar volatilities. In this paper, we aim to provide a comprehensive review of the recent literature on spatial and spatiotemporal volatility models. We first briefly review time series volatility models and their multivariate extensions to motivate their spatial and spatiotemporal counterparts. We then review various spatial and spatiotemporal volatility specifications proposed in the literature along with their underlying motivations and estimation strategies. Through this analysis, we effectively compare all models and provide practical recommendations for their appropriate usage. We highlight possible extensions and conclude by outlining directions for future research.


title: ZeroLeak: Using LLMs for Scalable and Cost Effective Side-Channel Patching

abstract: Security critical software, e.g., OpenSSL, comes with numerous side-channel leakages left unpatched due to a lack of resources or experts. The situation will only worsen as the pace of code development accelerates, with developers relying on Large Language Models (LLMs) to automatically generate code. In this work, we explore the use of LLMs in generating patches for vulnerable code with microarchitectural side-channel leakages. For this, we investigate the generative abilities of powerful LLMs by carefully crafting prompts following a zero-shot learning approach. All generated code is dynamically analyzed by leakage detection tools, which are capable of pinpointing information leakage at the instruction level leaked either from secret dependent accesses or branches or vulnerable Spectre gadgets, respectively. Carefully crafted prompts are used to generate candidate replacements for vulnerable code, which are then analyzed for correctness and for leakage resilience. From a cost/performance perspective, the GPT4-based configuration costs in API calls a mere few cents per vulnerability fixed. Our results show that LLM-based patching is far more cost-effective and thus provides a scalable solution. Finally, the framework we propose will improve in time, especially as vulnerability detection tools and LLMs mature.


title: Grover Search for Portfolio Selection

abstract: We present explicit oracles designed to be used in Grover's algorithm to match investor preferences. Specifically, the oracles select portfolios with returns and standard deviations exceeding and falling below certain thresholds, respectively. One potential use case for the oracles is selecting portfolios with the best Sharpe ratios. We have implemented these algorithms using quantum simulators.


title: The relationship between IGM Lyman-alpha opacity and galaxy density near the end of reionization

abstract: Observed scatter in the Lyman-alpha opacity of quasar sightlines at $z<6$ has motivated measurements of the correlation between Ly$\alpha$ opacity and galaxy density, as models that predict this scatter make strong and sometimes opposite predictions for how they should be related. Our previous work associated two highly opaque Ly$\alpha$ troughs at $z\sim5.7$ with a deficit of Lyman-$\alpha$ emitting galaxies (LAEs). In this work, we survey two of the most highly transmissive lines of sight at this redshift, towards the $z=6.02$ quasar SDSS J1306+0356 and the $z=6.17$ quasar PSO J359-06. We find that both fields are underdense in LAEs within 10 $h^{-1}$ Mpc of the quasar sightline, somewhat less extensive than underdensities associated with Ly$\alpha$ troughs. We combine our observations with three additional fields from the literature, and find that while fields with extreme opacities are generally underdense, moderate opacities span a wider density range. The results at high opacities are consistent with models that invoke UV background fluctuations and/or late reionization to explain the observed scatter in IGM Ly$\alpha$ opacities. There is tension at low opacities, however, as the models tend to associate lower IGM Ly$\alpha$ opacities with higher densities. Although the number of fields surveyed is still small, the low-opacity results may support a scenario in which the ionizing background in low-density regions increases more rapidly than some models suggest after becoming ionized. Elevated gas temperatures from recent reionization may also be making these regions more transparent.


title: Efficient Long-Range Entanglement using Dynamic Circuits

abstract: Quantum simulation traditionally relies on unitary dynamics, inherently imposing efficiency constraints on the generation of intricate entangled states. In principle, these limitations can be superseded by non-unitary, dynamic circuits. These circuits exploit measurements alongside conditional feed-forward operations, providing a promising approach for long-range entangling gates, higher effective connectivity of near-term hardware, and more efficient state preparations. Here, we explore the utility of shallow dynamic circuits for creating long-range entanglement on large-scale quantum devices. Specifically, we study two tasks: CNOT gate teleportation between up to 101 qubits by feeding forward 99 mid-circuit measurement outcomes, and the preparation of Greenberger-Horne-Zeilinger (GHZ) states with genuine entanglement. In the former, we observe that dynamic circuits can outperform their unitary counterparts. In the latter, by tallying instructions of compiled quantum circuits, we provide an error budget detailing the obstacles that must be addressed to unlock the full potential of dynamic circuits. Looking forward, we expect dynamic circuits to be useful for generating long-range entanglement in the near term on large-scale quantum devices.


title: Objective-Agnostic Enhancement of Molecule Properties via Multi-Stage VAE

abstract: Variational autoencoder (VAE) is a popular method for drug discovery and various architectures and pipelines have been proposed to improve its performance. However, VAE approaches are known to suffer from poor manifold recovery when the data lie on a low-dimensional manifold embedded in a higher dimensional ambient space [Dai and Wipf, 2019]. The consequences of it in drug discovery are somewhat under-explored. In this paper, we explore applying a multi-stage VAE approach, that can improve manifold recovery on a synthetic dataset, to the field of drug discovery. We experimentally evaluate our multi-stage VAE approach using the ChEMBL dataset and demonstrate its ability to improve the property statistics of generated molecules substantially from pre-existing methods without incorporating property predictors into the training pipeline. We further fine-tune our models on two curated and much smaller molecule datasets that target different proteins. Our experiments show an increase in the number of active molecules generated by the multi-stage VAE in comparison to their one-stage equivalent. For each of the two tasks, our baselines include methods that use learned property predictors to incorporate target metrics directly into the training objective and we discuss complications that arise with this methodology.


title: Causal Parrots: Large Language Models May Talk Causality But Are Not Causal

abstract: Some argue scale is all what is needed to achieve AI, covering even causal models. We make it clear that large language models (LLMs) cannot be causal and give reason onto why sometimes we might feel otherwise. To this end, we define and exemplify a new subgroup of Structural Causal Model (SCM) that we call meta SCM which encode causal facts about other SCM within their variables. We conjecture that in the cases where LLM succeed in doing causal inference, underlying was a respective meta SCM that exposed correlations between causal facts in natural language on whose data the LLM was ultimately trained. If our hypothesis holds true, then this would imply that LLMs are like parrots in that they simply recite the causal knowledge embedded in the data. Our empirical analysis provides favoring evidence that current LLMs are even weak `causal parrots.'


title: Multivariate Time Series Anomaly Detection: Fancy Algorithms and Flawed Evaluation Methodology

abstract: Multivariate Time Series (MVTS) anomaly detection is a long-standing and challenging research topic that has attracted tremendous research effort from both industry and academia recently. However, a careful study of the literature makes us realize that 1) the community is active but not as organized as other sibling machine learning communities such as Computer Vision (CV) and Natural Language Processing (NLP), and 2) most proposed solutions are evaluated using either inappropriate or highly flawed protocols, with an apparent lack of scientific foundation. So flawed is one very popular protocol, the so-called point-adjust protocol, that a random guess can be shown to systematically outperform all algorithms developed so far. In this paper, we review and evaluate many recent algorithms using more robust protocols and discuss how a normally good protocol may have weaknesses in the context of MVTS anomaly detection and how to mitigate them. We also share our concerns about benchmark datasets, experiment design and evaluation methodology we observe in many works. Furthermore, we propose a simple, yet challenging, baseline based on Principal Components Analysis (PCA) that surprisingly outperforms many recent Deep Learning (DL) based approaches on popular benchmark datasets. The main objective of this work is to stimulate more effort towards important aspects of the research such as data, experiment design, evaluation methodology and result interpretability, instead of putting the highest weight on the design of increasingly more complex and "fancier" algorithms.


title: The diachronic Bayesian

abstract: It is well known that a Bayesian probability forecast for all future observations should be a probability measure in order to satisfy a natural condition of coherence. The main topics of this paper are the evolution of the Bayesian probability measure and ways of testing its adequacy as it evolves over time. The process of testing evolving Bayesian beliefs is modelled in terms of betting, similarly to the standard Dutch book treatment of coherence. The resulting picture is adapted to forecasting several steps ahead and making almost optimal decisions.


title: On Particle Production from Phase Transition Bubbles

abstract: While first order phase transitions (FOPTs) have been extensively studied as promising cosmological sources of gravitational waves, the phenomenon of particle production from the dynamics of the background field during FOPTs has received relatively little attention in the literature, where it has only been studied with semi-analytic estimates in some simplified settings. This paper provides improved numerical studies of this effect in more realistic frameworks, revealing important qualitative details that have been missed in the literature. We also provide easy to use analytic formulae that can be used to calculate particle production in generic FOPT setups.


title: Frame-normalizable Sequences

abstract: Let $H$ be a separable Hilbert space and let $\{x_n\}$ be a sequence in $H$ that does not contain any zero elements. We say that $\{x_n\}$ is a \emph{Bessel-normalizable} or \emph{frame-normalizable} sequence if the normalized sequence $\{\frac{x_n}{\|x_n\|}\}$ is a Bessel sequence or a frame for $H$, respectively. In this paper, several necessary and sufficient conditions for sequences to be frame-normalizable and not frame-normalizable are proved. Perturbation theorems for frame-normalizable sequences are also proved. As applications, we show that the Balazs-Stoeva conjecture %\cite{BS11} holds for Bessel-normalizable sequences. Finally, we apply our results to partially answer the open question raised by Aldroubi et al.\ %\cite{ACMCP16} as to whether the iterative system $\{\frac{A^n x}{\|A^nx\|}\}_{n\geq 0,\, x\in S}$ associated with a normal operator $A\colon H\rightarrow H$ and a countable subset $S$ of $H$, is a frame for $H$. In particular, if $S$ is finite, then we are able to show that $\{\frac{A^n x}{\|A^nx\|}\}_{n\geq 0,\, x\in S}$ is not a frame for $H$ whenever $\{A^nx\}_{n\geq 0,\,x\in S}$ is a frame for $H$.


title: Full-dose Whole-body PET Synthesis from Low-dose PET Using High-efficiency Denoising Diffusion Probabilistic Model: PET Consistency Model

abstract: Objective: Positron Emission Tomography (PET) has been a commonly used imaging modality in broad clinical applications. One of the most important tradeoffs in PET imaging is between image quality and radiation dose: high image quality comes with high radiation exposure. Improving image quality is desirable for all clinical applications while minimizing radiation exposure is needed to reduce risk to patients. Approach: We introduce PET Consistency Model (PET-CM), an efficient diffusion-based method for generating high-quality full-dose PET images from low-dose PET images. It employs a two-step process, adding Gaussian noise to full-dose PET images in the forward diffusion, and then denoising them using a PET Shifted-window Vision Transformer (PET-VIT) network in the reverse diffusion. The PET-VIT network learns a consistency function that enables direct denoising of Gaussian noise into clean full-dose PET images. PET-CM achieves state-of-the-art image quality while requiring significantly less computation time than other methods. Results: In experiments comparing eighth-dose to full-dose images, PET-CM demonstrated impressive performance with NMAE of 1.278+/-0.122%, PSNR of 33.783+/-0.824dB, SSIM of 0.964+/-0.009, NCC of 0.968+/-0.011, HRS of 4.543, and SUV Error of 0.255+/-0.318%, with an average generation time of 62 seconds per patient. This is a significant improvement compared to the state-of-the-art diffusion-based model with PET-CM reaching this result 12x faster. Similarly, in the quarter-dose to full-dose image experiments, PET-CM delivered competitive outcomes, achieving an NMAE of 0.973+/-0.066%, PSNR of 36.172+/-0.801dB, SSIM of 0.984+/-0.004, NCC of 0.990+/-0.005, HRS of 4.428, and SUV Error of 0.151+/-0.192% using the same generation process, which underlining its high quantitative and clinical precision in both denoising scenario.


title: SurGNN: Explainable visual scene understanding and assessment of surgical skill using graph neural networks

abstract: This paper explores how graph neural networks (GNNs) can be used to enhance visual scene understanding and surgical skill assessment. By using GNNs to analyze the complex visual data of surgical procedures represented as graph structures, relevant features can be extracted and surgical skill can be predicted. Additionally, GNNs provide interpretable results, revealing the specific actions, instruments, or anatomical structures that contribute to the predicted skill metrics. This can be highly beneficial for surgical educators and trainees, as it provides valuable insights into the factors that contribute to successful surgical performance and outcomes. SurGNN proposes two concurrent approaches -- one supervised and the other self-supervised. The paper also briefly discusses other automated surgical skill evaluation techniques and highlights the limitations of hand-crafted features in capturing the intricacies of surgical expertise. We use the proposed methods to achieve state-of-the-art results on EndoVis19, and custom datasets. The working implementation of the code can be found at https://github.com/<redacted>.


title: Influences of Displaying Permission-related Information on Web Single Sign-On Login Decisions

abstract: Web users are increasingly presented with multiple login options, including password-based login and common web single sign-on (SSO) login options such as "Login with Google" and "Login with Facebook". There has been little focus in previous studies on how users choose from a list of login options and how to better inform users about privacy issues in web SSO systems. In this paper, we conducted a 200-participant study to understand factors that influence participants' login decisions, and how they are affected by displaying permission differences across login options; permissions in SSO result in release of user personal information to third-party web sites through SSO identity providers. We compare and report on login decisions made by participants before and after viewing permission-related information, examine self-reported responses for reasons related to their login decisions, and report on the factors that motivated their choices. We find that usability preferences and inertia (habituation) were among the dominant factors influencing login decisions. After participants viewed permission-related information, many prioritised privacy over other factors, changing their login decisions to more privacy-friendly alternatives. Displaying permission-related information also influenced some participants to make tradeoffs between privacy and usability preferences.


title: The Brauer-Manin obstruction for nonisotrivial curves over global function fields

abstract: We prove that the set of rational points on a nonisotrivial curves of genus at least 2 over a global function field is equal to the set of adelic points cut out by the Brauer-Manin obstruction.


title: Exploring Gender-Based Toxic Speech on Twitter in Context of the #MeToo movement: A Mixed Methods Approach

abstract: The #MeToo movement has catalyzed widespread public discourse surrounding sexual harassment and assault, empowering survivors to share their stories and holding perpetrators accountable. While the movement has had a substantial and largely positive influence, this study aims to examine the potential negative consequences in the form of increased hostility against women and men on the social media platform Twitter. By analyzing tweets shared between October 2017 and January 2020 by more than 47.1k individuals who had either disclosed their own sexual abuse experiences on Twitter or engaged in discussions about the movement, we identify the overall increase in gender-based hostility towards both women and men since the start of the movement. We also monitor 16 pivotal real-life events that shaped the #MeToo movement to identify how these events may have amplified negative discussions targeting the opposite gender on Twitter. Furthermore, we conduct a thematic content analysis of a subset of gender-based hostile tweets, which helps us identify recurring themes and underlying motivations driving the expressions of anger and resentment from both men and women concerning the #MeToo movement. This study highlights the need for a nuanced understanding of the impact of social movements on online discourse and underscores the importance of addressing gender-based hostility in the digital sphere.


title: Preserving Modality Structure Improves Multi-Modal Learning

abstract: Self-supervised learning on large-scale multi-modal datasets allows learning semantically meaningful embeddings in a joint multi-modal representation space without relying on human annotations. These joint embeddings enable zero-shot cross-modal tasks like retrieval and classification. However, these methods often struggle to generalize well on out-of-domain data as they ignore the semantic structure present in modality-specific embeddings. In this context, we propose a novel Semantic-Structure-Preserving Consistency approach to improve generalizability by preserving the modality-specific relationships in the joint embedding space. To capture modality-specific semantic relationships between samples, we propose to learn multiple anchors and represent the multifaceted relationship between samples with respect to their relationship with these anchors. To assign multiple anchors to each sample, we propose a novel Multi-Assignment Sinkhorn-Knopp algorithm. Our experimentation demonstrates that our proposed approach learns semantically meaningful anchors in a self-supervised manner. Furthermore, our evaluation on MSR-VTT and YouCook2 datasets demonstrates that our proposed multi-anchor assignment based solution achieves state-of-the-art performance and generalizes to both inand out-of-domain datasets. Code: https://github.com/Swetha5/Multi_Sinkhorn_Knopp


title: Negative eingenvalues of the conformal Laplacian

abstract: Let $M$ be a closed differentiable manifold of dimension at least $3$. Let $\Lambda_0 (M)$ be the minimun number of non-positive eigenvalues that the conformal Laplacian of a metric on $M$ can have. We prove that for any $k$ greater than or equal to $\Lambda_0 (M)$, there exists a Riemannian metric on $M$ such that its conformal Laplacian has exactly $k$ negative eigenvalues. Also, we discuss upper bounds for $\Lambda_0 (M)$.


title: Powerful Significance Testing for Unbalanced Clusters

abstract: Clustering methods are popular for revealing structure in data, particularly in the high-dimensional setting common to contemporary data science. A central statistical question is, "are the clusters really there?" One pioneering method in statistical cluster validation is SigClust, but it is severely underpowered in the important setting where the candidate clusters have unbalanced sizes, such as in rare subtypes of disease. We show why this is the case, and propose a remedy that is powerful in both the unbalanced and balanced settings, using a novel generalization of k-means clustering. We illustrate the value of our method using a high-dimensional dataset of gene expression in kidney cancer patients. A Python implementation is available at https://github.com/thomaskeefe/sigclust.


title: Exclusive QCD Factorization and Single Transverse Polarization Phenomena at High-Energy Colliders

abstract: This Ph.D.~thesis is divided into two distinct parts. The first part focuses on hard exclusive scattering processes in Quantum Chromodynamics (QCD) at high energies, while the second part delves into spin phenomena at the Large Hadron Collider (LHC). Hard exclusive scattering processes play a crucial role in QCD at high energies, providing unique insights into the confined partonic dynamics within hadrons, complementing inclusive processes. Studying these processes within the QCD factorization approach yields the generalized parton distribution (GPD), a nonperturbative parton correlation function that offers a three-dimensional tomographic parton image within a hadron. However, the experimental measurement of these processes poses significant challenges. This thesis will review the factorization formalism for related processes, examine the limitations of some widely used processes, and introduce two novel processes that enhance the sensitivity to GPD, particularly its dependence on the parton momentum fraction $x$. The second part of the thesis centers on spin phenomena, specifically single spin production, at the LHC. Noting that a single transverse polarization can be generated even in an unpolarized collision, this research proposes two new jet substructure observables: one for boosted top quark jets and another for high-energy gluon jets. The observation of these phenomena paves the way for innovative tools in LHC phenomenology, enabling both precision measurements and the search for new physics.


title: Formal specification terminology for demographic agent-based models of fixed-step single-clocked simulations

abstract: This document presents adequate formal terminology for the mathematical specification of a subset of Agent Based Models (ABMs) in the field of Demography. The simulation of the targeted ABMs follows a fixedstep single-clocked pattern. The proposed terminology further improves the model understanding and can act as a stand-alone protocol for the specification and optionally the documentation of a significant set of (demographic) ABMs. Nevertheless, it is imaginable the this terminology can serve as an inspiring basis for further improvement to the largely-informal widely-used model documentation and communication O.D.D. protocol [Grimm and et al., 2020, Amouroux et al., 2010] to reduce many sources of ambiguity which hinder model replications by other modelers. A published demographic model documentation, largely simplified version of the Lone Parent Model [Gostoli and Silverman, 2020] is separately published in [Elsheikh, 2023c] as illustration for the formal terminology presented here. The model was implemented in the Julia language [Elsheikh, 2023b] based on the Agents.jl julia package [Datseris et al., 2022].


title: Benchmarking Data Efficiency and Computational Efficiency of Temporal Action Localization Models

abstract: In temporal action localization, given an input video, the goal is to predict which actions it contains, where they begin, and where they end. Training and testing current state-of-the-art deep learning models requires access to large amounts of data and computational power. However, gathering such data is challenging and computational resources might be limited. This work explores and measures how current deep temporal action localization models perform in settings constrained by the amount of data or computational power. We measure data efficiency by training each model on a subset of the training set. We find that TemporalMaxer outperforms other models in data-limited settings. Furthermore, we recommend TriDet when training time is limited. To test the efficiency of the models during inference, we pass videos of different lengths through each model. We find that TemporalMaxer requires the least computational resources, likely due to its simple architecture.


title: $\mathbb{Z}_N$ lattice gauge theories with matter fields

abstract: Motivated by the exotic phenomenology of certain quantum materials and recent advances in programmable quantum emulators, we here study fermions and bosons in $\mathbb Z_N$ lattice gauge theories. We introduce a family of exactly soluble models, and characterize their orthogonal (semi-)metallic ground states, the excitation spectrum, and the correlation functions. We further study integrability breaking perturbations using an appropriately derived set of Feynman diagrammatic rules and borrowing physics associated to Anderson's orthogonality catastrophe. In the context of the ground states, we revisit Luttinger's theorem following Oshikawa's flux insertion argument and furthermore demonstrate the existence of a Luttinger surface of zeros in the fermionic Green's function. Upon inclusion of perturbations, we address the transition from the orthogonal metal to the normal state by condensation of certain excitations in the gauge sectors, so-called ``$e$-particles''. We furthermore discuss the effect of dynamics in the dual ``$m$-particle'' excitations, which ultimately leads to the formation of charge-neutral hadronic $N$-particle bound states. We present analytical arguments for the most important phases and estimates for phase boundaries of the model. Specifically, and in sharp distinction to quasi-1D $\mathbb Z_N$ lattice gauge theories, renormalization group arguments imply that the phase diagram does not include an emergent deconfining $U(1)$ phase. Therefore, in regards to lattice QED problems, $\mathbb Z_N$ quantum emulators with $N<\infty$ can at best be used for approximate solutions at intermediate length scales.


title: Removable singularities in the boundary for quasilinear elliptic equations

abstract: In this work, we are interested in to study removability of a singular set in the boundary for some classes of quasilinear elliptic equations. We will approach this question in two different ways: through an asymptotic behavior at the infinity of the solutions, or through conditions in the Sobolev norm of solutions along the direction of the singular set.


title: Estimating hypothetical estimands with causal inference and missing data estimators in a diabetes trial

abstract: The recently published ICH E9 addendum on estimands in clinical trials provides a framework for precisely defining the treatment effect that is to be estimated, but says little about estimation methods. Here we report analyses of a clinical trial in type 2 diabetes, targeting the effects of randomised treatment, handling rescue treatment and discontinuation of randomised treatment using the so-called hypothetical strategy. We show how this can be estimated using mixed models for repeated measures, multiple imputation, inverse probability of treatment weighting, G-formula and G-estimation. We describe their assumptions and practical details of their implementation using packages in R. We report the results of these analyses, broadly finding similar estimates and standard errors across the estimators. We discuss various considerations relevant when choosing an estimation approach, including computational time, how to handle missing data, whether to include post intercurrent event data in the analysis, whether and how to adjust for additional time-varying confounders, and whether and how to model different types of ICE separately.


title: SHIELD: Sustainable Hybrid Evolutionary Learning Framework for Carbon, Wastewater, and Energy-Aware Data Center Management

abstract: Today's cloud data centers are often distributed geographically to provide robust data services. But these geo-distributed data centers (GDDCs) have a significant associated environmental impact due to their increasing carbon emissions and water usage, which needs to be curtailed. Moreover, the energy costs of operating these data centers continue to rise. This paper proposes a novel framework to co-optimize carbon emissions, water footprint, and energy costs of GDDCs, using a hybrid workload management framework called SHIELD that integrates machine learning guided local search with a decomposition-based evolutionary algorithm. Our framework considers geographical factors and time-based differences in power generation/use, costs, and environmental impacts to intelligently manage workload distribution across GDDCs and data center operation. Experimental results show that SHIELD can realize 34.4x speedup and 2.1x improvement in Pareto Hypervolume while reducing the carbon footprint by up to 3.7x, water footprint by up to 1.8x, energy costs by up to 1.3x, and a cumulative improvement across all objectives (carbon, water, cost) of up to 4.8x compared to the state-of-the-art.


title: Applications of tree decompositions and accessibility to treeability of Borel graphs

abstract: A framework to handle tree decompositions of the components of a Borel graph in a Borel fashion is introduced, along the lines of Tserunyan's Stallings Theorem for equivalence relations arXiv:1805.09506. This setting leads to a notion of accessibility for Borel graphs, together with a treeability criterion. This criterion is applied to show that, in particular, Borel equivalence relations associated to Borel graphs with accessible planar connected components are measure treeable, generalising results of Conley, Gaboriau, Marks, and Tucker-Drob arXiv:2104.07431 and Timar arXiv:1910.01307. It is also proven that uniformly locally finite Borel graphs with components of finite tree-width yield Borel treeable equivalence relations. Our results imply that p.m.p countable Borel equivalence relations with measured property (T) do not admit locally finite graphings with planar components a.s.


title: Racing Towards Reinforcement Learning based control of an Autonomous Formula SAE Car

abstract: With the rising popularity of autonomous navigation research, Formula Student (FS) events are introducing a Driverless Vehicle (DV) category to their event list. This paper presents the initial investigation into utilising Deep Reinforcement Learning (RL) for end-to-end control of an autonomous FS race car for these competitions. We train two state-of-the-art RL algorithms in simulation on tracks analogous to the full-scale design on a Turtlebot2 platform. The results demonstrate that our approach can successfully learn to race in simulation and then transfer to a real-world racetrack on the physical platform. Finally, we provide insights into the limitations of the presented approach and guidance into the future directions for applying RL toward full-scale autonomous FS racing.


title: Towards a Holistic Approach: Understanding Sociodemographic Biases in NLP Models using an Interdisciplinary Lens

abstract: The rapid growth in the usage and applications of Natural Language Processing (NLP) in various sociotechnical solutions has highlighted the need for a comprehensive understanding of bias and its impact on society. While research on bias in NLP has expanded, several challenges persist that require attention. These include the limited focus on sociodemographic biases beyond race and gender, the narrow scope of analysis predominantly centered on models, and the technocentric implementation approaches. This paper addresses these challenges and advocates for a more interdisciplinary approach to understanding bias in NLP. The work is structured into three facets, each exploring a specific aspect of bias in NLP.


title: Inter-species spin-noise correlations in hot atomic vapors

abstract: We report an experimental and theoretical study of spin noise correlations in a $^{87}$Rb-$^{133}$Cs unpolarized alkali-metal vapor dominated by spin-exchange collisions. We observe strong unequal-time inter-species correlations and account for these with a first-principles theoretical model. Since the two atomic species have different spin precession frequencies, the dual-species vapor enables the use of an additional experimental handle, the applied magnetic field, for untangling various sub-types of spin correlations. In particular, the measured cross-correlation and auto-correlation spectra shed light on a number of spin-dynamic effects involving intra-atom, inter-atom, intra-species and inter-species correlations. Cross-correlation coefficients exceeding $60\%$ have been observed at low-magnetic fields, where the two spin species couple strongly via spin-exchange collisions. The understanding of such spontaneously generated correlations can motivate the design of quantum-enhanced measurements with single or multi-species spin-polarized alkali-metal vapors used in quantum sensing applications.


title: Quantum Analog of Shannon's Lower Bound Theorem

abstract: Shannon proved that almost all Boolean functions require a circuit of size $\Theta(2^n/n)$. We prove a quantum analog of this classical result. Unlike in the classical case the number of quantum circuits of any fixed size that we allow is uncountably infinite. Our main tool is a classical result in real algebraic geometry bounding the number of realizable sign conditions of any finite set of real polynomials in many variables.


title: Accuracy of the Explicit Energy-Conserving Particle-in-Cell Method for Under-resolved Simulations of Capacitively Coupled Plasma Discharges

abstract: The traditional explicit electrostatic momentum-conserving Particle-in-cell algorithm requires strict resolution of the electron Debye length to deliver numerical accuracy. The explicit electrostatic energy-conserving Particle-in-Cell algorithm alleviates this constraint with minimal modification to the traditional algorithm, retaining its simplicity and ease of parallelization and acceleration on modern supercomputing architectures. In this article we apply the algorithm to model a one-dimensional radio-frequency capacitively coupled plasma discharge relevant to industrial applications. The energy-conserving approach closely matches the results from the momentum-conserving algorithm and retains accuracy even for cell sizes up to 8x the electron Debye length. For even larger cells the algorithm loses accuracy due to poor resolution of steep gradients in the radio-frequency sheath. This can be amended by introducing a non-uniform grid, which allows for accurate simulations with 9.4x fewer cells than the fully resolved case, an improvement that will be compounded in higher-dimensional simulations. We therefore consider the explicit energy-conserving algorithm as a promising approach to significantly reduce the computational cost of full-scale device simulations and a pathway to delivering kinetic simulation capabilities of use to industry.


title: EgoBlur: Responsible Innovation in Aria

abstract: Project Aria pushes the frontiers of Egocentric AI with large-scale real-world data collection using purposely designed glasses with privacy first approach. To protect the privacy of bystanders being recorded by the glasses, our research protocols are designed to ensure recorded video is processed by an AI anonymization model that removes bystander faces and vehicle license plates. Detected face and license plate regions are processed with a Gaussian blur such that these personal identification information (PII) regions are obscured. This process helps to ensure that anonymized versions of the video is retained for research purposes. In Project Aria, we have developed a state-of-the-art anonymization system EgoBlur. In this paper, we present extensive analysis of EgoBlur on challenging datasets comparing its performance with other state-of-the-art systems from industry and academia including extensive Responsible AI analysis on recently released Casual Conversations V2 dataset.


title: Interpretable Image Quality Assessment via CLIP with Multiple Antonym-Prompt Pairs

abstract: No reference image quality assessment (NR-IQA) is a task to estimate the perceptual quality of an image without its corresponding original image. It is even more difficult to perform this task in a zero-shot manner, i.e., without task-specific training. In this paper, we propose a new zero-shot and interpretable NRIQA method that exploits the ability of a pre-trained visionlanguage model to estimate the correlation between an image and a textual prompt. The proposed method employs a prompt pairing strategy and multiple antonym-prompt pairs corresponding to carefully selected descriptive features corresponding to the perceptual image quality. Thus, the proposed method is able to identify not only the perceptual quality evaluation of the image, but also the cause on which the quality evaluation is based. Experimental results show that the proposed method outperforms existing zero-shot NR-IQA methods in terms of accuracy and can evaluate the causes of perceptual quality degradation.


title: Towards tangle calculus for Khovanov polynomials

abstract: We provide new evidence that the tangle calculus and "evolution" are applicable to the Khovanov polynomials for families of long braids inside the knot diagram. We show that jumps in evolution, peculiar for superpolynomials, are much less abundant than it was originally expected. Namely, for torus and twist satellites of a fixed companion knot, the main (most complicated) contribution does not jump, all jumps are concentrated in the torus and twist part correspondingly, where these jumps are necessary to make the Khovanov polynomial positive. Among other things, this opens a way to define a jump-free part of the colored Khovanov polynomials, which differs from the naive colored polynomial just "infinitesimally". The separation between jumping and smooth parts involves a combination of Rasmussen index and a new knot invariant, which we call "Thickness".


title: Electronic Structure Prediction of Multi-million Atom Systems Through Uncertainty Quantification Enabled Transfer Learning

abstract: The ground state electron density -- obtainable using Kohn-Sham Density Functional Theory (KS-DFT) simulations -- contains a wealth of material information, making its prediction via machine learning (ML) models attractive. However, the computational expense of KS-DFT scales cubically with system size which tends to stymie training data generation, making it difficult to develop quantifiably accurate ML models that are applicable across many scales and system configurations. Here, we address this fundamental challenge by employing transfer learning to leverage the multi-scale nature of the training data, while comprehensively sampling system configurations using thermalization. Our ML models are less reliant on heuristics, and being based on Bayesian neural networks, enable uncertainty quantification. We show that our models incur significantly lower data generation costs while allowing confident -- and when verifiable, accurate -- predictions for a wide variety of bulk systems well beyond training, including systems with defects, different alloy compositions, and at unprecedented, multi-million-atom scales. Moreover, such predictions can be carried out using only modest computational resources.

categories: cond-mat.mtrl-sci cond-mat.dis-nn physics.comp-ph quant-ph


title: CompaCT: Fractal-Based Heuristic Pixel Segmentation for Lossless Compression of High-Color DICOM Medical Images

abstract: Medical image compression is a widely studied field of data processing due to its prevalence in modern digital databases. This domain requires a high color depth of 12 bits per pixel component for accurate analysis by physicians, primarily in the DICOM format. Standard raster-based compression of images via filtering is well-known; however, it remains suboptimal in the medical domain due to non-specialized implementations. This study proposes a lossless medical image compression algorithm, CompaCT, that aims to target spatial features and patterns of pixel concentration for dynamically enhanced data processing. The algorithm employs fractal pixel traversal coupled with a novel approach of segmentation and meshing between pixel blocks for preprocessing. Furthermore, delta and entropy coding are applied to this concept for a complete compression pipeline. The proposal demonstrates that the data compression achieved via fractal segmentation preprocessing yields enhanced image compression results while remaining lossless in its reconstruction accuracy. CompaCT is evaluated in its compression ratios on 3954 high-color CT scans against the efficiency of industry-standard compression techniques (i.e., JPEG2000, RLE, ZIP, PNG). Its reconstruction performance is assessed with error metrics to verify lossless image recovery after decompression. The results demonstrate that CompaCT can compress and losslessly reconstruct medical images, being 37% more space-efficient than industry-standard compression systems.


title: A Potential Aid in the Target Selection for the Comet Interceptor Mission

abstract: The upcoming Comet Interceptor mission involves a parking phase around the Sun-Earth L2 point before transferring to intercept the orbit of a long period comet, interstellar object or a back-up target in the form of a short-period comet. The target is not certain to be known before the launch in 2029. During the parking phase there may thus arise a scenario wherein a decision needs to be taken of whether to go for a particular comet or whether to discard that option in the hope that a better target will appear within a reasonable time frame later on. We present an expectation value-based formalism that could aid in the associated decision making provided that outlined requirements for its implementation exist.


title: Hybrid Genetic Algorithm and Hill Climbing Optimization for the Neural Network

abstract: In this paper, we propose a hybrid model combining genetic algorithm and hill climbing algorithm for optimizing Convolutional Neural Networks (CNNs) on the CIFAR-100 dataset. The proposed model utilizes a population of chromosomes that represent the hyperparameters of the CNN model. The genetic algorithm is used for selecting and breeding the fittest chromosomes to generate new offspring. The hill climbing algorithm is then applied to the offspring to further optimize their hyperparameters. The mutation operation is introduced to diversify the population and to prevent the algorithm from getting stuck in local optima. The Genetic Algorithm is used for global search and exploration of the search space, while Hill Climbing is used for local optimization of promising solutions. The objective function is the accuracy of the trained neural network on the CIFAR-100 test set. The performance of the hybrid model is evaluated by comparing it with the standard genetic algorithm and hill-climbing algorithm. The experimental results demonstrate that the proposed hybrid model achieves better accuracy with fewer generations compared to the standard algorithms. Therefore, the proposed hybrid model can be a promising approach for optimizing CNN models on large datasets.


title: Modified Kirchhoff's Laws for Electric-Double-Layer Charging in Arbitrary Porous Networks

abstract: Understanding the dynamics of electric-double-layer (EDL) charging in porous media is essential for advancements in next-generation energy storage devices. Due to the high computational demands of direct numerical simulations and a lack of interfacial boundary conditions for reduced-order models, the current understanding of EDL charging is limited to simple geometries. Here, we present a theoretical framework to predict EDL charging in arbitrary networks of long pores in the Debye-H\"uckel limit without restrictions on EDL thickness and pore radii. We demonstrate that electrolyte transport is described by Kirchhoff's laws in terms of the electrochemical potential of charge (the valence-weighted average of the ion electrochemical potentials) instead of the electric potential. By employing this equivalent circuit representation with modified Kirchhoff's laws, our methodology accurately captures the spatial and temporal dependencies of charge density and electric potential, matching results obtained from computationally intensive direct numerical simulations. Our framework provides results up to five orders of magnitude faster, enabling the efficient simulation of thousands of pores within a day. We employ the framework to study the impact of pore connectivity and polydispersity on electrode charging dynamics for pore networks and discuss how these factors affect the timescale, energy density, and power density of the capacitive charging. The scalability and versatility of our methodology make it a rational tool for designing 3D-printed electrodes and for interpreting geometric effects on electrode impedance spectroscopy measurements.


title: Probing the Soft X-ray Properties and Multi-Wavelength Variability of SN2023ixf and its Progenitor

abstract: We present a detailed analysis of nearly two decades of optical/UV and X-ray data to study the multi-wavelength pre-explosion properties and post-explosion X-ray properties of nearby SN2023ixf located in M101. We find no evidence of precursor activity in the optical to UV down to a luminosity of $\lesssim 7\times10^{4}\, \rm L_{\odot}$, while X-ray observations covering nearly 18 years prior to explosion show no evidence of luminous precursor X-ray emission down to an absorbed 0.3 - 10.0 keV X-ray luminosity of $\sim6\times10^{36}$ erg s$^{-1}$. Extensive Swift observations taken post-explosion did not detect soft X-ray emission from SN2023ixf within the first $\sim$3.3 days after first light, which suggests a mass-loss rate for the progenitor of $\lesssim5\times10^{-4}\,\rm M_{\odot}$ yr$^{-1}$ or a radius of $\lesssim4\times10^{15}$ cm for the circumstellar material. Our analysis also suggests that if the progenitor underwent a mass-loss episode, this had to occur $>$ 0.5 - 1.5 years prior to explosion, consistent with previous estimates. Swift detected soft X-rays from SN2023ixf $\sim4.25$ days after first light, and it rose to a peak luminosity of $\sim10^{39}$ erg s$^{-1}$ after 10 days and has maintained this luminosity for nearly 50 days post first light. This peak luminosity is lower than expected, given the evidence that SN2023ixf is interacting with dense material. However, this might be a natural consequence of an asymmetric circumstellar medium. X-ray spectra derived from merging all Swift observations over the first 50 days are best described by a two-component bremsstrahlung model consisting of a heavily absorbed and hotter component similar to that found using NuSTAR, and a less-absorbed, cooler component. We suggest that this soft component arises from cooling of the forward shock similar to that found in Type IIn SN2010jl.


title: The Absence of Observable Proton Decay in a Global $SU(5)$ F-theory Model

abstract: We begin with an $E_{8}\times E_{8}$ Heterotic model broken to an $SU(5)_{gauge} \times U(1)_{X}$ and a twin $SU(5)_{gauge} \times U(1)_{X}$, where one $SU(5)$ and its spectrum is identified as the visible sector while the other can be identified as a hidden twin sector. In both cases we obtain the minimal supersymmetric standard model (MSSM) spectrum after Wilson-line symmetry-breaking enhanced by a low energy R-parity and $\mathbb{Z}_4^R$ symmetry. We argue that there will not be any observable proton decay in this model


title: Multi-messenger astronomy with a Southern-Hemisphere gravitational-wave observatory

abstract: Joint observations of gravitational waves and electromagnetic counterparts will answer questions about cosmology, gamma-ray bursts, and the behaviour of matter at supranuclear densities. The addition of a Southern-Hemisphere gravitational-wave observatory to proposed global networks creates a longer baseline, which is beneficial for sky localisation. We analyse how an observatory in Australia can enhance the multi-messenger astronomy capabilities of future networks. We estimate the number of binary neutron star mergers with joint observations of gravitational waves and kilonova counterparts detectable by the Vera C. Rubin Observatory. First, we consider a network of upgrades to current observatories. Adding an Australian observatory to a three-observatory network (comprising two observatories in the USA and one in Europe) boosts the rate of joint observations from $2.5^{+4.5}_{-2.0}$ per year to $5.6^{+10}_{-4.5}$ per year (a factor of two improvement). Then, we consider a network of next-generation observatories. Adding a $20$ km Australian observatory to a global network of a Cosmic Explorer $40$ km in the USA and an Einstein Telescope in Europe only marginally increases the rate from $40^{+71}_{-32}$ per year to $44^{+79}_{-35}$ per year (a factor of 1.1 improvement). The addition of an Australian observatory, however, ensures that at least two observatories are online far more often. When the Cosmic Explorer $40$ km is offline for a major upgrade, the Australian observatory increases the joint observation rate from $0.5^{+0.8}_{-0.4}$ per year to $38^{+68}_{-30}$ per year (a factor of 82 improvement). When the Einstein Telescope is offline, the joint observation rate increases from $0.2^{+0.3}_{-0.1}$ per year to $19^{+34}_{-15}$ per year (a factor of 113 improvement). We sketch out the broader science case for a Southern-Hemisphere gravitational-wave observatory.


title: Contrastive Learning of Temporal Distinctiveness for Survival Analysis in Electronic Health Records

abstract: Survival analysis plays a crucial role in many healthcare decisions, where the risk prediction for the events of interest can support an informative outlook for a patient's medical journey. Given the existence of data censoring, an effective way of survival analysis is to enforce the pairwise temporal concordance between censored and observed data, aiming to utilize the time interval before censoring as partially observed time-to-event labels for supervised learning. Although existing studies mostly employed ranking methods to pursue an ordering objective, contrastive methods which learn a discriminative embedding by having data contrast against each other, have not been explored thoroughly for survival analysis. Therefore, in this paper, we propose a novel Ontology-aware Temporality-based Contrastive Survival (OTCSurv) analysis framework that utilizes survival durations from both censored and observed data to define temporal distinctiveness and construct negative sample pairs with adjustable hardness for contrastive learning. Specifically, we first use an ontological encoder and a sequential self-attention encoder to represent the longitudinal EHR data with rich contexts. Second, we design a temporal contrastive loss to capture varying survival durations in a supervised setting through a hardness-aware negative sampling mechanism. Last, we incorporate the contrastive task into the time-to-event predictive task with multiple loss components. We conduct extensive experiments using a large EHR dataset to forecast the risk of hospitalized patients who are in danger of developing acute kidney injury (AKI), a critical and urgent medical condition. The effectiveness and explainability of the proposed model are validated through comprehensive quantitative and qualitative studies.


title: Nonthermal hydrogen loss at Mars: Contributions of photochemical mechanisms to escape and identification of key processes

abstract: Hydrogen loss to space is a key control on the evolution of the Martian atmosphere and the desiccation of the red planet. Thermal escape is thought to be the dominant loss process, but both forward modeling studies and remote sensing observations have indicated the presence of a second, higher-temperature "nonthermal" or "hot" hydrogen component, some fraction of which also escapes. Exothermic reactions and charge/momentum exchange processes produce hydrogen atoms with energy above the escape energy, but H loss via many of these mechanisms has never been studied, and the relative importance of thermal and nonthermal escape at Mars remains uncertain. Here we estimate hydrogen escape fluxes via 47 mechanisms, using newly-developed escape probability profiles. We find that HCO$^+$ dissociative recombination is the most important of the mechanisms, accounting for 30-50% of the nonthermal escape. The reaction CO$_2^+$ + H$_2$ is also important, producing roughly as much escaping H as momentum exchange between hot O and H. Total nonthermal escape from the mechanisms considered amounts to 39% (27%) of thermal escape, for low (high) solar activity. Our escape probability profiles are applicable to any thermospheric hot H production mechanism and can be used to explore seasonal and longer-term variations, allowing for a deeper understanding of desiccation drivers over various timescales. We highlight the most important mechanisms and suggest that some may be important at Venus, where nonthermal escape dominates and much of the literature centers on charge exchange reactions, which do not result in significant escape in this study.


title: PEak: A Single Source of Truth for Hardware Design and Verification

abstract: Domain-specific languages for hardware can significantly enhance designer productivity, but sometimes at the cost of ease of verification. On the other hand, ISA specification languages are too static to be used during early stage design space exploration. We present PEak, an open-source hardware design and specification language, which aims to improve both design productivity and verification capability. PEak does this by providing a single source of truth for functional models, formal specifications, and RTL. PEak has been used in several academic projects, and PEak-generated RTL has been included in three fabricated hardware accelerators. In these projects, the formal capabilities of PEak were crucial for enabling both novel design space exploration techniques and automated compiler synthesis.


title: On Optimal Point Sets Determining Distinct Triangles

abstract: Erd\H{o}s and Fishburn studied the maximum number of points in the plane that span $k$ distances and classified these configurations, as an inverse problem of the Erd\H{o}s distinct distances problem. We consider the analogous problem for triangles. Past work has obtained the optimal sets for one and two distinct triangles in the plane. In this paper, we resolve a conjecture that at most six points in the plane can span three distinct triangles, and obtain the hexagon as the unique configuration that achieves this. We also provide evidence that optimal sets cannot be on the square lattice in the general case.


title: The Dusty Rossby Wave Instability (DRWI): Linear Analysis and Simulations of Turbulent Dust-Trapping Rings in Protoplanetary Discs

abstract: Recent numerical simulations have revealed that dust clumping and planetesimal formation likely proceed in ring-like disc substructures, where dust gets trapped in weakly turbulent pressure maxima. The streaming instability has difficulty operating in such rings with external turbulence and no pressure gradient. To explore potential paths to planetesimal formation in this context, we analyse the stability of turbulent dust-trapping ring under the shearing sheet framework. We self-consistently establish the pressure maximum and the dust ring in equilibrium, the former via a balance of external forcing versus viscosity and the latter via dust drift versus turbulent diffusion. We find two types of $\gtrsim H$-scale instabilities ($H$ being the pressure scale height), which we term the dusty Rossby wave instability (DRWI). Type I is generalised from the standard RWI, which is stationary at the pressure maximum and dominates in relatively sharp pressure bumps. Type II is a newly identified travelling mode that requires the presence of dust. It can operate in relatively mild bumps, including many that are stable to the standard RWI, and its growth rate is largely determined by the equilibrium gas and dust density gradients. We further conduct two-fluid simulations that verify the two types of the DRWI. While Type I leads strong to dust concentration into a large gas vortex similar to the standard RWI, the dust ring is preserved in Type II, and meanwhile exhibiting additional clumping within the ring. The DRWI suggests a promising path towards formation of planetesimals/planetary embryos and azimuthally asymmetric dust structure from turbulent dust-trapping rings.


title: Magneto-optical anisotropies of 2D antiferromagnetic MPX$_3$ from first principles

abstract: Here we systematically investigate the impact of the spin direction on the electronic and optical properties of transition metal phosphorus trichalcogenides (MPX$_3$, M=Mn, Ni, Fe; X=S, Se) exhibiting various antiferromagnetic arrangement within the 2D limit. Our analysis based on the density functional theory and versatile formalism of Bethe-Salpeter equation reveals larger exciton binding energies for MPS$_3$ (up to 1.1 eV in air) than MPSe$_3$(up to 0.8 eV in air), exceeding the values of transition metal dichalcogenides (TMDs). For the (Mn,Fe)PX$_3$ we determine the optically active band edge transitions, revealing that they are sensitive to in-plane magnetic order, irrespective of the type of chalcogen atom. We predict the anistropic effective masses and the type of linear polarization as an important fingerprints for sensing the type of magnetic AFM arrangements. Furthermore, we identify the spin-orientation-dependent features such as the valley splitting, the effective mass of holes, and the exciton binding energy. In particular, we demonstrate that for MnPX$_3$ (X=S, Se) a pair of non equivalent K+ and K- points exists yielding the valley splittings that strongly depend on the direction of AFM aligned spins. Notably, for the out-of-plane direction of spins, two distinct peaks are expected to be visible below the absorption onset, whereas one peak should emerge for the in-plane configuration of spins. These spin-dependent features provide an insight into spin flop transitions of 2D materials. Finally, we propose a strategy how the spin valley polarization can be realized in 2D AFM within honeycomb lattice.


title: Path-Regularity and Martingale Properties of Set-Valued Stochastic Integrals

abstract: In this paper we study the path-regularity and martingale properties of the set-valued stochastic integrals defined in our previous work Ararat et al. (2023). Such integrals have some fundamental differences from the well-known Aumann-It\^{o} stochastic integrals, and are much better suitable for representing set-valued martingales, whence potentially useful in the study of set-valued backward stochastic differential equations. However, similar to the Aumann-It\^{o} integral, the new integral is only a set-valued submartingale in general, and there is very limited knowledge about the path regularity of the related indefinite integral, much less the sufficient conditions under which the integral is a true martingale. In this paper, we first establish the existence of right- and left-continuous modifications of set-valued submartingales in continuous time, and apply the results to set-valued stochastic integrals. Moreover, we show that a set-valued stochastic integral yields a martingale if and only if the set of terminal values of the stochastic integrals associated to the integrand is closed and decomposable. Finally, as a particular example, we study the set-valued martingale in the form of the conditional expectation of a set-valued random variable. We show that when the random variable is a convex random polytope, the conditional expectation of a vertex stays as a vertex of the set-valued conditional expectation if and only if the random polytope has a deterministic normal fan.


title: Bayesian Low-rank Adaptation for Large Language Models

abstract: Low-rank adaptation (LoRA) has emerged as a new paradigm for cost-efficient fine-tuning of large language models (LLMs). However, fine-tuned LLMs often become overconfident especially when fine-tuned on small datasets. Bayesian methods, with their inherent ability to estimate uncertainty, serve as potent tools to mitigate overconfidence and enhance calibration. In this work, we introduce Laplace-LoRA, which applies a Bayesian approach to the LoRA parameters. Specifically, Laplace-LoRA applies a Laplace approximation to the posterior over the LoRA parameters, considerably improving the calibration of fine-tuned LLMs.


title: Predicting Psi-BN: computational insights into its mechanical, electronic, and optical characteristics

abstract: Computational materials are pivotal in advancing our understanding of distinct material classes and their properties, offering valuable insights in predicting novel structures and complementing experimental approaches. In this context, Psi-graphene is a stable two-dimensional carbon allotrope composed of 5-6-7 carbon rings theoretically predicted recently. Using density functional theory (DFT) calculations, we explored its boron nitride counterpart's mechanical, electronic, and optical characteristics (Psi-BN). Our results indicate that Psi-BN possesses a band gap of 4.59 eV at the HSE06 level. Phonon calculations and ab initio molecular dynamics simulations demonstrated that this material has excellent structural and dynamic stability. Moreover, its formation energy is -7.48 eV. Psi-BN exhibited strong ultraviolet activity, suggesting its potential as an efficient UV collector. Furthermore, we determined critical mechanical properties of Psi-BN, such as the elastic stiffness constants, Young's modulus (250-300 GPa), and Poisson ratio (0.7), providing valuable insights into its mechanical behavior.


title: On the Boundary of the Cosmos

abstract: Intuitively, the totality of physical reality -- the Cosmos -- has a beginning only if (i) all parts of the Cosmos agree on the direction of time (the Direction Condition) and (ii) there is a boundary to the past of all non-initial spacetime points such that there are no spacetime points to the past of the boundary (the Boundary Condition). Following a distinction previously introduced by J. Brian Pitts, the Boundary Condition can be conceived of in two distinct ways: either topologically, i.e., in terms of a closed boundary, or metrically, i.e., in terms of the Cosmos having a finite past. This article proposes that the Boundary Condition should be posed disjunctively, modifies and improves upon the metrical conception of the Cosmos's beginning in light of a series of surprising yet simple thought experiments, and suggests that the Direction and Boundary Conditions should be thought of as more fundamental to the concept of the Cosmos's beginning than classical Big Bang cosmology.


title: Fixed points for $F$-expanding mappings in the sense of measures of noncompactness

abstract: In this article, we model with measures of noncompactness the well-known concept of F-expanding mappings given by Gornicki (Fixed Point Theory Appl 2017, 9 (2016)). Our results are proved by weakening some assumptions on F and without using the surjectivity. Moreover, the paper contains some examples and an application to the Volterra-integral equation.


title: Spatial resolution enhancement in holographic imaging via angular spectrum expansion

abstract: Digital holography numerically restores three-dimensional image information using optically captured diffractive waves. The required bandwidth is larger than that of hologram pixel at a closer distance in the Fresnel diffraction regime, which results in the formation of aliased replica patterns in digital hologram. From the analysis of sampling phenomenon, the replica functions are revealed to be the components of higher angular spectra of hologram. Undersampled hologram consists of the moire patterns formed by the modulation of original function by complex exponential function. There is a one-to-one correspondence between the replicas in both real and Fourier spaces. The possibility to acquire high-resolution images over a wide field view is explored in terms of the expansion process of angular spectrum by using replicas. Only a low-NA hologram captured over a wide field restores a high-resolution image when using an optimization algorithm. Numerical simulations and optical experiments are performed to investigate the proposed scheme.


title: Sentence Embedding Models for Ancient Greek Using Multilingual Knowledge Distillation

abstract: Contextual language models have been trained on Classical languages, including Ancient Greek and Latin, for tasks such as lemmatization, morphological tagging, part of speech tagging, authorship attribution, and detection of scribal errors. However, high-quality sentence embedding models for these historical languages are significantly more difficult to achieve due to the lack of training data. In this work, we use a multilingual knowledge distillation approach to train BERT models to produce sentence embeddings for Ancient Greek text. The state-of-the-art sentence embedding approaches for high-resource languages use massive datasets, but our distillation approach allows our Ancient Greek models to inherit the properties of these models while using a relatively small amount of translated sentence data. We build a parallel sentence dataset using a sentence-embedding alignment method to align Ancient Greek documents with English translations, and use this dataset to train our models. We evaluate our models on translation search, semantic similarity, and semantic retrieval tasks and investigate translation bias. We make our training and evaluation datasets freely available at https://github.com/kevinkrahn/ancient-greek-datasets .


title: Probabilistic Mixture Model-Based Spectral Unmixing

abstract: Identifying pure components in mixtures is a common yet challenging problem. The associated unmixing process requires the pure components, also known as endmembers, to be sufficiently spectrally distinct. Even with this requirement met, extracting the endmembers from a single mixture is impossible; an ensemble of mixtures with sufficient diversity is needed. Several spectral unmixing approaches have been proposed, many of which are connected to hyperspectral imaging. However, most of them assume highly diverse collections of mixtures and extremely low-loss spectroscopic measurements. Additionally, non-Bayesian frameworks do not incorporate the uncertainty inherent in unmixing. We propose a probabilistic inference approach that explicitly incorporates noise and uncertainty, enabling us to unmix endmembers in collections of mixtures with limited diversity. We use a Bayesian mixture model to jointly extract endmember spectra and mixing parameters while explicitly modeling observation noise and the resulting inference uncertainties. We obtain approximate distributions over endmember coordinates for each set of observed spectra while remaining robust to inference biases from the lack of pure observations and presence of non-isotropic Gaussian noise. Access to reliable uncertainties on the unmixing solutions would enable robust solutions as well as informed decision making.


title: Business Metric-Aware Forecasting for Inventory Management

abstract: Time-series forecasts play a critical role in business planning. However, forecasters typically optimize objectives that are agnostic to downstream business goals and thus can produce forecasts misaligned with business preferences. In this work, we demonstrate that optimization of conventional forecasting metrics can often lead to sub-optimal downstream business performance. Focusing on the inventory management setting, we derive an efficient procedure for computing and optimizing proxies of common downstream business metrics in an end-to-end differentiable manner. We explore a wide range of plausible cost trade-off scenarios, and empirically demonstrate that end-to-end optimization often outperforms optimization of standard business-agnostic forecasting metrics (by up to 45.7% for a simple scaling model, and up to 54.0% for an LSTM encoder-decoder model). Finally, we discuss how our findings could benefit other business contexts.


title: The generic equivalence among the Lipschitz saturation of a sheaf of modules

abstract: In this work, we extend the concept of the Lipschitz saturation of an ideal to the context of modules in some different ways, and we prove they are generically equivalent.


title: On infinite-dimensional Hopf algebras

abstract: This is a survey on pointed Hopf algebras with finite Gelfand-Kirillov dimension and related aspects of the theory of infinite-dimensional Hopf algebras.


title: Devouring The Centaurus A Satellites: Modeling Dwarf Galaxies with Galacticus

abstract: For the first time, systematic studies of dwarf galaxies are being conducted throughout the Local Volume, including Centaurus A (NGC 5128), which is the nearest elliptical galaxy. Given Centaurus As mass (roughly ten times that of the Milky Way), AGN activity, and recent major mergers, investigating these dwarfs and their star formation physics is imperative. However, simulating the faintest dwarfs in a massive galaxy like Centaurus A with sufficient resolution in a hydrodynamic simulation is computationally expensive and currently unfeasible. In this study, we seek to reproduce Centaurus A dwarfs using the same star formation physics as the Milky Way. We employ the semi-analytic model Galacticus to model dwarfs within a 600 kpc region. Utilizing astrophysical prescriptions and parameters matching the Milky Way satellites, we explore predictions for various properties and star formation histories (SFHs) to investigate environmental effects. We also reproduce cumulative luminosity and luminosity metallicity relations consistent with observations for the overall Centaurus A satellite population, while predicting half-light radii, velocity dispersion, and SFHs for the dwarf galaxies in Centaurus A. The agreement between our predicted SFHs for Centaurus A dwarfs and those of the Milky Way implies the presence of universal processes governing star formation in these galaxies. Overall, our findings shed light on the star formation physics of dwarf galaxies in the Centaurus A system, revealing insights into their properties and dependence on the host environment.


title: Protective measurements of photon polarization using a temporal pointer

abstract: We experimentally demonstrate protective measurements by weakly coupling the polarization of a single-photon-level field to a measurement pointer that corresponds to the arrival time of the photon. By using an optical loop, we implement a variable, controlled number (1-9) of protection and measurement stages. We demonstrate the measurement of expectation values of photon polarization by measuring arrival times while simultaneously protecting the polarization state. No knowledge of the initial photon state is required or available in our experiment, demonstrating that protective measurements provide a genuine information gain that cannot simply be reduced to a priori information about the protection procedure.


title: Multiscale modeling of thermal properties in Polyurethane incorporated with phase change materials composites: A case study

abstract: Polyurethane (PU) is an ideal thermal insulation material due to its excellent thermal properties. The incorporation of Phase Change Materials (PCMs) capsules into Polyurethane (PU) has been shown to be effective in building envelopes. This design can significantly increase the stability of the indoor thermal environment and reduce the fluctuation of indoor air temperature. We develop a multiscale model of a PU-PCM foam composite and study the thermal conductivity of this material. Later, the design of materials can be optimized by obtaining thermal conductivity. We conduct a case study based on the performance of this optimized material to fully consider the thermal comfort of the occupants of a building envelope with the application of PU-PCMs composites in a single room. At the same time, we also predict the energy consumption of this case. All the outcomes show that this design is promising, enabling the passive design of building energy and significantly improving occupants' comfort.


title: Thermal effect on microwave pulse driven magnetization switching of Stoner particle

abstract: Recently it has been demonstrated that the cosine chirp microwave pulse (CCMP) is capable of achieving fast and energy-efficient magnetization-reversal of a nanoparticle with zero-Temperature. However, we investigate the finite temperature, $T$ effect on the CCMP-driven magnetization reversal using the framework of the stochastic Landau Lifshitz Gilbert equation. At finite Temperature, we obtain the CCMP-driven fast and energy-efficient reversal and hence estimate the maximal temperature, $T_{max}$ at which the magnetization reversal is valid. $T_{max}$ increases with increasing the nanoparticle cross-sectional area/shape anisotropy up to a certain value, and afterward $T_{max}$ decreases with the further increment of nanoparticle cross-sectional area/shape anisotropy. This is because of demagnetization/shape anisotropy field opposes the magnetocrystalline anisotropy, i.e., reduces the energy barrier which separates the two stable states. For smaller cross-sectional area/shape anisotropy, the controlling parameters of CCMP show decreasing trend with temperature. We also find that with the increment easy-plane shape-anisotropy, the required initial frequency of CCMP significantly reduces. For the larger volume of nanoparticles, the parameters of CCMP remains constant for a wide range of temperature which are desired for the device application. Therefore, The above findings might be useful to realize the CCMP-driven fast and energy-efficient magnetization reversal in realistic conditions.


title: Exploring the Use of Generative AI in the Search for Extraterrestrial Intelligence (SETI)

abstract: The search for extraterrestrial intelligence (SETI) is a field that has long been within the domain of traditional signal processing techniques. However, with the advent of powerful generative AI models, such as GPT-3, we are now able to explore new ways of analyzing SETI data and potentially uncover previously hidden signals. In this work, we present a novel approach for using generative AI to analyze SETI data, with focus on data processing and machine learning techniques. Our proposed method uses a combination of deep learning and generative models to analyze radio telescope data, with the goal of identifying potential signals from extraterrestrial civilizations. We also discuss the challenges and limitations of using generative AI in SETI, as well as potential future directions for this research. Our findings suggest that generative AI has the potential to significantly improve the efficiency and effectiveness of the search for extraterrestrial intelligence, and we encourage further exploration of this approach in the SETI community. (Disclosure: For the purpose of demonstration, the abstract and title were generated by ChatGPT and slightly modified by the lead author.


title: A Cryogenic Tune and Match Circuit for Magnetic Resonance Microscopy at 15.2T

abstract: Signal to noise ratios (SNR) in magnetic resonance microscopy images are limited by acquisition times and the decreasing number of spins in smaller voxels. Significant SNR gains from cooling of the RF receiver are only realized when the Johnson noise generated within the RF hardware is large compared to the electromagnetic noise produced by the sample. Cryogenic cooling of imaging probes is common in high field systems but proves difficult to insulate the sample from extreme temperatures. We designed a chamber to cool only the tune and match circuitry to show it is possible to achieve much of the available SNR gain available for cooled coils. We designed a microcoil circuit to resonate at 650 MHz for imaging on a 15.2 T scanner. Surface loops and solenoids of varying diameters were tested to determine the largest diameter coil that demonstrated significant SNR gains from cooling. A liquid N2 cryochamber was designed to cool the circuitry while leaving the RF coil in ambient air. As the cryochamber was filled with liquid N2, Q-factors were measured on the bench while monitoring the coil's surface temperature. Improvements of SNR on images of solutions were demonstrated via cooling the tune and match circuit in the magnet bore. At 650 MHz, loops and solenoids < 3 mm in diameter showed significant improvements in quality factor on the bench. The resistance of the variable capacitors and the coaxial cable were measured to be 45% and 32% of room temperature values near the Larmor frequency. Images obtained with a 2 turn, 3 mm diameter loop with the matching circuit at room temperature and then cooled with liquid nitrogen demonstrated SNR improvements of a factor of 2. By cooling the tune and match circuit and leaving the surface loop in ambient air, SNR was improved by a factor of 2. The results are significant because it allows for more space to insulate the sample from extreme temperatures.


title: JISA: A Polymorphic Test-and-Measurement Automation Library

abstract: JISA is a software library, written in Java, aimed at providing an easy, flexible and standardised means of creating experimental control software for physical sciences researchers. Specifically, with an emphasis on enabling measurement code to be written in an instrument-agnostic way, allowing such routines to be reused across multiple different setups without requiring modification. Additionally, it provides a simple means of recording and handling data, as well as pre-built graphical user interface (GUI) "blocks" to enable the relatively easy creation of graphical control systems. Together these allow users to quickly piece together test-and-measurement programs with coherent user interfaces, without requiring much experience of such things.


title: DebtViz: A Tool for Identifying, Measuring, Visualizing, and Monitoring Self-Admitted Technical Debt

abstract: Technical debt, specifically Self-Admitted Technical Debt (SATD), remains a significant challenge for software developers and managers due to its potential to adversely affect long-term software maintainability. Although various approaches exist to identify SATD, tools for its comprehensive management are notably lacking. This paper presents DebtViz, an innovative SATD tool designed to automatically detect, classify, visualize and monitor various types of SATD in source code comments and issue tracking systems. DebtViz employs a Convolutional Neural Network-based approach for detection and a deconvolution technique for keyword extraction. The tool is structured into a back-end service for data collection and pre-processing, a SATD classifier for data categorization, and a front-end module for user interaction. DebtViz not only makes the management of SATD more efficient but also provides in-depth insights into the state of SATD within software systems, fostering informed decision-making on managing it. The scalability and deployability of DebtViz also make it a practical tool for both developers and managers in diverse software development environments. The source code of DebtViz is available at https://github.com/yikun-li/visdom-satd-management-system and the demo of DebtViz is at https://youtu.be/QXH6Bj0HQew.


title: Accelerating Continuous Integration with Parallel Batch Testing

abstract: Continuous integration at scale is costly but essential to software development. Various test optimization techniques including test selection and prioritization aim to reduce the cost. Test batching is an effective alternative, but overlooked technique. This study evaluates parallelization's effect by adjusting machine count for test batching and introduces two novel approaches. We establish TestAll as a baseline to study the impact of parallelism and machine count on feedback time. We re-evaluate ConstantBatching and introduce DynamicBatching, which adapts batch size based on the remaining changes in the queue. We also propose TestCaseBatching, enabling new builds to join a batch before full test execution, thus speeding up continuous integration. Our evaluations utilize Ericsson's results and 276 million test outcomes from open-source Chrome, assessing feedback time, execution reduction, and providing access to Chrome project scripts and data. The results reveal a non-linear impact of test parallelization on feedback time, as each test delay compounds across the entire test queue. ConstantBatching, with a batch size of 4, utilizes up to 72% fewer machines to maintain the actual average feedback time and provides a constant execution reduction of up to 75%. Similarly, DynamicBatching maintains the actual average feedback time with up to 91% fewer machines and exhibits variable execution reduction of up to 99%. TestCaseBatching holds the line of the actual average feedback time with up to 81% fewer machines and demonstrates variable execution reduction of up to 67%. We recommend practitioners use DynamicBatching and TestCaseBatching to reduce the required testing machines efficiently. Analyzing historical data to find the threshold where adding more machines has minimal impact on feedback time is also crucial for resource-effective testing.


title: Packing a Degree Sequence Realization With A Graph

abstract: Two simple $n$-vertex graphs $G_{1}$ and $G_{2}$, with respective maximum degrees $\Delta_{1}$ and $\Delta_{2}$, are said to pack if $G_{1}$ is isomorphic to a subgraph of the complement of $G_{2}$. The BEC conjecture by Bollob\'{a}s, Eldridge, and Catlin, states that if $(\Delta_{1}+1)(\Delta_{2}+1)\leq n+1$, then $G_{1}$ and $G_{2}$ pack. The BEC conjecture is true when $\Delta_{1}=2$ and has been confirmed for a few other classes of graphs with various conditions on $\Delta_{1}$, $\Delta_{2}$, or $n$. We show that if \[(\Delta_{1}+1)(\Delta_{2}+1)\leq n+\min\{\Delta_{1},\Delta_{2}\},\] then there exists a simple graph with an identical degree sequence as $G_{1}$ that packs with $G_{2}$. However, except for a few cases, we show that this bound is not sharp. As a consequence of our work, we confirm the BEC conjecture if $G_{1}$ is the vertex disjoint union of a unigraph and a forest $F$ such that either $F$ has at least $\Delta_{2}+1$ components or at most $2\Delta_{2}-1$ edges.


title: Thick accretion disk configurations around a compact object in the brane-world scenario

abstract: We have studied equipotential surfaces of a thick accretion disk around a Casadio-Fabbri-Mazzacurati (CFM) compact object in the brane-world scenario, which owns a mass parameter together with a parameterized post-newtonian (PPN) parameter. With the increase of the PPN parameter, the size of the thick accretion disk decreases, but the corresponding Roche lobe size increases. Thus, the larger PPN parameter yields the larger region of existing bound disk structures where the fluid is not accreted into the central wormhole. Moreover, with the increase of the PPN parameter, the position of the Roche lobe gradually moves away from the central compact object, the thickness of the region enclosed by the Roche lobe decreases near the compact object, but increases in the region far from the compact object. Our results also show that the pressure gradient in the disk decreases with the PPN parameter. These effects of the PPN parameter on thick accretion disk could help to further understand compact objects in brane-world scenario.


title: Braided tensor products and polynomial invariants for the quantum queer superalgebra

abstract: The classical invariant theory for the queer Lie superalgebra $\mathfrak{q}_n$ investigates its invariants in the supersymmetric algebra $$\mathcal{U}_{s,l}^{r,k}:=\mathrm{Sym}\left(V^{\oplus r}\oplus \Pi(V)^{\oplus k}\oplus V^{*\oplus s}\oplus \Pi(V^*)^{\oplus l} \right),$$ where $V=\mathbb{C}^{n|n}$ is the natural supermodule, $V^*$ is its dual and $\Pi$ is the parity reversing functor. This paper aims to construct a quantum analogue $\mathcal{B}^{r,k}_{s,l}$ of $\mathcal{U}_{s,l}^{r,k}$ and to explore the quantum queer superalgebra $\mathrm{U}_q(\mathfrak{q}_n)$-invariants in $\mathcal{B}^{r,k}_{s,l}$. The strategy involves braided tensor products of the quantum analogues $\mathsf{A}_{r,n}$, $\mathsf{A}_{k,n}^{\Pi}$ of the supersymmetric algebras $\mathrm{Sym}\left(V^{\oplus r}\right)$, $\mathrm{Sym}\left(\Pi(V)^{\oplus k}\right)$, and their dual partners $\bar{\mathsf{A}}_{s,n}$, and $\bar{\mathsf{A}}_{l,n}^{\Pi}$. These braided tensor products are defined using explicit braiding operator due to the absence of a universal R-matrix for $\mathrm{U}_q(\mathfrak{q}_n)$. Furthermore, we obtain an isomorphism between the braided tensor product $\mathsf{A}_{r,n}\otimes\mathsf{A}_{k,n}$ and $\mathsf{A}_{r+k,n}$, an isomorphism between $\mathsf{A}_{k,n}^{\Pi}$ and $\mathsf{A}_{k,n}$, as well as the corresponding isomorphisms for their dual parts. Consequently, the $\mathrm{U}_q(\mathfrak{q}_n)$-supermodule superalgebra $\mathcal{B}^{r,k}_{s,l}$ is identified with $\mathcal{B}^{r+k,0}_{s+l,0}$. This allows us to obtain a set of generators of $\mathrm{U}_q(\mathfrak{q}_n)$-invariants in $\mathcal{B}^{r,k}_{s,l}$.