title: BASE TTS: Lessons from building a billion-parameter Text-to-Speech model on 100K hours of data

abstract: We introduce a text-to-speech (TTS) model called BASE TTS, which stands for $\textbf{B}$ig $\textbf{A}$daptive $\textbf{S}$treamable TTS with $\textbf{E}$mergent abilities. BASE TTS is the largest TTS model to-date, trained on 100K hours of public domain speech data, achieving a new state-of-the-art in speech naturalness. It deploys a 1-billion-parameter autoregressive Transformer that converts raw texts into discrete codes ("speechcodes") followed by a convolution-based decoder which converts these speechcodes into waveforms in an incremental, streamable manner. Further, our speechcodes are built using a novel speech tokenization technique that features speaker ID disentanglement and compression with byte-pair encoding. Echoing the widely-reported "emergent abilities" of large language models when trained on increasing volume of data, we show that BASE TTS variants built with 10K+ hours and 500M+ parameters begin to demonstrate natural prosody on textually complex sentences. We design and share a specialized dataset to measure these emergent abilities for text-to-speech. We showcase state-of-the-art naturalness of BASE TTS by evaluating against baselines that include publicly available large-scale text-to-speech systems: YourTTS, Bark and TortoiseTTS. Audio samples generated by the model can be heard at https://amazon-ltts-paper.com/.


title: Using AI for Wavefront Estimation with the Rubin Observatory Active Optics System

abstract: The Vera C. Rubin Observatory will, over a period of 10 years, repeatedly survey the southern sky. To ensure that images generated by Rubin meet the quality requirements for precision science, the observatory will use an Active Optics System (AOS) to correct for alignment and mirror surface perturbations introduced by gravity and temperature gradients in the optical system. To accomplish this Rubin will use out-of-focus images from sensors located at the edge of the focal plane to learn and correct for perturbations to the wavefront. We have designed and integrated a deep learning model for wavefront estimation into the AOS pipeline. In this paper, we compare the performance of this deep learning approach to Rubin's baseline algorithm when applied to images from two different simulations of the Rubin optical system. We show the deep learning approach is faster and more accurate, achieving the atmospheric error floor both for high-quality images, and low-quality images with heavy blending and vignetting. Compared to the baseline algorithm, the deep learning model is 40x faster, the median error 2x better under ideal conditions, 5x better in the presence of vignetting by the Rubin camera, and 14x better in the presence of blending in crowded fields. In addition, the deep learning model surpasses the required optical quality in simulations of the AOS closed loop. This system promises to increase the survey area useful for precision science by up to 8%. We discuss how this system might be deployed when commissioning and operating Rubin.


title: Convergence Analysis of Discrete Diffusion Model: Exact Implementation through Uniformization

abstract: Diffusion models have achieved huge empirical success in data generation tasks. Recently, some efforts have been made to adapt the framework of diffusion models to discrete state space, providing a more natural approach for modeling intrinsically discrete data, such as language and graphs. This is achieved by formulating both the forward noising process and the corresponding reversed process as Continuous Time Markov Chains (CTMCs). In this paper, we investigate the theoretical properties of the discrete diffusion model. Specifically, we introduce an algorithm leveraging the uniformization of continuous Markov chains, implementing transitions on random time points. Under reasonable assumptions on the learning of the discrete score function, we derive Total Variation distance and KL divergence guarantees for sampling from any distribution on a hypercube. Our results align with state-of-the-art achievements for diffusion models in $\mathbb{R}^d$ and further underscore the advantages of discrete diffusion models in comparison to the $\mathbb{R}^d$ setting.


title: Which Pretrain Samples to Rehearse when Finetuning Pretrained Models?

abstract: Fine-tuning pretrained foundational models on specific tasks is now the de facto approach for text and vision tasks. A known pitfall of this approach is the forgetting of pretraining knowledge that happens during finetuning. Rehearsing samples randomly from the pretrain dataset is a common approach to alleviate such forgetting. However, we find that random mixing unintentionally includes samples which are not (yet) forgotten or unlearnable by the model. We propose a novel sampling scheme, mix-cd, that identifies and prioritizes samples that actually face forgetting, which we call collateral damage. Since directly identifying collateral damage samples is computationally expensive, we propose a procedure to estimate the distribution of such samples by tracking the statistics of finetuned samples. Our approach is lightweight, easy to implement, and can be seamlessly integrated into existing models, offering an effective means to retain pretrain performance without additional computational costs.


title: An Accelerated Gradient Method for Convex Smooth Simple Bilevel Optimization

abstract: In this paper, we focus on simple bilevel optimization problems, where we minimize a convex smooth objective function over the optimal solution set of another convex smooth constrained optimization problem. We present a novel bilevel optimization method that locally approximates the solution set of the lower-level problem using a cutting plane approach and employs an accelerated gradient-based update to reduce the upper-level objective function over the approximated solution set. We measure the performance of our method in terms of suboptimality and infeasibility errors and provide non-asymptotic convergence guarantees for both error criteria. Specifically, when the feasible set is compact, we show that our method requires at most $\mathcal{O}(\max\{1/\sqrt{\epsilon_{f}}, 1/\epsilon_g\})$ iterations to find a solution that is $\epsilon_f$-suboptimal and $\epsilon_g$-infeasible. Moreover, under the additional assumption that the lower-level objective satisfies the $r$-th H\"olderian error bound, we show that our method achieves an iteration complexity of $\mathcal{O}(\max\{\epsilon_{f}^{-\frac{2r-1}{2r}},\epsilon_{g}^{-\frac{2r-1}{2r}}\})$, which matches the optimal complexity of single-level convex constrained optimization when $r=1$.


title: Automated Classification of Body MRI Sequence Type Using Convolutional Neural Networks

abstract: Multi-parametric MRI of the body is routinely acquired for the identification of abnormalities and diagnosis of diseases. However, a standard naming convention for the MRI protocols and associated sequences does not exist due to wide variations in imaging practice at institutions and myriad MRI scanners from various manufacturers being used for imaging. The intensity distributions of MRI sequences differ widely as a result, and there also exists information conflicts related to the sequence type in the DICOM headers. At present, clinician oversight is necessary to ensure that the correct sequence is being read and used for diagnosis. This poses a challenge when specific series need to be considered for building a cohort for a large clinical study or for developing AI algorithms. In order to reduce clinician oversight and ensure the validity of the DICOM headers, we propose an automated method to classify the 3D MRI sequence acquired at the levels of the chest, abdomen, and pelvis. In our pilot work, our 3D DenseNet-121 model achieved an F1 score of 99.5% at differentiating 5 common MRI sequences obtained by three Siemens scanners (Aera, Verio, Biograph mMR). To the best of our knowledge, we are the first to develop an automated method for the 3D classification of MRI sequences in the chest, abdomen, and pelvis, and our work has outperformed the previous state-of-the-art MRI series classifiers.


title: Time series segmentation for recognition of epileptiform patterns recorded via Microelectrode Arrays in vitro

abstract: Epilepsy is a prevalent neurological disorder that affects approximately 1% of the global population. Around 30-40% of patients do not respond to pharmacological treatment, leading to a significant negative impact on their quality of life. Closed-loop deep brain stimulation (DBS) is a promising treatment for individuals who do not respond to medical therapy. To achieve effective seizure control, algorithms play an important role in identifying relevant electrographic biomarkers from local field potentials (LFPs) to determine the optimal stimulation timing. In this regard, the detection and classification of events from ongoing brain activity, while achieving low power through computationally unexpensive implementations, represents a major challenge in the field. To address this challenge, we here present two lightweight algorithms, the ZdensityRODE and the AMPDE, for identifying relevant events from LFPs by utilizing semantic segmentation, which involves extracting different levels of information from the LFP and relevant events from it. The algorithms performance was validated against epileptiform activity induced by 4-minopyridine in mouse hippocampus-cortex (CTX) slices and recorded via microelectrode array, as a case study. The ZdensityRODE algorithm showcased a precision and recall of 93% for ictal event detection and 42% precision for interictal event detection, while the AMPDE algorithm attained a precision of 96% and recall of 90% for ictal event detection and 54% precision for interictal event detection. While initially trained specifically for detection of ictal activity, these algorithms can be fine-tuned for improved interictal detection, aiming at seizure prediction. Our results suggest that these algorithms can effectively capture epileptiform activity; their light weight opens new possibilities for real-time seizure detection and seizure prediction and control.


title: Investigating the Impact of Data Contamination of Large Language Models in Text-to-SQL Translation

abstract: Understanding textual description to generate code seems to be an achieved capability of instruction-following Large Language Models (LLMs) in zero-shot scenario. However, there is a severe possibility that this translation ability may be influenced by having seen target textual descriptions and the related code. This effect is known as Data Contamination. In this study, we investigate the impact of Data Contamination on the performance of GPT-3.5 in the Text-to-SQL code-generating tasks. Hence, we introduce a novel method to detect Data Contamination in GPTs and examine GPT-3.5's Text-to-SQL performances using the known Spider Dataset and our new unfamiliar dataset Termite. Furthermore, we analyze GPT-3.5's efficacy on databases with modified information via an adversarial table disconnection (ATD) approach, complicating Text-to-SQL tasks by removing structural pieces of information from the database. Our results indicate a significant performance drop in GPT-3.5 on the unfamiliar Termite dataset, even with ATD modifications, highlighting the effect of Data Contamination on LLMs in Text-to-SQL translation tasks.


title: Auditing Work: Exploring the New York City algorithmic bias audit regime

abstract: In July 2023, New York City (NYC) initiated the first algorithm auditing system for commercial machine-learning systems. Local Law 144 (LL 144) mandates NYC-based employers using automated employment decision-making tools (AEDTs) in hiring to undergo annual bias audits conducted by an independent auditor. This paper examines lessons from LL 144 for other national algorithm auditing attempts. Through qualitative interviews with 16 experts and practitioners within the regime, we find that LL 144 has not effectively established an auditing regime. The law fails to clearly define key aspects, such as AEDTs and independent auditors, leading auditors, AEDT vendors, and companies using AEDTs to define the law's practical implementation in ways that failed to protect job applicants. Contributing factors include the law's flawed transparency-driven theory of change, industry lobbying narrowing the definition of AEDTs, practical and cultural challenges faced by auditors in accessing data, and wide disagreement over what constitutes a legitimate auditor, resulting in four distinct 'auditor roles.' We conclude with four recommendations for policymakers seeking to create similar bias auditing regimes, emphasizing clearer definitions, metrics, and increased accountability. By exploring LL 144 through the lens of auditors, our paper advances the evidence base around audit as an accountability mechanism, providing guidance for policymakers seeking to create similar regimes.


title: Routing entanglement through quantum networks

abstract: Entanglement, one of the clearest manifestations of non-classical physics, holds significant promise for technological applications such as more secure communications and faster computations. In this paper we explore the use of non-reciprocal transport in a network of continuous-variable systems to route entanglement in one direction through the network. We develop the theory and discuss a potential realization of controllable flow of entanglement in quantum systems; our method employs only Gaussian interactions and engineered dissipation to break the symmetry. We also explore the conditions under which thermal fluctuations limit the distance over which the entanglement propagates and observe a counter-intuitive behavior between this distance, the strength of the entanglement source, and the strength of the hopping through the network.


title: Simultaneous real and momentum space electron diffraction from a fullerene molecule

abstract: Plane-wave electrons undergo momentum transfer as they scatter off a target in overlapping spherical waves. The transferred momentum leads to target structural information to be encoded in angle and energy differential scattering. For symmetric, periodic or structured targets this can engender diffraction in the electron intensity both in real (angular) and in momentum space. With the example of elastic scattering from C60 we show this simultaneous manifestation of diffraction signatures. The simulated angle-momentum diffractograms can be imaged in experiments with a two-dimensional detector and an energy-tunable electron gun. The result may inspire invention of technology to extend scopes of electron diffraction from molecules and nanostructures, open a direction of electron crystallography using the momentum-differential diffraction, and motivate an approach to control the time delay between the pump laser-pulse and the probe electron-pulse by tuning the electron impact-speed in ultrafast electron diffraction experiments.


title: High Pressure Suppression of Plasticity due to Over-Nucleation of Shear Strain

abstract: High pressure shear band formation is a critical phenomenon in energetic materials due to its influence on both mechanical strength and mechanochemical activation. While shear banding is know to occur in a variety of these materials, the governing dynamics of the mechanisms is not well defined for molecular crystals. We conduct molecular dynamics simulations of shock wave induced shear band formation in the energetic material 1,3,5-trinitroperhydro-1,3,5-triazine (RDX) to assess shear band nucleation processes. We find, that at high pressures, the initial formation sites for shear bands 'over-nucleate' and rapidly lower deviatoric stresses prior to shear band formation and growth. This results in the suppression of plastic deformation. A local cluster analysis is used to quantify and contrast this mechanism with a more typical shear banding seen at lower pressures. These results demonstrate a mechanism that is reversible in nature and that supersedes shear band formation at increased pressures. We anticipate that these results will have a broad impact on the modeling and development of high strain rate application materials such as those for high explosives and hypersonic systems.


title: Learning Cartesian Product Graphs with Laplacian Constraints

abstract: Graph Laplacian learning, also known as network topology inference, is a problem of great interest to multiple communities. In Gaussian graphical models (GM), graph learning amounts to endowing covariance selection with the Laplacian structure. In graph signal processing (GSP), it is essential to infer the unobserved graph from the outputs of a filtering system. In this paper, we study the problem of learning Cartesian product graphs under Laplacian constraints. The Cartesian graph product is a natural way for modeling higher-order conditional dependencies and is also the key for generalizing GSP to multi-way tensors. We establish statistical consistency for the penalized maximum likelihood estimation (MLE) of a Cartesian product Laplacian, and propose an efficient algorithm to solve the problem. We also extend our method for efficient joint graph learning and imputation in the presence of structural missing values. Experiments on synthetic and real-world datasets demonstrate that our method is superior to previous GSP and GM methods.


title: Mirror Descent-Ascent for mean-field min-max problems

abstract: We study two variants of the mirror descent-ascent algorithm for solving min-max problems on the space of measures: simultaneous and sequential. We work under assumptions of convexity-concavity and relative smoothness of the payoff function with respect to a suitable Bregman divergence, defined on the space of measures via flat derivatives. We show that the convergence rates to mixed Nash equilibria, measured in the Nikaid\`o-Isoda error, are of order $\mathcal{O}\left(N^{-1/2}\right)$ and $\mathcal{O}\left(N^{-2/3}\right)$ for the simultaneous and sequential schemes, respectively, which is in line with the state-of-the-art results for related finite-dimensional algorithms.


title: Blueprint for efficient nuclear spin characterization with color center

abstract: Nuclear spins in solids offer a promising avenue for developing scalable quantum hardware. Leveraging nearby single-color centers, these spins can be efficiently addressed at the single-site level through spin resonance. However, characterising individual nuclear spins is quite cumbersome since the characterisation protocols may differ depending on the strength of the hyperfine coupling, necessitating tailored approaches and experimental conditions. While modified electron spin Hahn echoes like CPMG and XY8 pulse sequences are commonly employed, they encounter significant limitations in scenarios involving spin-1/2 systems, strongly coupled spins, or nuclear spin baths comprising distinct isotopes. Here, we present a more straightforward approach for determining the hyperfine interactions among each nuclear and the electron spin. This method holds promise across diverse platforms, especially for emerging S=1/2 group IV defects in diamond (e.g., SiV, GeV, SnV, PbV) or silicon (T-centre, P-donors). We provide a theoretical framework and adapt it for color-centers exhibiting various spins. Through simulations conducted on nuclear spin clusters, we evaluate different protocols and compare their performance using the Fisher information matrix and Cramer Rao bounds.


title: Finding Moving-Band Statistical Arbitrages via Convex-Concave Optimization

abstract: We propose a new method for finding statistical arbitrages that can contain more assets than just the traditional pair. We formulate the problem as seeking a portfolio with the highest volatility, subject to its price remaining in a band and a leverage limit. This optimization problem is not convex, but can be approximately solved using the convex-concave procedure, a specific sequential convex programming method. We show how the method generalizes to finding moving-band statistical arbitrages, where the price band midpoint varies over time.


title: From Data to Decisions: The Transformational Power of Machine Learning in Business Recommendations

abstract: This research aims to explore the impact of Machine Learning (ML) on the evolution and efficacy of Recommendation Systems (RS), particularly in the context of their growing significance in commercial business environments. Methodologically, the study delves into the role of ML in crafting and refining these systems, focusing on aspects such as data sourcing, feature engineering, and the importance of evaluation metrics, thereby highlighting the iterative nature of enhancing recommendation algorithms. The deployment of Recommendation Engines (RE), driven by advanced algorithms and data analytics, is explored across various domains, showcasing their significant impact on user experience and decision-making processes. These engines not only streamline information discovery and enhance collaboration but also accelerate knowledge acquisition, proving vital in navigating the digital landscape for businesses. They contribute significantly to sales, revenue, and the competitive edge of enterprises by offering improved recommendations that align with individual customer needs. The research identifies the increasing expectation of users for a seamless, intuitive online experience, where content is personalized and dynamically adapted to changing preferences. Future research directions include exploring advancements in deep learning models, ethical considerations in the deployment of RS, and addressing scalability challenges. This study emphasizes the indispensability of comprehending and leveraging ML in RS for researchers and practitioners, to tap into the full potential of personalized recommendation in commercial business prospects.


title: Estimating Lagged (Cross-)Covariance Operators of $L^p$-$m$-approximable Processes in Cartesian Product Hilbert Spaces

abstract: When estimating the parameters in functional ARMA, GARCH and invertible, linear processes, covariance and lagged cross-covariance operators of processes in Cartesian product spaces appear. Such operators have been consistenly estimated in recent years, either less generally or under a strong condition. This article extends the existing literature by deriving explicit upper bounds for estimation errors for lagged covariance and lagged cross-covariance operators of processes in general Cartesian product Hilbert spaces, based on the mild weak dependence condition $L^p$-$m$-approximability. The upper bounds are stated for each lag, Cartesian power(s) and sample size, where the two processes in the context of lagged cross-covariance operators can take values in different spaces. General consequences of our results are also mentioned.


title: On timelike Bonnet surfaces in Lorentzian 3-manifold

abstract: In this paper we generalized a result of Soley Ersoy and Kemal Eren [10] about Bonnet timelike surface in Minkowski 3-space. We give a necessary and sufficient condition for a surface M in a Lorentzian 3-space to be timelike Bonnet surface. At the end, a theorem of classification of timelike Bonnet surface in a Lorentzian 3-space is given.


title: A Competition Winning Deep Reinforcement Learning Agent in microRTS

abstract: Scripted agents have predominantly won the five previous iterations of the IEEE microRTS ($\mu$RTS) competitions hosted at CIG and CoG. Despite Deep Reinforcement Learning (DRL) algorithms making significant strides in real-time strategy (RTS) games, their adoption in this primarily academic competition has been limited due to the considerable training resources required and the complexity inherent in creating and debugging such agents. RAISocketAI is the first DRL agent to win the IEEE microRTS competition. In a benchmark without performance constraints, RAISocketAI regularly defeated the two prior competition winners. This first competition-winning DRL submission can be a benchmark for future microRTS competitions and a starting point for future DRL research. Iteratively fine-tuning the base policy and transfer learning to specific maps were critical to RAISocketAI's winning performance. These strategies can be used to economically train future DRL agents. Further work in Imitation Learning using Behavior Cloning and fine-tuning these models with DRL has proven promising as an efficient way to bootstrap models with demonstrated, competitive behaviors.


title: Addressing cognitive bias in medical language models

abstract: There is increasing interest in the application large language models (LLMs) to the medical field, in part because of their impressive performance on medical exam questions. While promising, exam questions do not reflect the complexity of real patient-doctor interactions. In reality, physicians' decisions are shaped by many complex factors, such as patient compliance, personal experience, ethical beliefs, and cognitive bias. Taking a step toward understanding this, our hypothesis posits that when LLMs are confronted with clinical questions containing cognitive biases, they will yield significantly less accurate responses compared to the same questions presented without such biases. In this study, we developed BiasMedQA, a benchmark for evaluating cognitive biases in LLMs applied to medical tasks. Using BiasMedQA we evaluated six LLMs, namely GPT-4, Mixtral-8x70B, GPT-3.5, PaLM-2, Llama 2 70B-chat, and the medically specialized PMC Llama 13B. We tested these models on 1,273 questions from the US Medical Licensing Exam (USMLE) Steps 1, 2, and 3, modified to replicate common clinically-relevant cognitive biases. Our analysis revealed varying effects for biases on these LLMs, with GPT-4 standing out for its resilience to bias, in contrast to Llama 2 70B-chat and PMC Llama 13B, which were disproportionately affected by cognitive bias. Our findings highlight the critical need for bias mitigation in the development of medical LLMs, pointing towards safer and more reliable applications in healthcare.


title: Active Preference Learning for Large Language Models

abstract: As large language models (LLMs) become more capable, fine-tuning techniques for aligning with human intent are increasingly important. A key consideration for aligning these models is how to most effectively use human resources, or model resources in the case where LLMs themselves are used as oracles. Reinforcement learning from Human or AI preferences (RLHF/RLAIF) is the most prominent example of such a technique, but is complex and often unstable. Direct Preference Optimization (DPO) has recently been proposed as a simpler and more stable alternative. In this work, we develop an active learning strategy for DPO to make better use of preference labels. We propose a practical acquisition function for prompt/completion pairs based on the predictive entropy of the language model and a measure of certainty of the implicit preference model optimized by DPO. We demonstrate how our approach improves both the rate of learning and final performance of fine-tuning on pairwise preference data.


title: On the Self-Verification Limitations of Large Language Models on Reasoning and Planning Tasks

abstract: There has been considerable divergence of opinion on the reasoning abilities of Large Language Models (LLMs). While the initial optimism that reasoning might emerge automatically with scale has been tempered thanks to a slew of counterexamples--ranging from multiplication to simple planning--there persists a wide spread belief that LLMs can self-critique and improve their own solutions in an iterative fashion. This belief seemingly rests on the assumption that verification of correctness should be easier than generation--a rather classical argument from computational complexity--which should be irrelevant to LLMs to the extent that what they are doing is approximate retrieval. In this paper, we set out to systematically investigate the effectiveness of iterative prompting in the context of reasoning and planning. We present a principled empirical study of the performance of GPT-4 in three domains: Game of 24, Graph Coloring, and STRIPS planning. We experiment both with the model critiquing its own answers and with an external correct reasoner verifying proposed solutions. In each case, we analyze whether the content of criticisms actually affects bottom line performance, and whether we can ablate elements of the augmented system without losing performance. We observe significant performance collapse with self-critique, significant performance gains with sound external verification, but that the content of critique doesn't matter to the performance of the system. In fact, merely re-prompting with a sound verifier maintains most of the benefits of more involved setups.


title: OGLE-2023-BLG-0836L: The sixth microlensing planet in a binary stellar system

abstract: Light curves of microlensing events occasionally deviate from the smooth and symmetric form of a single-lens single-source event. While most of these anomalous events can be accounted for by employing a binary-lens single-source (2L1S) or a single-lens binary-source (1L2S) framework, it is established that a small fraction of events remain unexplained by either of these interpretations. We carry out a project in which data collected by high-cadence microlensing surveys were reinvestigated with the aim of uncovering the nature of anomalous lensing events with no proposed 2L1S or 1L2S models. From the project, we find that the anomaly appearing in the lensing event OGLE-2023-BLG-0836 cannot be explained by the usual interpretations and conduct a comprehensive analysis of the event. From thorough modeling of the light curve under sophisticated lens-system configurations, we have arrived at the conclusion that a triple-mass lens system is imperative to account for the anomaly features observed in the lensing light curve. From the Bayesian analysis using the measured observables of the event time scale and angular Einstein radius, we determine that the least massive component of the lens has a planetary mass of $4.36^{+2.35}_{-2.18}~M_{\rm J}$. This planet orbits within a stellar binary system composed of two stars with masses $0.71^{+0.38}_{-0.36}~M_\odot$ and $0.56^{+0.30}_{-0.28}~M_\odot$. This lensing event signifies the sixth occurrence of a planetary microlensing system in which a planet belongs to a stellar binary system.


title: A Universal Non-Parametric Approach For Improved Molecular Sequence Analysis

abstract: In the field of biological research, it is essential to comprehend the characteristics and functions of molecular sequences. The classification of molecular sequences has seen widespread use of neural network-based techniques. Despite their astounding accuracy, these models often require a substantial number of parameters and more data collection. In this work, we present a novel approach based on the compression-based Model, motivated from \cite{jiang2023low}, which combines the simplicity of basic compression algorithms like Gzip and Bz2, with Normalized Compression Distance (NCD) algorithm to achieve better performance on classification tasks without relying on handcrafted features or pre-trained models. Firstly, we compress the molecular sequence using well-known compression algorithms, such as Gzip and Bz2. By leveraging the latent structure encoded in compressed files, we compute the Normalized Compression Distance between each pair of molecular sequences, which is derived from the Kolmogorov complexity. This gives us a distance matrix, which is the input for generating a kernel matrix using a Gaussian kernel. Next, we employ kernel Principal Component Analysis (PCA) to get the vector representations for the corresponding molecular sequence, capturing important structural and functional information. The resulting vector representations provide an efficient yet effective solution for molecular sequence analysis and can be used in ML-based downstream tasks. The proposed approach eliminates the need for computationally intensive Deep Neural Networks (DNNs), with their large parameter counts and data requirements. Instead, it leverages a lightweight and universally accessible compression-based model.


title: Topological excitations in a spin-orbit coupled spin-1 Bose-Einstein condensate under sinusoidally varying magnetic fields

abstract: We present a theoretical study of a spin-orbit coupled spin-1 Bose-Einstein condensate under the influence of sinusoidally varying magnetic fields. In the ground state of the ferromagnetic spin-1 condensate, we investigate topological excitations in the system arising due to the combined effect of Rashba spin-orbit coupling and an in-plane sinusoidally varying magnetic field. In this work, we offer a comparative study for various choices of magnetic fields in the $x\rm{-}y$ plane. For a fixed field strength, the spin-orbit coupled system sustains a rich variety of exotic vortex structures ranging from vortex-antivortex lattices to vortex clusters as we increase the coupling strength.


title: On the number of partitions of a number into distinct divisors

abstract: Let $p_{\textrm{dsd}} (n)$ be the number of partitions of $n$ into distinct squarefree divisors of $n$. In this note, we find a lower bound for $p_{\textrm{dsd}} (n)$, as well as a sequence of $n$ for which $p_{\textrm{dsd}} (n)$ is unusually large.


title: Transport property predictions for laser resonance chromatography on Rf$^+$ (Z = 104)

abstract: We propose a theoretically designed laser resonance chromatography (LRC) experiment on Rf$^+$ (Z = 104) drifting in He buffer gas. To this end, we first developed a four-level rate equation model that simulates the optical pumping of Rf$^+$ from its ground state, $^2$D$_{3/2}$ (7s$^2$6d$^1$), to the metastable $^4$F$_{3/2}$ (7s$^1$6d$^2$) state via laser resonant excitation of the intermediate $^4$F$_{3/2}$ (7s$^1$6d$^1$7p$^1$) state prior to electronic state chromatography. This model predicts a 93\% pumping efficiency that suffices to enable efficient laser resonance chromatography of this ion. We then performed accurate relativistic Multi-Reference Configuration-Interaction (MRCI) calculations to model the interaction of Rf$^+$ with He in the ground $^2$D$_{3/2}$ (7s$^2$6d$^1$), low-lying $^2$D$_{5/2}$ (7s$^2$6d$^1$), and metastable $^4$F$_{3/2}$ (7s$^1$6d$^2$) states. These ion-atom interaction potentials were used to calculate the state-specific ion mobilities. For gas temperatures above 100 K and small applied electric fields, the reduced ion mobilities of the ground and metastable states differ significantly. In particular, at room temperature the difference between the reduced ion mobilities of these states is larger than 11%, and therefore should be sufficiently large to ensure LRC of this ion.


title: Orbit misbehavior, isotropy discontinuity, and large isotypic components

abstract: Let $\mathbb{G}$ be a compact Hausdorff group acting on a compact Hausdorff space $X$, $\alpha$ an irreducible $\mathbb{G}$-representation, and $C(X)$ the $C^*$-algebra of complex-valued continuous functions on $X$. We prove that the isotypic component $C(X)_{\alpha}$ is finitely generated as a module over the invariant subalgebra $C(X/\mathbb{G})\subseteq C(X)$ precisely when the map sending $x\in X$ to the dimension of the space of vectors in $\alpha$ invariant under the isotropy group $\mathbb{G}_x$ is locally constant. This (a) specializes back to an observation of De Commer-Yamashita equating the finite generation of all $C(X)_{\alpha}$ with the Vietoris continuity of $x\mapsto \mathbb{G}_x$, and (b) recovers and extends Watatani's examples of infinite-index expectations resulting from non-free finite-group actions. We also show that the action of a compact group $\mathbb{G}$ on the maximal equivariant compactification on the disjoint union of its Lie-group quotients has tubes about all orbits precisely when $\mathbb{G}$ is Lie. This is the converse (via a canonical construction) of the well-known fact that actions of compact Lie groups on Tychonoff spaces admit tubes.


title: Unmasking honey adulteration : a breakthrough in quality assurance through cutting-edge convolutional neural network analysis of thermal images

abstract: Honey, a natural product generated from organic sources, is widely recognized for its revered reputation. Nevertheless, honey is susceptible to adulteration, a situation that has substantial consequences for both the well-being of the general population and the financial well-being of a country. Conventional approaches for detecting honey adulteration are often associated with extensive time requirements and restricted sensitivity. This paper presents a novel approach to address the aforementioned issue by employing Convolutional Neural Networks (CNNs) for the classification of honey samples based on thermal images. The use of thermal imaging technique offers a significant advantage in detecting adulterants, as it can reveal differences in temperature in honey samples caused by variations in sugar composition, moisture levels, and other substances used for adulteration. To establish a meticulous approach to categorizing honey, a thorough dataset comprising thermal images of authentic and tainted honey samples was collected. Several state-of-the-art Convolutional Neural Network (CNN) models were trained and optimized using the dataset that was gathered. Within this set of models, there exist pre-trained models such as InceptionV3, Xception, VGG19, and ResNet that have exhibited exceptional performance, achieving classification accuracies ranging from 88% to 98%. Furthermore, we have implemented a more streamlined and less complex convolutional neural network (CNN) model, outperforming comparable models with an outstanding accuracy rate of 99%. This simplification offers not only the sole advantage of the model, but it also concurrently offers a more efficient solution in terms of resources and time. This approach offers a viable way to implement quality control measures in the honey business, so guaranteeing the genuineness and safety of this valuable organic commodity.


title: The Impact of an AGN on PAH Emission in Galaxies: the Case of Ring Galaxy NGC 4138

abstract: We present a focused study of radially-resolved varying PAH emission in the low-luminosity AGN-host NGC 4138 using deep Spitzer/IRS spectral maps. Using new model PAH spectra, we investigate whether these variations could be associated with changes to the PAH grain size distribution due to photodestruction by the AGN. Separately, we model the effects of the varying radiation field within NGC 4138, and we use this model to predict the corresponding changes in the PAH emission spectrum. We find that PAH band ratios are strongly variable with radius in this galaxy with short-to-long wavelength band ratios peaking in the starburst ring. The changing mix of starlight appears to have a considerable effect on the trends in these band ratios, and our radiation model predicts the shapes of these trends. However, the amplitude of observed variation is ~2.5 times larger than predicted for some ratios. A cutoff of small grains in the PAH size distribution, as has been suggested for AGN, together with changes in PAH ionization fraction could explain the behavior of the shorter bands, but this model fails to reproduce longer band behaviors. Additionally, we find that short-to-long wavelength PAH band ratios increase slightly within ~270pc of the center, suggesting that the AGN may directly influence PAH emission there.


title: Anisotropic molecular photoemission dynamics: Interpreting and accounting for the nuclear motion

abstract: We investigate how vibration affects molecular photoemission dynamics, through simulations on two-dimension asymmetric model molecules including the electronic and nuclear motions in a fully correlated way. We show that a slight anisotropy in the electron-ion momentum sharing is sufficient to prevent one from unambigously characterizing the vibrationnaly averaged photoemission dynamics in terms of stereo Wigner delays. We further show that vibrational resolution can be retrieved in fixed-nuclei simulations, using effective molecular conformations that are specific to each vibrational channel. The optimal internuclear distances found empirically in 1-photon processes can be identified a priori using simple physical arguments. They also turn out to be efficient to simulate vibrationnally-resolved \rabbit measurements and to account for interchannel coherences in broadband 1-photon ionization.


title: Customizable Perturbation Synthesis for Robust SLAM Benchmarking

abstract: Robustness is a crucial factor for the successful deployment of robots in unstructured environments, particularly in the domain of Simultaneous Localization and Mapping (SLAM). Simulation-based benchmarks have emerged as a highly scalable approach for robustness evaluation compared to real-world data collection. However, crafting a challenging and controllable noisy world with diverse perturbations remains relatively under-explored. To this end, we propose a novel, customizable pipeline for noisy data synthesis, aimed at assessing the resilience of multi-modal SLAM models against various perturbations. This pipeline incorporates customizable hardware setups, software components, and perturbed environments. In particular, we introduce comprehensive perturbation taxonomy along with a perturbation composition toolbox, allowing the transformation of clean simulations into challenging noisy environments. Utilizing the pipeline, we instantiate the Robust-SLAM benchmark, which includes diverse perturbation types, to evaluate the risk tolerance of existing advanced multi-modal SLAM models. Our extensive analysis uncovers the susceptibilities of existing SLAM models to real-world disturbance, despite their demonstrated accuracy in standard benchmarks. Our perturbation synthesis toolbox, SLAM robustness evaluation pipeline, and Robust-SLAM benchmark will be made publicly available at https://github.com/Xiaohao-Xu/SLAM-under-Perturbation/.


title: Contextual Multinomial Logit Bandits with General Value Functions

abstract: Contextual multinomial logit (MNL) bandits capture many real-world assortment recommendation problems such as online retailing/advertising. However, prior work has only considered (generalized) linear value functions, which greatly limits its applicability. Motivated by this fact, in this work, we consider contextual MNL bandits with a general value function class that contains the ground truth, borrowing ideas from a recent trend of studies on contextual bandits. Specifically, we consider both the stochastic and the adversarial settings, and propose a suite of algorithms, each with different computation-regret trade-off. When applied to the linear case, our results not only are the first ones with no dependence on a certain problem-dependent constant that can be exponentially large, but also enjoy other advantages such as computational efficiency, dimension-free regret bounds, or the ability to handle completely adversarial contexts and rewards.


title: Efficient Contextual Bandits with Uninformed Feedback Graphs

abstract: Bandits with feedback graphs are powerful online learning models that interpolate between the full information and classic bandit problems, capturing many real-life applications. A recent work by Zhang et al. (2023) studies the contextual version of this problem and proposes an efficient and optimal algorithm via a reduction to online regression. However, their algorithm crucially relies on seeing the feedback graph before making each decision, while in many applications, the feedback graph is uninformed, meaning that it is either only revealed after the learner makes her decision or even never fully revealed at all. This work develops the first contextual algorithm for such uninformed settings, via an efficient reduction to online regression over both the losses and the graphs. Importantly, we show that it is critical to learn the graphs using log loss instead of squared loss to obtain favorable regret guarantees. We also demonstrate the empirical effectiveness of our algorithm on a bidding application using both synthetic and real-world data.


title: Recursive Joint Simulation in Games

abstract: Game-theoretic dynamics between AI agents could differ from traditional human-human interactions in various ways. One such difference is that it may be possible to accurately simulate an AI agent, for example because its source code is known. Our aim is to explore ways of leveraging this possibility to achieve more cooperative outcomes in strategic settings. In this paper, we study an interaction between AI agents where the agents run a recursive joint simulation. That is, the agents first jointly observe a simulation of the situation they face. This simulation in turn recursively includes additional simulations (with a small chance of failure, to avoid infinite recursion), and the results of all these nested simulations are observed before an action is chosen. We show that the resulting interaction is strategically equivalent to an infinitely repeated version of the original game, allowing a direct transfer of existing results such as the various folk theorems.


title: Automated Design of Affine Maximizer Mechanisms in Dynamic Settings

abstract: Dynamic mechanism design is a challenging extension to ordinary mechanism design in which the mechanism designer must make a sequence of decisions over time in the face of possibly untruthful reports of participating agents. Optimizing dynamic mechanisms for welfare is relatively well understood. However, there has been less work on optimizing for other goals (e.g. revenue), and without restrictive assumptions on valuations, it is remarkably challenging to characterize good mechanisms. Instead, we turn to automated mechanism design to find mechanisms with good performance in specific problem instances. In fact, the situation is similar even in static mechanism design. However, in the static case, optimization/machine learning-based automated mechanism design techniques have been successful in finding high-revenue mechanisms in cases beyond the reach of analytical results. We extend the class of affine maximizer mechanisms to MDPs where agents may untruthfully report their rewards. This extension results in a challenging bilevel optimization problem in which the upper problem involves choosing optimal mechanism parameters, and the lower problem involves solving the resulting MDP. Our approach can find truthful dynamic mechanisms that achieve strong performance on goals other than welfare, and can be applied to essentially any problem setting-without restrictions on valuations-for which RL can learn optimal policies.


title: Comparative study on high temperature mechanical behavior in 3YTZP containing SWCNTs or MWCNTs

abstract: Effects on mechanical properties of the presence of either single-walled carbon nanotubes (SWCNTs) or multi-walled carbon nanotubes (MWCNTs) in a 3YTZP matrix have been investigated in this work. Thus, monolithic 3YTZP and 3YTZP containing 2.5 vol% either SWCNTs or MWCNTs were fabricated by Spark Plasma Sintering (SPS) at 1250 C. Samples were crept at temperatures between 1100 and 1200 C and stresses between 5 and 230 MPa. Raman spectroscopy measurements indicate the absence of severe damages in the CNTs structure after sintering and testing. Scanning electron microscopy studies show that microstructures do not evolve during creep tests. Mechanical results point out that monolithic 3YTZP exhibits a higher creep resistance than composites since CNTs facilitate grain boundary sliding during high-temperature deformation. SWCNTs and MWCNTs have a similar effect on the high temperature mechanical behavior in 3YTZP where the bundle length and the level of dispersion of CNTs play a crucial role.


title: Some problems about products of conjugacy classes in finite groups

abstract: We summarize several results about non-simplicity, solvability and normal structure of finite groups related to the number of conjugacy classes appearing in the product or the power of conjugacy classes. We also collect some problems that have only been partially solved.


title: On the Resurgence of Recurrent Models for Long Sequences -- Survey and Research Opportunities in the Transformer Era

abstract: A longstanding challenge for the Machine Learning community is the one of developing models that are capable of processing and learning from very long sequences of data. The outstanding results of Transformers-based networks (e.g., Large Language Models) promotes the idea of parallel attention as the key to succeed in such a challenge, obfuscating the role of classic sequential processing of Recurrent Models. However, in the last few years, researchers who were concerned by the quadratic complexity of self-attention have been proposing a novel wave of neural models, which gets the best from the two worlds, i.e., Transformers and Recurrent Nets. Meanwhile, Deep Space-State Models emerged as robust approaches to function approximation over time, thus opening a new perspective in learning from sequential data, followed by many people in the field and exploited to implement a special class of (linear) Recurrent Neural Networks. This survey is aimed at providing an overview of these trends framed under the unifying umbrella of Recurrence. Moreover, it emphasizes novel research opportunities that become prominent when abandoning the idea of processing long sequences whose length is known-in-advance for the more realistic setting of potentially infinite-length sequences, thus intersecting the field of lifelong-online learning from streamed data.


title: Detecting Low-Degree Truncation

abstract: We consider the following basic, and very broad, statistical problem: Given a known high-dimensional distribution ${\cal D}$ over $\mathbb{R}^n$ and a collection of data points in $\mathbb{R}^n$, distinguish between the two possibilities that (i) the data was drawn from ${\cal D}$, versus (ii) the data was drawn from ${\cal D}|_S$, i.e. from ${\cal D}$ subject to truncation by an unknown truncation set $S \subseteq \mathbb{R}^n$. We study this problem in the setting where ${\cal D}$ is a high-dimensional i.i.d. product distribution and $S$ is an unknown degree-$d$ polynomial threshold function (one of the most well-studied types of Boolean-valued function over $\mathbb{R}^n$). Our main results are an efficient algorithm when ${\cal D}$ is a hypercontractive distribution, and a matching lower bound: $\bullet$ For any constant $d$, we give a polynomial-time algorithm which successfully distinguishes ${\cal D}$ from ${\cal D}|_S$ using $O(n^{d/2})$ samples (subject to mild technical conditions on ${\cal D}$ and $S$); $\bullet$ Even for the simplest case of ${\cal D}$ being the uniform distribution over $\{+1, -1\}^n$, we show that for any constant $d$, any distinguishing algorithm for degree-$d$ polynomial threshold functions must use $\Omega(n^{d/2})$ samples.


title: Randomized Algorithms for Symmetric Nonnegative Matrix Factorization

abstract: Symmetric Nonnegative Matrix Factorization (SymNMF) is a technique in data analysis and machine learning that approximates a symmetric matrix with a product of a nonnegative, low-rank matrix and its transpose. To design faster and more scalable algorithms for SymNMF we develop two randomized algorithms for its computation. The first algorithm uses randomized matrix sketching to compute an initial low-rank input matrix and proceeds to use this input to rapidly compute a SymNMF. The second algorithm uses randomized leverage score sampling to approximately solve constrained least squares problems. Many successful methods for SymNMF rely on (approximately) solving sequences of constrained least squares problems. We prove theoretically that leverage score sampling can approximately solve nonnegative least squares problems to a chosen accuracy with high probability. Finally we demonstrate that both methods work well in practice by applying them to graph clustering tasks on large real world data sets. These experiments show that our methods approximately maintain solution quality and achieve significant speed ups for both large dense and large sparse problems.


title: A scalable, synergy-first backbone decomposition of higher-order structures in complex systems

abstract: Since its introduction in 2011, the partial information decomposition (PID) has triggered an explosion of interest in the field of multivariate information theory and the study of emergent, higher-order ("synergistic") interactions in complex systems. Despite its power, however, the PID has a number of limitations that restrict its general applicability: it scales poorly with system size and the standard approach to decomposition hinges on a definition of "redundancy", leaving synergy only vaguely defined as "that information not redundant." Other heuristic measures, such as the O-information, have been introduced, although these measures typically only provided a summary statistic of redundancy/synergy dominance, rather than direct insight into the synergy itself. To address this issue, we present an alternative decomposition that is synergy-first, scales much more gracefully than the PID, and has a straightforward interpretation. Our approach defines synergy as that information in a set that would be lost following the minimally invasive perturbation on any single element. By generalizing this idea to sets of elements, we construct a totally ordered "backbone" of partial synergy atoms that sweeps systems scales. Our approach starts with entropy, but can be generalized to the Kullback-Leibler divergence, and by extension, to the total correlation and the single-target mutual information. Finally, we show that this approach can be used to decompose higher-order interactions beyond just information theory: we demonstrate this by showing how synergistic combinations of pairwise edges in a complex network supports signal communicability and global integration. We conclude by discussing how this perspective on synergistic structure (information-based or otherwise) can deepen our understanding of part-whole relationships in complex systems.


title: Early Exploration of a Flexible Framework for Efficient Quantum Linear Solvers in Power Systems

abstract: The rapid integration of renewable energy resources presents formidable challenges in managing power grids. While advanced computing and machine learning techniques offer some solutions for accelerating grid modeling and simulation, there remain complex problems that classical computers cannot effectively address. Quantum computing, a promising technology, has the potential to fundamentally transform how we manage power systems, especially in scenarios with a higher proportion of renewable energy sources. One critical aspect is solving large-scale linear systems of equations, crucial for power system applications like power flow analysis, for which the Harrow-Hassidim-Lloyd (HHL) algorithm is a well-known quantum solution. However, HHL quantum circuits often exhibit excessive depth, making them impractical for current Noisy-Intermediate-Scale-Quantum (NISQ) devices. In this paper, we introduce a versatile framework, powered by NWQSim, that bridges the gap between power system applications and quantum linear solvers available in Qiskit. This framework empowers researchers to efficiently explore power system applications using quantum linear solvers. Through innovative gate fusion strategies, reduced circuit depth, and GPU acceleration, our simulator significantly enhances resource efficiency. Power flow case studies have demonstrated up to a eight-fold speedup compared to Qiskit Aer, all while maintaining comparable levels of accuracy.


title: FORECASTOR -- I. Finding Optics Requirements and Exposure times for the Cosmological Advanced Survey Telescope for Optical and UV Research mission

abstract: The Cosmological Advanced Survey Telescope for Optical and ultraviolet Research (CASTOR) is a proposed Canadian-led 1m-class space telescope that will carry out ultraviolet and blue-optical wide-field imaging, spectroscopy, and photometry. CASTOR will provide an essential bridge in the post-Hubble era, preventing a protracted UV-optical gap in space astronomy and enabling an enormous range of discovery opportunities from the solar system to the nature of the Cosmos, in conjunction with the other great wide-field observatories of the next decade (e.g., Euclid, Roman, Vera Rubin). FORECASTOR (Finding Optics Requirements and Exposure times for CASTOR) will supply a coordinated suite of mission-planning tools that will serve as the one-stop shop for proposal preparation, data reduction, and analysis for the CASTOR mission. We present the first of these tools: a pixel-based, user-friendly, extensible, multi-mission exposure time calculator (ETC) built in Python, including a modern browser-based graphical user interface that updates in real time. We then provide several illustrative examples of FORECASTOR's use that advance the design of planned legacy surveys for the CASTOR mission: a search for the most massive white dwarfs in the Magellanic Clouds; a study of the frequency of flaring activity in M stars, their distribution and impacts on habitability of exoplanets; mapping the proper motions of faint stars in the Milky Way; wide and deep galaxy surveys; and time-domain studies of active galactic nuclei.


title: H2O-SDF: Two-phase Learning for 3D Indoor Reconstruction using Object Surface Fields

abstract: Advanced techniques using Neural Radiance Fields (NeRF), Signed Distance Fields (SDF), and Occupancy Fields have recently emerged as solutions for 3D indoor scene reconstruction. We introduce a novel two-phase learning approach, H2O-SDF, that discriminates between object and non-object regions within indoor environments. This method achieves a nuanced balance, carefully preserving the geometric integrity of room layouts while also capturing intricate surface details of specific objects. A cornerstone of our two-phase learning framework is the introduction of the Object Surface Field (OSF), a novel concept designed to mitigate the persistent vanishing gradient problem that has previously hindered the capture of high-frequency details in other methods. Our proposed approach is validated through several experiments that include ablation studies.


title: A Consistently Oriented Basis for Eigenanalysis: Improved Directional Statistics

abstract: The algorithm derived in this article, which builds upon the original paper, takes a holistic view of the handedness of an orthonormal eigenvector matrix so as to transfer what would have been labeled as a reflection in the original algorithm into a rotation through a major arc in the new algorithm. In so doing, the angular wrap-around on the interval {\pi} that exists in the original is extended to a 2{\pi} interval for primary rotations, which in turn provides clean directional statistics. The modified algorithm is detailed in this article and an empirical example is shown. The empirical example is analyzed in the context of random matrix theory, after which two methods are discussed to stabilize eigenvector pointing directions as they evolve in time. The thucyd Python package and source code, reported in the original paper, has been updated to include the new algorithm and is freely available.


title: Quantum cluster algebra, braid moves and quantum virtual Grothendieck ring

abstract: In this paper, we study the quantum virtual Grothendieck ring, denoted by $\frakK_q(\g)$, which was introduced in [39], and further investigated in [26, 25]. Our approach involves examining this ring from two perspectives: first, by considering its connection to quantum cluster algebras of non-skew-symmetric types; and second, by exploring its relevance to categorification theory. We specifically focus on (i) the homomorphisms that arise from braid moves, particularly 4-moves and 6-moves, in the braid group; and (ii) the quantum Laurent positivity phenomena, which has not yet been proven for non-skew-symmetric types. As applications of our results, we derive the substitution formulas for non-skew-symmetric types discussed in [11] for skew-symmetric types, and demonstrate that any truncated element in a heart subring, denoted by $\frakK_{q,Q}(\g)$, which corresponds to a simple module over the quiver Hecke algebra $R^\g$, possesses coefficients in $\Z_{\ge 0}[q^{\pm 1/2}]$. This result is particularly interesting because it implies that each truncated Kirillov--Reshetikhin polynomial in $\frakK_{q,Q}(\g)$ and each element in the standard basis $\sfE_q(\g)$ of the entire ring $\frakK_q(\g)$ have coefficients also in $\Z_{\ge 0}[q^{\pm 1/2}]$. Since (truncated) Kirillov--Reshetikhin polynomials can be obtained using a quantum cluster algebra algorithm and appear as quantum cluster variables, they provide compelling evidence in support of the quantum Laurent positivity conjecture in non-skew-symmetric types.


title: Thermal processing of primordial pebbles in evolving protoplanetary disks

abstract: During protoplanetary disk formation, dust grains located in the outer disk retain their pristine icy composition, while solids in the inner stellar-heated disk undergo volatile loss. This process may have left a fossil record in Solar System material showing different nucelosynthetic imprints that have been attributed to different degrees of thermal processing. However, it remains unclear how a large mass fraction of thermally-processed inner-disk pebbles is produced and how these grains are subsequently transported throughout the disk. In this work we numerically investigate the evolution in time of a two-component pebble disk, consisting of pristine pebbles and those that underwent ice sublimation. We find that stellar outbursts exceeding 1000 times the solar luminosity are efficient in thermally altering, through ice sublimation, a large mass fraction of pebbles (around 80%). After the establishment of this initial radial dust composition gradient throughout the disk, the subsequent mixing and inward drift of pristine outer-disk pebbles alter the inner disk bulk composition from processed to more unprocessed in time. Therefore, if processed pebbles without ice mantles have an isotopic composition similar to ureilite meteorites from the inner Solar System, inner-disk minor bodies forming from the early pebble flux (<1Myr) will be isotopically ureilite-like, while later-formed bodies will be increasingly admixed with the signature of the late incoming CI chondrite-like unprocessed pebbles. This appears to be largely consistent with the trend seen between the accretion age of different meteoric classes and their different stable isotope composition anomalies (in $\mu$54Cr, $\mu$48Ca, $\mu$30Si, $\mu$58Ni), but further work may be needed to explain the role of isotopically anomalous refractory inclusions and anomaly trends in other elements.


title: Optimal Size-Aware Dispatching Rules via Value Iteration and Some Numerical Investigations

abstract: This technical report explains how optimal size-aware dispatching policies can be determined numerically using value iteration. It also contains some numerical examples that shed light to the nature of the optimal policies itself. The report complements our ``Towards the Optimal Dynamic Size-aware Dispatching'' article that will appear in Elsevier's Performance Evaluation in 2024.


title: Artificial intelligence and the transformation of higher education institutions

abstract: Artificial intelligence (AI) advances and the rapid adoption of generative AI tools like ChatGPT present new opportunities and challenges for higher education. While substantial literature discusses AI in higher education, there is a lack of a systemic approach that captures a holistic view of the AI transformation of higher education institutions (HEIs). To fill this gap, this article, taking a complex systems approach, develops a causal loop diagram (CLD) to map the causal feedback mechanisms of AI transformation in a typical HEI. Our model accounts for the forces that drive the AI transformation and the consequences of the AI transformation on value creation in a typical HEI. The article identifies and analyzes several reinforcing and balancing feedback loops, showing how, motivated by AI technology advances, the HEI invests in AI to improve student learning, research, and administration. The HEI must take measures to deal with academic integrity problems and adapt to changes in available jobs due to AI, emphasizing AI-complementary skills for its students. However, HEIs face a competitive threat and several policy traps that may lead to decline. HEI leaders need to become systems thinkers to manage the complexity of the AI transformation and benefit from the AI feedback loops while avoiding the associated pitfalls. We also discuss long-term scenarios, the notion of HEIs influencing the direction of AI, and directions for future research on AI transformation.


title: Average-Case Analysis of Iterative Voting

abstract: Iterative voting is a natural model of repeated strategic decision-making in social choice when agents have the opportunity to update their votes prior to finalizing the group decision. Prior work has analyzed the efficacy of iterative plurality on the welfare of the chosen outcome at equilibrium, relative to the truthful vote profile, via an adaptation of the price of anarchy. However, prior analyses have only studied the worst- and average-case performances when agents' preferences are distributed by the impartial culture. This work extends average-case analysis to a wider class of distributions and distinguishes when iterative plurality improves or degrades asymptotic welfare.


title: Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings

abstract: This paper introduces a new approach for continual planning and model learning in relational, non-stationary stochastic environments. Such capabilities are essential for the deployment of sequential decision-making systems in the uncertain and constantly evolving real world. Working in such practical settings with unknown (and non-stationary) transition systems and changing tasks, the proposed framework models gaps in the agent's current state of knowledge and uses them to conduct focused, investigative explorations. Data collected using these explorations is used for learning generalizable probabilistic models for solving the current task despite continual changes in the environment dynamics. Empirical evaluations on several non-stationary benchmark domains show that this approach significantly outperforms planning and RL baselines in terms of sample complexity. Theoretical results show that the system exhibits desirable convergence properties when stationarity holds.


title: Hamiltonian engineering with time-ordered evolution for unitary control of electron spins in semiconductor quantum dots

abstract: We present a unitary control pulse design method for a scalable quantum computer architecture based on electron spins in lateral quantum dots. We employ simultaneous control of spin interactions and derive the functional forms of spin Hamiltonian parameter pulses for a universal set of 1- and 2-qubit logic gates. This includes selective spin rotations with the weak local g-factor variations in the presence of the global oscillating field, and a Control-Phase operation with the simultaneous control of g-factors and exchange couplings. We outline how to generalize the control scheme to multiqubit gate operations and the case of constrained or imperfect control of the Hamiltonian parameters.


title: VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search

abstract: Large Language Models (LLMs) can generate useful code, but often the code they generate cannot be trusted to be sound. In this paper, we present VerMCTS, an approach to begin to resolve this issue by generating verified programs in Dafny and Coq. VerMCTS uses a logical verifier in concert with an LLM to guide a modified Monte Carlo Tree Search (MCTS). This approach leverages the verifier to gain intermediate feedback inside the search algorithm by checking partial programs at each step to estimate an upper bound on the value function. To measure the performance of VerMCTS, we develop a new suite of multi-step verified programming problems in Dafny and Coq. In terms of pass@T, a new metric which computes the pass rate given a budget of T tokens sampled from the LLM, VerMCTS leads to more than a 30% absolute increase in average pass@5000 across the suite over repeated sampling from the base language model. Our code and benchmarks are available at https://github.com/namin/llm-verified-with-monte-carlo-tree-search .


title: Model Predictive Bang-Bang Controller Synthesis via Approximate Value Functions

abstract: In this paper, we propose a novel method for addressing Optimal Control Problems (OCPs) with input-affine dynamics and cost functions. This approach adopts a Model Predictive Control (MPC) strategy, wherein a controller is synthesized to handle an approximated OCP within a finite time horizon. Upon reaching this horizon, the controller is re-calibrated to tackle another approximation of the OCP, with the approximation updated based on the final state and time information. To tackle each OCP instance, all non-polynomial terms are Taylor-expanded about the current time and state and the resulting Hamilton-Jacobi-Bellman (HJB) PDE is solved via Sum-of-Squares (SOS) programming, providing us with an approximate polynomial value function that can be used to synthesize a bang-bang controller.


title: Constraints on Dark Matter-Dark Energy Scattering from ACT DR6 CMB Lensing

abstract: The predicted present-day amplitude of matter fluctuations based on cosmic microwave background (CMB) anisotropy data has sometimes been found discrepant with more direct measurements of late-time structure. This has motivated many extensions to the standard cosmological model, including kinetic interactions between dark matter and dark energy that introduce a drag force slowing the growth of structure at late times. Exploring this scenario, we develop a model for quasi-linear scales in the matter power spectrum by calculating the critical overdensity in the presence of this interaction and a varying dark energy equation of state. We explicitly avoid modeling or interpretation of data on non-linear scales in this model (such as use of $\Lambda$CDM-calibrated priors), which would require numerical simulations. We find that the presence of the drag force hinders halo formation, thus increasing the deviation from $\Lambda$CDM in the mildly non-linear regime. We use CMB lensing observations from the sixth data release of the Atacama Cosmology Telescope up to $L=1250$ (in combination with Planck, Sloan Digital Sky Survey, and 6dFGS data) to derive the strongest constraints to date on the amplitude of the drag term, finding the dimensionless interaction strength $\Gamma_\mathrm{DMDE}/(H_0\rho_\mathrm{c})<0.831\; (2.81)$ at the 68\% (95\%) confidence level. The inclusion of non-linear corrections improves our constraints by about 35\% compared to linear theory. Our results do not exclude the best-fit values of $\Gamma_\mathrm{DMDE}$ found in previous studies using information from galaxy weak lensing, though we find no statistical preference for the dark matter-dark energy kinetic interactions over $\Lambda$CDM. We implement our model in a publicly available fork of the Boltzmann code CLASS at https://github.com/fmccarthy/Class_DMDE.


title: Effect of electron-phonon coupling on thermal transport in metals: a Monte Carlo approach for solving the coupled electron-phonon Boltzmann transport equations

abstract: In this work, the effect of electron-phonon (e-ph) coupling on both electron and phonon transport of metals is investigated via first principles calculations. A Monte-Carlo (MC) approach for solving the coupled electron-phonon Boltzmann transport equations is developed to investigate thermal conductivity of metals. In this approach, the anisotropic electron band structure, phonon dispersion in the full Brillouin zone, and mode-dependent thermal relaxation time of electrons and phonons are calculated from first principles. Using this approach, MC simulations of coupled e-ph thermal transport at different temperatures in {\alpha}-U and Ag are performed. These two materials were selected as a way to demonstrate the applicability of the method in different fields. The results indicate that the electron relaxation time due to phonon scattering is orders of magnitude smaller than the phonon relaxation time due to electron scattering. The results also show that, in phonon thermal transport, the impact of ph-e scattering is almost negligible and the ph-ph scattering dominates phonon transport. At high temperature, the electrons dominate thermal transport in both {\alpha}-U and Ag. However, at low temperature, the phonon contribution to the total thermal conductivity of {\alpha}-U is significant. Moreover, the Lorenz ratio deviates from the Sommerfeld value at low to intermediate temperatures, where the Wiedemann-Franz law is not applicable. Finally, we show that the Ag electronic thermal conductivity shows a stronger size effect than its phonon thermal conductivity.


title: Gradient-flow adaptive importance sampling for Bayesian leave one out cross-validation for sigmoidal classification models

abstract: We introduce a set of gradient-flow-guided adaptive importance sampling (IS) transformations to stabilize Monte-Carlo approximations of point-wise leave one out cross-validated (LOO) predictions for Bayesian classification models. One can leverage this methodology for assessing model generalizability by for instance computing a LOO analogue to the AIC or computing LOO ROC/PRC curves and derived metrics like the AUROC and AUPRC. By the calculus of variations and gradient flow, we derive two simple nonlinear single-step transformations that utilize gradient information to shift a model's pre-trained full-data posterior closer to the target LOO posterior predictive distributions. In doing so, the transformations stabilize importance weights. Because the transformations involve the gradient of the likelihood function, the resulting Monte Carlo integral depends on Jacobian determinants with respect to the model Hessian. We derive closed-form exact formulae for these Jacobian determinants in the cases of logistic regression and shallow ReLU-activated artificial neural networks, and provide a simple approximation that sidesteps the need to compute full Hessian matrices and their spectra. We test the methodology on an $n\ll p$ dataset that is known to produce unstable LOO IS weights.

categories: stat.ME cs.AI cs.LG math.SP math.ST stat.TH


title: On Frobenius liftability of surface singularities

abstract: We show that a plt surface singularity $(P\in X,B)$ is $F$-liftable if and only if it is $F$-pure and is not a rational double point of type $E_8^1$ in characteristic $p=5$. As a consequence, we prove the logarithmic extension theorem for $F$-pure surface pairs and Bogomolov-Sommese vanishing for globally $F$-split surface pairs. These results were previously known to hold in characteristic $p>5$.


title: Steenbrink type vanishing for surfaces in positive characteristic

abstract: Let $(X,B)$ be a pair of a normal surface over a perfect field of characteristic $p>0$ and an effective $\mathbb{Q}$-divisor $B$ on $X$. We prove that Steenbrink type vanishing holds for $(X,B)$ if it is lc and $p>5$, or it is $F$-pure. We also show that rational surface singularities satisfying the vanishing are $F$-injective.


title: AC-Josephson Effect and Sub-Comb Mode-Locking in a Kerr-Induced Synchronized Cavity Soliton

abstract: Kerr-induced synchronization (KIS) [1] involves the capture of a dissipative Kerr soliton (DKS) microcomb [2] tooth by a reference laser injected into the DKS resonator. This phase-locking behavior is described by an Adler equation whose analogous form describes numerous other physical systems [3], such as Josephson junctions [4]. We present an AC version of KIS whose behavior is similar to microwave-driven Josephson junctions, where periodic synchronization occurs as so-called Shapiro steps. We demonstrate consistent results in the AC-KIS dynamics predicted by the Adler model, Lugiato-Lefever equation, and experimental data from a chip-integrated microresonator system. The (integer) Shapiro steps in KIS can simply be explained as the sideband created through the reference laser phase modulation triggering the synchronization. Notably, our optical system allows for easy tuning of the Adler damping parameter, enabling the further observation of fractional-Shapiro steps, where the synchronization happens at a fraction of the driving microwave frequency. Here, we show that the comb tooth is indirectly captured thanks to a four-wave mixing Bragg-scattering process, leading to sub-comb mode-locking, and we demonstrate this experimentally through noise considerations. Our work opens the door to the study of synchronization phenomena in the context of microresonator frequency combs, synthesis of condensed-matter state analogues with DKSs, and the use of the fractional Shapiro steps for flexible and tunable access to the KIS regime.


title: CMA-R:Causal Mediation Analysis for Explaining Rumour Detection

abstract: We apply causal mediation analysis to explain the decision-making process of neural models for rumour detection on Twitter. Interventions at the input and network level reveal the causal impacts of tweets and words in the model output. We find that our approach CMA-R -- Causal Mediation Analysis for Rumour detection -- identifies salient tweets that explain model predictions and show strong agreement with human judgements for critical tweets determining the truthfulness of stories. CMA-R can further highlight causally impactful words in the salient tweets, providing another layer of interpretability and transparency into these blackbox rumour detection systems. Code is available at: https://github.com/ltian678/cma-r.


title: Group Decision-Making among Privacy-Aware Agents

abstract: How can individuals exchange information to learn from each other despite their privacy needs and security concerns? For example, consider individuals deliberating a contentious topic and being concerned about divulging their private experiences. Preserving individual privacy and enabling efficient social learning are both important desiderata but seem fundamentally at odds with each other and very hard to reconcile. We do so by controlling information leakage using rigorous statistical guarantees that are based on differential privacy (DP). Our agents use log-linear rules to update their beliefs after communicating with their neighbors. Adding DP randomization noise to beliefs provides communicating agents with plausible deniability with regard to their private information and their network neighborhoods. We consider two learning environments one for distributed maximum-likelihood estimation given a finite number of private signals and another for online learning from an infinite, intermittent signal stream. Noisy information aggregation in the finite case leads to interesting tradeoffs between rejecting low-quality states and making sure all high-quality states are accepted in the algorithm output. Our results flesh out the nature of the trade-offs in both cases between the quality of the group decision outcomes, learning accuracy, communication cost, and the level of privacy protections that the agents are afforded.


title: Direct numerical simulation of a thermal turbulent boundary layer: an analogy to simulate bushfires and a testbed for artificial intelligence remote sensing of bushfire propagation

abstract: Direct numerical simulation of a turbulent thermal boundary layer (TTBL) can perform the role of an analogy to simulate bushfires that can serve as a testbed for artificial intelligence (AI) enhanced remote sensing of bushfire propagation. By solving the Navier-Stokes equations for a turbulent flow, DNS predicts the flow field and allows for a detailed study of the interactions between the turbulent flow and thermal plumes. In addition to potentially providing insights into the complex bushfire behaviour, direct numerical simulation (DNS) can generate synthetic remote sensing data to train AI algorithms such as convolutional neural networks (CNNs) and recurrent neural networks (RNNs), which can process large amounts of remotely sensed data associated with bushfire. Using the results of DNS as training data can improve the accuracy of AI remote sensing in predicting firefront propagation of bushfires. DNS can also test the accuracy of the AI remote sensing algorithms by generating synthetic remote sensing data that allows their performance assessment and uncertainty quantification in predicting the evolution of a bushfire. The combination of DNS and AI can improve our understanding of bushfire dynamics, develop more accurate prediction models, and aid in bushfire management and mitigation.


title: Coherent Imaging with Photonic Lanterns

abstract: Photonic Lanterns (PLs) are tapered waveguides that gradually transition from a multi-mode fiber geometry to a bundle of single-mode fibers (SMFs). They can efficiently couple multi-mode telescope light into a multi-mode fiber entrance at the focal plane and convert it into multiple single-mode beams. Thus, each SMF samples its unique mode (lantern principal mode) of the telescope light in the pupil, analogous to subapertures in aperture masking interferometry (AMI). Coherent imaging with PLs can be enabled by interfering SMF outputs and applying phase modulation, which can be achieved using a photonic chip beam combiner at the backend (e.g., the ABCD beam combiner). In this study, we investigate the potential of coherent imaging by interfering SMF outputs of a PL with a single telescope. We demonstrate that the visibilities that can be measured from a PL are mutual intensities incident on the pupil weighted by the cross-correlation of a pair of lantern modes. From numerically simulated lantern principal modes of a 6-port PL, we find that interferometric observables using a PL behave similarly to separated-aperture visibilities for simple models on small angular scales ($<\lambda/D$) but with greater sensitivity to symmetries and capability to break phase angle degeneracies. Furthermore, we present simulated observations with wavefront errors and compare them to AMI. Despite the redundancy caused by extended lantern principal modes, spatial filtering offers stability to wavefront errors. Our simulated observations suggest that PLs may offer significant benefits in the photon noise-limited regime and in resolving small angular scales at low contrast regime.


title: Poisson flow consistency models for low-dose CT image denoising

abstract: Diffusion and Poisson flow models have demonstrated remarkable success for a wide range of generative tasks. Nevertheless, their iterative nature results in computationally expensive sampling and the number of function evaluations (NFE) required can be orders of magnitude larger than for single-step methods. Consistency models are a recent class of deep generative models which enable single-step sampling of high quality data without the need for adversarial training. In this paper, we introduce a novel image denoising technique which combines the flexibility afforded in Poisson flow generative models (PFGM)++ with the, high quality, single step sampling of consistency models. The proposed method first learns a trajectory between a noise distribution and the posterior distribution of interest by training PFGM++ in a supervised fashion. These pre-trained PFGM++ are subsequently "distilled" into Poisson flow consistency models (PFCM) via an updated version of consistency distillation. We call this approach posterior sampling Poisson flow consistency models (PS-PFCM). Our results indicate that the added flexibility of tuning the hyperparameter D, the dimensionality of the augmentation variables in PFGM++, allows us to outperform consistency models, a current state-of-the-art diffusion-style model with NFE=1 on clinical low-dose CT images. Notably, PFCM is in itself a novel family of deep generative models and we provide initial results on the CIFAR-10 dataset.


title: Finite Multiple Mixed Values

abstract: In recent years, a variety of variants of multiple zeta values (MZVs) have been defined and studied. One way to produce these variants is to restrict the indices in the definition of MZVs to some fixed parity pattern, which include Hoffman's multiple $t$-values, Kaneko and Tsumura's multiple $T$-values, and Xu and the author's multiple $S$-values. We have also considered the so-called multiple mixed values by allowing all possible parity patterns and studied a few important relations among these values. In this paper, we will turn to their finite analogs and their symmetric forms, motivated by a deep conjecture of Kaneko and Zagier which relates the finite MZVs and symmetric MZVs, and a generalized version of this conjecture by the author to the Euler sum (i.e., level two) setting. We will present a few important relations among these values such as the stuffle, reversal, and linear shuffle relations. We will also compute explicitly the (conjecturally smallest) generating set in weight one and two cases. In the appendix we tabulate some dimension computation for various sub-spaces of the finite multiple mixed values and propose a conjecture.


title: The Monte Carlo Computational Summit -- October 25 & 26, 2023 -- Notre Dame, Indiana, USA

abstract: The Monte Carlo Computational Summit was held on the campus of the University of Notre Dame in South Bend, Indiana, USA on 25--26 October 2023. The goals of the summit were to discuss algorithmic and software alterations required for successfully porting respective code bases to exascale-class computing hardware, compare software engineering techniques used by various code teams, and consider the adoption of industry-standard benchmark problems to better facilitate code-to-code performance comparisons. A large portion of the meeting included candid discussions of direct experiences with approaches that have and have not worked. Participants reported that identifying and implementing suitable Monte Carlo algorithms for GPUs continues to be a sticking point. They also report significant difficulty porting existing algorithms between GPU APIs (specifically Nvidia CUDA to AMD ROCm). To better compare code-to-code performance, participants decided to design a C5G7-like benchmark problem with a defined figure of merit, with the expectation of adding more benchmarks in the future. Problem specifications and results will eventually be hosted in a public repository and will be open to submissions by all Monte Carlo transport codes capable of running the benchmark problem. The participants also identified the need to explore the intermediate and long-term future of the Monte Carlo neutron transport community and how best to modernize and contextualize Monte Carlo as a useful tool in modern industry. Overall the summit was considered to be a success by the organizers and participants, and the group shared a strong desire for future, potentially larger, Monte Carlo summits.


title: Quiver Heisenberg algebras: a cubic analogue of preprojective algebras

abstract: In this paper we study a certain class of central extensions of preprojective algebras of quivers under the name quiver Heisenberg algebras (QHA). There are several classes of algebras introduced before by different researchers from different view points, which have the QHA as a special case. While these have mainly been studied in characteristic zero, we also study the case of positive characteristic. Our results show that the QHA is closely related to the representation theory of the corresponding path algebra in a similar way to the preprojective algebra. Among other things, one of our main results is that the QHA provides an exact sequence of bimodules over the path algebra of a quiver, which can be called the universal Auslander-Reiten sequence. Moreover, we show that the QHA provides minimal left and right approximations with respect to the powers of the radical functor. Consequently, we obtain a description of the QHA as a module over the path algebra, which in the Dynkin case, gives a categorification (as well as a generalization to the positive characteristic case) of the dimension formula by Etingof-Rains.


title: A Search for Magnetized Quark Nuggets (MQNs), a Candidate for Dark Matter, Accumulating in Iron Ore

abstract: A search has been carried out for Magnetized Quark Nuggets (MQNs) accumulating in iron ore over geologic time. MQNs, which are theoretically consistent with the Standard Models of Physics and of Cosmology, have been suggested as dark-matter candidates. Indirect evidence of MQNs has been previously inferred from observations of magnetars and of non-meteorite impact craters. It is shown in this paper that MQNs can accumulate in taconite (iron ore) and be transferred into ferromagnetic rod-mill liners during processing of the ore. When the liners are recycled to make fresh steel, they are heated to higher than the Curie temperature so that their ferromagnetic properties are destroyed. The MQNs would then be released and fall into the ferromagnetic furnace bottom where they would be trapped. Three such furnace bottoms have been magnetically scanned to search for the magnetic anomalies consistent with trapped MQNs. The observed magnetic anomalies are equivalent to an accumulation rate of ~1 kg of MQNs per 1.2 x $10^8$ kg of taconite ore processed. The results are consistent with MQNs but there could be other, unknown explanations. We propose an experiment and calculations to definitively test the MQN hypothesis for dark matter.


title: On Limitations of the Transformer Architecture

abstract: What are the root causes of hallucinations in large language models (LLMs)? We use Communication Complexity to prove that the Transformer layer is incapable of composing functions (e.g., identify a grandparent of a person in a genealogy) if the domains of the functions are large enough; we show through examples that this inability is already empirically present when the domains are quite small. We also point out that several mathematical tasks that are at the core of the so-called compositional tasks thought to be hard for LLMs are unlikely to be solvable by Transformers, for large enough instances and assuming that certain well accepted conjectures in the field of Computational Complexity are true.


title: What is a "bug"? On subjectivity, epistemic power, and implications for software research

abstract: Considerable effort in software research and practice is spent on bugs. Finding, reporting, tracking, triaging, attempting to fix them automatically, detecting "bug smells" -these comprise a substantial portion of large projects' time and development cost, and are of significant interest to researchers in Software Engineering, Programming Languages, and beyond. But, what is a bug, exactly? While segmentation faults rarely spark joy, most bugs are not so clear cut. Per the Oxford English Dictionary, the word "bug" has been a colloquialism for an engineering "defect" at least since the 1870s. Most modern software-oriented definitions speak to a disconnect between what a developer intended and what a program actually does. Formal verification, from its inception, has developed means to identify deviations from a formal specification, expected to more or less fully encode desired behavior. However, software is rarely accompanied by full and formal specifications, and this intention is instead treated as implicit or partially-documented at best. The International Software Testing Qualifications board writes: "A human being can make an error (mistake), which produces a defect (fault, bug) in the program code, or in a document. If a defect in code is executed, the system may fail to do what it should do (or do something it shouldn't), causing a failure. Defects may result in failures, but not all [do]". Most sources forsake this precision. The influential paper "Finding bugs is easy" begins by saying "bug patterns are code idioms that are often errors"-with no particular elaboration. Other work relies on imperfect practical proxies for specifications. For example, in automatic program repair research, a bug corresponds to a failing test case: when the test passes, the bug is considered fixed. However, when we interrogate fairly straightforward definitions, they start to break down...


title: On convertibility among bipartite 2x2 entangled states

abstract: Some progress is reported on conditions for convertibility among bipartite 2x2 entangled states: An inconvertibility condition related to the rank of an entangled state is given that it is impossible to convert to an entangled state with lower rank under separable operations; a particular set of local operations and classical communication (LOCC) is used to analyze convertibility of three subclasses of states - Werner states, Bell diagonal states and maximally entangled mixed states (MEMS). It is conjectured that MEMS may lie on the bottom of entangled state ordering for given entanglement of formation. A plausible way is suggested of systematically calculating convertibility in a general subclass of bipartite states whose density matrices are defined to be diagonal in a common basis. The set of LOCC adopted in this work is argued to be generalizable to provide sufficient conditions for convertibility among a large range of general 2x2 entangled states.


title: Intrinsic Orbital Angular Momentum Originated from Optical Catastrophe Superposition

abstract: Conventionally, intrinsic orbital angular momentum (OAM) is associated with phase vortices. However, our investigation into the propagation dynamics of 2D superimposed catastrophe beams, termed cyclone catastrophe beams (CCBs), reveals that these beams inherently exhibit rotation and possess OAM, distinct from the typical connection to phase vortices. Our observations clearly show these beams rotating during autofocusing propagation and particle manipulation, confirming the presence of OAM. Theoretical calculations affirm that the OAM of these beams is intrinsic and can be adjusted by varying the number of superimposed beams. Furthermore, our interference and phase studies indicate that, although CCBs exhibit phase vortices, they do not rotate around the singularities of phase vortices and their total topological charges are zero. This implies that the manifestation of OAM within CCBs does not rely on nonzero topological charge of the presented phase vortices within CCBs. Especially, eigenstates decomposition analysis illustrates that CCBs can be decomposed as a composite of Laguerre-Gaussian (LG) modes with uneven fidelity, where the topological charges of LG modes align with multiples of the superimposed catastrophe beams but do not equal to the value of the OAM per photon within CCBs, emphasizing the intrinsic OAM within CCBs and the absence of a connection to phase vortices. Our findings not only advance the understanding of the relationship between OAM and phase vortices but also pave the way for different applications of OAM waves, catalyzing their development in optics and other domains.


title: A Nonlocality Anomaly and Extended Semiquantum Games

abstract: A nonlocality anomaly in which a partially entangled state can outperform a maximally entangled state in a task exploiting nonlocality and several ways to remove the anomaly are discussed. A necessary condition for the anomaly to occur is given in terms of joint probabilities of local measurements. By extending semiquantum games to include classical communication, the anomaly is shown to be removed with respect to semiquantum probabilities.


title: Non commutative classical and Quantum fractionary Cosmology: FRW case

abstract: In this work we shall explore the effects of non commutativity in fractional classical and quantum schemes using the flat Friedmmann-Robertson-Walker (FRW) cosmological model coupled to a scalar field in the K-essence formalism. In previous work we have obtained the commutative solutions in both regimes into the fractional framework. Here we introduce noncommutative variables, considering that all minisuperspace variables $\rm q^i_{nc}$ do not commute, so the symplectic structure was modified. In the quantum regime, the probability density presents new structure in the scalar field corresponding to the value of the non-commutative parameter, in the sense that this probability density undergoes a shift back to the direction of the scale factor, causing classical evolution to arise earlier than in the commutative world.


title: LLaGA: Large Language and Graph Assistant

abstract: Graph Neural Networks (GNNs) have empowered the advance in graph-structured data analysis. Recently, the rise of Large Language Models (LLMs) like GPT-4 has heralded a new era in deep learning. However, their application to graph data poses distinct challenges due to the inherent difficulty of translating graph structures to language. To this end, we introduce the Large Language and Graph Assistant (LLaGA), an innovative model that effectively integrates LLM capabilities to handle the complexities of graph-structured data. LLaGA retains the general-purpose nature of LLMs while adapting graph data into a format compatible with LLM input. LLaGA achieves this by reorganizing graph nodes to structure-aware sequences and then mapping these into the token embedding space through a versatile projector. LLaGA excels in versatility, generalizability and interpretability, allowing it to perform consistently well across different datasets and tasks, extend its ability to unseen datasets or tasks, and provide explanations for graphs. Our extensive experiments across popular graph benchmarks show that LLaGA delivers outstanding performance across four datasets and three tasks using one single model, surpassing state-of-the-art graph models in both supervised and zero-shot scenarios. Our code is available at \url{https://github.com/VITA-Group/LLaGA}.