title: Enhancing Text Classification through LLM-Driven Active Learning and Human Annotation

abstract: In the context of text classification, the financial burden of annotation exercises for creating training data is a critical issue. Active learning techniques, particularly those rooted in uncertainty sampling, offer a cost-effective solution by pinpointing the most instructive samples for manual annotation. Similarly, Large Language Models (LLMs) such as GPT-3.5 provide an alternative for automated annotation but come with concerns regarding their reliability. This study introduces a novel methodology that integrates human annotators and LLMs within an Active Learning framework. We conducted evaluations on three public datasets. IMDB for sentiment analysis, a Fake News dataset for authenticity discernment, and a Movie Genres dataset for multi-label classification.The proposed framework integrates human annotation with the output of LLMs, depending on the model uncertainty levels. This strategy achieves an optimal balance between cost efficiency and classification performance. The empirical results show a substantial decrease in the costs associated with data annotation while either maintaining or improving model accuracy.


title: Cryogenic Compact Low-Power 60GHz Amplifier for Spin Qubit Control in Monolithic Silicon Quantum Processors

abstract: This paper reports the design and experimental characterization of a cryogenic compact low-power 60GHz amplifier for control of electron/hole spin qubits, as elementary building block for monolithic Si quantum processors. Tested at 2 K, the amplifier exhibits S21 of 15 dB at 59 GHz, BW3dB of 52.5-67.5 GHz, and power consumption of 2.16 mW. Owing to the topology with inductorless active network, the amplifier has a compact core area of 0.18 x 0.19 mm2.


title: Morphodynamics of melting ice over turbulent warm water streams

abstract: We investigate the morphodynamics of an ice layer over a turbulent stream of warm water using numerical simulations. At low water speeds, characteristic streamwise undulations appear, which can be explained by the Reynolds analogy between heat and momentum transfer. As the water speed increases, these undulations combine with spanwise ripples of a much greater length scale. These ripples are generated by a melting mechanism controlled by the instability originating from the ice-water interactions, and, through a melting/freezing process, they evolve downstream with a migration velocity much slower than the turbulence characteristic velocity.


title: Decoding the Narratives: Analyzing Personal Drug Experiences Shared on Reddit

abstract: Online communities such as drug-related subreddits serve as safe spaces for people who use drugs (PWUD), fostering discussions on substance use experiences, harm reduction, and addiction recovery. Users' shared narratives on these forums provide insights into the likelihood of developing a substance use disorder (SUD) and recovery potential. Our study aims to develop a multi-level, multi-label classification model to analyze online user-generated texts about substance use experiences. For this purpose, we first introduce a novel taxonomy to assess the nature of posts, including their intended connections (Inquisition or Disclosure), subjects (e.g., Recovery, Dependency), and specific objectives (e.g., Relapse, Quality, Safety). Using various multi-label classification algorithms on a set of annotated data, we show that GPT-4, when prompted with instructions, definitions, and examples, outperformed all other models. We apply this model to label an additional 1,000 posts and analyze the categories of linguistic expression used within posts in each class. Our analysis shows that topics such as Safety, Combination of Substances, and Mental Health see more disclosure, while discussions about physiological Effects focus on harm reduction. Our work enriches the understanding of PWUD's experiences and informs the broader knowledge base on SUD and drug use.


title: The connection between the chromatic numbers of a hypergraph and its $1$-intersection graph

abstract: A well known problem from an excellent book of Lov\'asz states that any hypergraph with the property that no pair of hyperedges intersect in exactly one vertex can be properly 2-colored. Motivated by this as well as recent works of Keszegh and of Gy\'arf\'as et al we study the $1$-intersection graph of a hypergraph. The $1$-intersection graph encodes those pairs of hyperedges in a hypergraph that intersect in exactly one vertex. We prove for $k\in\{2,4\}$ that all hypergraphs whose $1$-intersection graph is $k$-partite can be properly $k$-colored.


title: Deploying scalable traffic prediction models for efficient management in real-world large transportation networks during hurricane evacuations

abstract: Accurate traffic prediction is vital for effective traffic management during hurricane evacuation. This paper proposes a predictive modeling system that integrates Multilayer Perceptron (MLP) and Long-Short Term Memory (LSTM) models to capture both long-term congestion patterns and short-term speed patterns. Leveraging various input variables, including archived traffic data, spatial-temporal road network information, and hurricane forecast data, the framework is designed to address challenges posed by heterogeneous human behaviors, limited evacuation data, and hurricane event uncertainties. Deployed in a real-world traffic prediction system in Louisiana, the model achieved an 82% accuracy in predicting long-term congestion states over a 6-hour period during a 7-day hurricane-impacted duration. The short-term speed prediction model exhibited Mean Absolute Percentage Errors (MAPEs) ranging from 7% to 13% across evacuation horizons from 1 to 6 hours. Evaluation results underscore the model's potential to enhance traffic management during hurricane evacuations, and real-world deployment highlights its adaptability and scalability in diverse hurricane scenarios within extensive transportation networks.


title: Adding Conditional Control to Diffusion Models with Reinforcement Learning

abstract: Diffusion models are powerful generative models that allow for precise control over the characteristics of the generated samples. While these diffusion models trained on large datasets have achieved success, there is often a need to introduce additional controls in downstream fine-tuning processes, treating these powerful models as pre-trained diffusion models. This work presents a novel method based on reinforcement learning (RL) to add additional controls, leveraging an offline dataset comprising inputs and corresponding labels. We formulate this task as an RL problem, with the classifier learned from the offline dataset and the KL divergence against pre-trained models serving as the reward functions. We introduce our method, $\textbf{CTRL}$ ($\textbf{C}$onditioning pre-$\textbf{T}$rained diffusion models with $\textbf{R}$einforcement $\textbf{L}$earning), which produces soft-optimal policies that maximize the abovementioned reward functions. We formally demonstrate that our method enables sampling from the conditional distribution conditioned on additional controls during inference. Our RL-based approach offers several advantages over existing methods. Compared to commonly used classifier-free guidance, our approach improves sample efficiency, and can greatly simplify offline dataset construction by exploiting conditional independence between the inputs and additional controls. Furthermore, unlike classifier guidance, we avoid the need to train classifiers from intermediate states to additional controls.


title: TutteNet: Injective 3D Deformations by Composition of 2D Mesh Deformations

abstract: This work proposes a novel representation of injective deformations of 3D space, which overcomes existing limitations of injective methods: inaccuracy, lack of robustness, and incompatibility with general learning and optimization frameworks. The core idea is to reduce the problem to a deep composition of multiple 2D mesh-based piecewise-linear maps. Namely, we build differentiable layers that produce mesh deformations through Tutte's embedding (guaranteed to be injective in 2D), and compose these layers over different planes to create complex 3D injective deformations of the 3D volume. We show our method provides the ability to efficiently and accurately optimize and learn complex deformations, outperforming other injective approaches. As a main application, we produce complex and artifact-free NeRF and SDF deformations.


title: The Glow of Axion Quark Nugget Dark Matter: (I) Large Scale Structures

abstract: Axion quark nuggets (AQNs) are hypothetical objects with a mass greater than a few grams and sub-micrometer size, formed during the quark-hadron transition. Originating from the axion field, they offer a possible resolution of the similarity between visible and dark components of the Universe. These composite objects behave as cold dark matter, interacting with ordinary matter and resulting in pervasive electromagnetic radiation throughout the Universe. This work aims to predict the electromagnetic signature in large-scale structures from the AQN-baryon interaction, accounting for thermal and non-thermal radiations. We use Magneticum hydrodynamical simulations to describe the distribution and dynamics of gas and dark matter at cosmological scales. We calculate the electromagnetic signature from radio, starting at $\nu \sim$ 1 GHz, up to a few keV X-ray energies. We find that the AQNs signature is characterized by monopole and fluctuation signals. The amplitude of both signals strongly depends on the average AQN mass and the ionization level of the baryonic environment. We identify a most optimistic scenario with a signal often near the sensitivity limit of existing instruments, such as FIRAS and the South Pole Telescope for high-resolution. Fluctuations in the Extra-galactic Background Light caused by the AQN can be tested with space-based imagers Euclid and James Webb Space Telescope. We also identify a minimal configuration, still out of reach of existing instruments, but future experiments might be able to pose constraints on the AQN model. We conclude that this is a viable dark matter model, which does not violate the canons of cosmology, nor existing observations. The best chances for testing this model reside in 1) ultra-deep IR and optical surveys, 2) spectral distorsions of the CMB and 3) low-frequency (1 GHz < $\nu $ < 100 GHz) and high-resolution ($\ell > 10^4$) observations.


title: ChatEMG: Synthetic Data Generation to Control a Robotic Hand Orthosis for Stroke

abstract: Intent inferral on a hand orthosis for stroke patients is challenging due to the difficulty of data collection from impaired subjects. Additionally, EMG signals exhibit significant variations across different conditions, sessions, and subjects, making it hard for classifiers to generalize. Traditional approaches require a large labeled dataset from the new condition, session, or subject to train intent classifiers; however, this data collection process is burdensome and time-consuming. In this paper, we propose ChatEMG, an autoregressive generative model that can generate synthetic EMG signals conditioned on prompts (i.e., a given sequence of EMG signals). ChatEMG enables us to collect only a small dataset from the new condition, session, or subject and expand it with synthetic samples conditioned on prompts from this new context. ChatEMG leverages a vast repository of previous data via generative training while still remaining context-specific via prompting. Our experiments show that these synthetic samples are classifier-agnostic and can improve intent inferral accuracy for different types of classifiers. We demonstrate that our complete approach can be integrated into a single patient session, including the use of the classifier for functional orthosis-assisted tasks. To the best of our knowledge, this is the first time an intent classifier trained partially on synthetic data has been deployed for functional control of an orthosis by a stroke survivor. Videos and additional information can be found at https://jxu.ai/chatemg.


title: Inside the Working Mechanism of Meta-generalized Gradient Density Functional Approximations: The Example of Quantum Spin-Hall Insulator 1T`-WTe2

abstract: Quantum spin Hall (QSH) insulators have attracted intensive experimental and theoretical studies due to their beneficial applications in spintronic devices. Density functional theory (DFT) meets challenges when describing the electronic structure of QSH materials. Only the Heyd-Scuseria-Ernzerhof (HSE06) with spin-orbit coupling (SOC) is effective in revealing the band opening in the typical QSH 1T`-WTe2, but with increased computational demands. Here, using DFT, Wannier function simulations, the screened hybrid HSE06 functional, and first-principles-based many body perturbation theory GW, we investigate the sensitive electronic structure in monolayer 1T`-WTe2, with advanced meta-generalized gradient (meta-GGA) density functional approximations. The success of the recent SCAN and r2SCAN meta-GGAs left their predecessor meta-GGA made very simple (MVS) ignored by the scientific community. Largely unnoticed were the increased band gaps of MVS compared to any semilocal approximation including SCAN. We find that the non-empirical MVS approximation yields a positive fundamental band gap, without any help from exact exchange, Hubbard U, or SOC correction. We explain the success of the meta-GGA MVS for the band gap in 1T`-WTe2 by presenting two working mechanisms in meta-GGA approximations. Besides, we point out the difficulty of using G0W0 for 1T`-WTe2. Although the single shot GW correction with an MVS reference yields a smaller band gap than GW with PBE, the G0W0@MVS is still not suitable for simulating 1T`-WTe2, due to its negative band gap. These DFT and beyond DFT results highlight the importance of meta-GGAs and novel construction schemes with enhanced kinetic energy density dependence. The MVS approximation re-appears as an appealing alternative for accurately describing 1T`-WTe2, paving an efficient way for exploring other two-dimensional QSH materials in high-throughput calculations.


title: Efficient Sequential Decision Making with Large Language Models

abstract: This paper focuses on extending the success of large language models (LLMs) to sequential decision making. Existing efforts either (i) re-train or finetune LLMs for decision making, or (ii) design prompts for pretrained LLMs. The former approach suffers from the computational burden of gradient updates, and the latter approach does not show promising results. In this paper, we propose a new approach that leverages online model selection algorithms to efficiently incorporate LLMs agents into sequential decision making. Statistically, our approach significantly outperforms both traditional decision making algorithms and vanilla LLM agents. Computationally, our approach avoids the need for expensive gradient updates of LLMs, and throughout the decision making process, it requires only a small number of LLM calls. We conduct extensive experiments to verify the effectiveness of our proposed approach. As an example, on a large-scale Amazon dataset, our approach achieves more than a $6$x performance gain over baselines while calling LLMs in only $1.5$\% of the time steps.


title: An Imaging and Spectroscopic Exploration of the Dusty Compact Obscured Nucleus Galaxy Zw~049.057

abstract: Zw~049.057 is a moderate mass, dusty, early-type galaxy that hosts a powerful compact obscured nucleus (CON, L$_{FIR,CON} \geq$10$^{11}$~L$_{\odot}$). The resolution of HST enabled measurements of the stellar light distribution and characterization of dust features. Zw~049.057 is inclined with a prominent three zone disk; the R$\approx$ 1kpc star forming inner dusty disk contains molecular gas, a main disk with less dust and an older stellar population, and a newly detected outer stellar region at R$>$6~kpc with circular isophotes. Previously unknown polar dust lanes are signatures of a past minor merger that could have warped the outer disk to near face-on. Dust transmission measurements provide lower limit gas mass estimates for dust features. An extended region with moderate optical depth and M$\geq$ 2$\times$10$^8$~M$_{\odot}$ obscures the central 2~kpc. Optical spectra show strong interstellar Na~D absorption with a constant velocity across the main disk, likely arising in this extraplanar medium. Opacity measurements of the two linear dust features, pillars, give a total mass of $\geq$10$^6$~M$_{\odot}$, flow rates of $\geq$2~M$_{\odot}$~yr$^{-1}$, and few Myr flow times. Dust pillars are associated with the CON and are visible signs of its role in driving large-scale feedback. Our assessments of feedback processes suggest gas recycling sustains the CON. However, radiation pressure driven mass loss and efficient star formation must be avoided for the AGN to retain sufficient gas over its lifespan to produce substantial mass growth of the central black hole.


title: Invertible cells in $\omega$-categories

abstract: We study coinductive invertibility of cells in weak $\omega$-categories. We use the inductive presentation of weak $\omega$-categories via an adjunction with the category of computads, and show that invertible cells are closed under all operations of $\omega$-categories. Moreover, we give a simple criterion for invertibility in computads, together with an algorithm computing the data witnessing the invertibility, including the inverse, and the cancellation data.


title: AI "News" Content Farms Are Easy to Make and Hard to Detect: A Case Study in Italian

abstract: Large Language Models (LLMs) are increasingly used as "content farm" models (CFMs), to generate synthetic text that could pass for real news articles. This is already happening even for languages that do not have high-quality monolingual LLMs. We show that fine-tuning Llama (v1), mostly trained on English, on as little as 40K Italian news articles, is sufficient for producing news-like texts that native speakers of Italian struggle to identify as synthetic. We investigate three LLMs and three methods of detecting synthetic texts (log-likelihood, DetectGPT, and supervised classification), finding that they all perform better than human raters, but they are all impractical in the real world (requiring either access to token likelihood information or a large dataset of CFM texts). We also explore the possibility of creating a proxy CFM: an LLM fine-tuned on a similar dataset to one used by the real "content farm". We find that even a small amount of fine-tuning data suffices for creating a successful detector, but we need to know which base LLM is used, which is a major challenge. Our results suggest that there are currently no practical methods for detecting synthetic news-like texts 'in the wild', while generating them is too easy. We highlight the urgency of more NLP research on this problem.


title: The Panchromatic Hubble Andromeda Treasury: Triangulum Extended Region (PHATTER). VI. The High-Mass Stellar Initial Mass Function of M33

abstract: We measure the high-mass stellar initial mass function (IMF) from resolved stars in M33 young stellar clusters. Leveraging \textit{Hubble Space Telescope's} high resolving power, we fully model the IMF probabilistically. We first model the optical CMD of each cluster to constrain its power-law slope $\Gamma$, marginalized over other cluster parameters in the fit (e.g., cluster age, mass, and radius). We then probabilistically model the distribution of MF slopes for a highly strict cluster sample of 9 clusters more massive than log(Mass/M$_{\odot}$)=3.6; above this mass, all clusters have well-populated main sequences of massive stars and should have accurate recovery of their MF slopes, based on extensive tests with artificial clusters. We find the ensemble IMF is best described by a mean high-mass slope of $\overline{\Gamma} = 1.49\pm0.18$, with an intrinsic scatter of $\sigma^{2}_{\Gamma} = 0.02^{+0.16}_{0.00}$, consistent with a universal IMF. We find no dependence of the IMF on environmental impacts such as the local star formation rate or galactocentric radius within M33, which serves as a proxy for metallicity. This $\overline{\Gamma}$ measurement is consistent with similar measurements in M31, despite M33 having a much higher star formation rate intensity. While this measurement is formally consistent with the canonical Kroupa ($\Gamma = 1.30$) IMF, as well as the Salpeter ($\Gamma = 1.35)$) value, it is the second Local Group cluster sample to show evidence for a somewhat steeper high-mass IMF slope. We explore the impacts a steeper IMF slope has on a number of astronomical sub-fields.


title: Efficient particle-conserving brick-wall quantum circuits

abstract: In variational quantum optimization with particle-conserving quantum circuits, it is often difficult to decide a priori which particle-conserving gates and circuit ansatzes would be most efficient for a given problem. This is important especially for noisy intermediate-scale quantum (NISQ) processors with limited resources. While this may be challenging to answer in general, deciding which particle-conserving gate would be most efficient is easier within a specified circuit ansatz. In this paper, we show how to construct efficient particle-conserving gates using some practical ideas from symmetric tensor networks. We derive different types of particle-conserving gates, including the generalized one. We numerically test the gates under the framework of brick-wall circuits. We show that the general particle-conserving gate with only four real parameters is generally best. In addition, we present an algorithm to extend brick-wall circuit with two-qubit nearest-neighbouring gates to non-nearest-neighbouring gates. We test and compare the efficiency of the circuits with Heisenberg spin chain with and without next-nearest-neighbouring interactions.


title: Gram2Vec: An Interpretable Document Vectorizer

abstract: We present Gram2Vec, a grammatical style embedding algorithm that embeds documents into a higher dimensional space by extracting the normalized relative frequencies of grammatical features present in the text. Compared to neural approaches, Gram2Vec offers inherent interpretability based on how the feature vectors are generated. In our demo, we present a way to visualize a mapping of authors to documents based on their Gram2Vec vectors and highlight the ability to drop or add features to view which authors make certain linguistic choices. Next, we use authorship attribution as an application to show how Gram2Vec can explain why a document is attributed to a certain author, using cosine similarities between the Gram2Vec feature vectors to calculate the distances between candidate documents and a query document.


title: Diagrammatics for the smallest quantum coideal and Jones--Wenzl projectors

abstract: We describe algebraically, diagrammatically and in terms of weight vectors, the restriction of tensor powers of the standard representation of quantum $\mathfrak{sl}_2$ to a coideal subalgebra. We realise the category as module category over the monoidal category of type $\pm1$ representations in terms of string diagrams and via generators and relations. The idempotents projecting onto the quantized eigenspaces are described as type $B/D$ analogues of Jones--Wenzl projectors. As an application we introduce and give recursive formulas for analogues of $\Theta$-networks.


title: Mott physics and universal Planckian relaxation in the high-Tc cuprates

abstract: Shortly after the discovery of high-temperature superconducting cuprates, Anderson proposed that Mott physics is instrumental in understanding their phase diagrams. Specifically, he suggested that, similar to the 'almost-localized' Fermi liquid in 3He, the effective mass renormalization in the cuprates is characteristic of a doped Mott insulator, scaling inversely with doping p away from half-filling. However, Mott physics has struggled to account for the 'strange metal' behavior, characterized by a linear-in-temperature (T) 'Planckian' resistivity that extends to very high temperatures, casting doubt on the relevance of Mott physics in the cuprates. Here, we report a comprehensive survey of calorimetry and resistivity data spanning broad doping and temperature ranges. We find that the entropy at high temperatures closely adheres to that of an almost-localized Fermi liquid, implying that Mott physics remains relevant at high energies. We find that the strong doping dependence of the coefficient of the T-linear resistivity at high temperatures also scales inversely with p, suggesting a true universality of the Planckian relaxation rate across the entire phase diagram. Thus, the physics of the cuprates over their entire phase diagram is determined by the joint action of Mott physics and Planckian relaxation physics, with each operating at very different energy scales.


title: Observation of Temperature Independent Anomalous Hall Effect in Thin Bismuth from Near Absolute Zero to 300 K Temperature

abstract: We report our discovery of a temperature independent anomalous Hall effect (AHE) from 15 mK to 300 K temperature occurring in a 68 nm thick transport device made out of pure bismuth. This surprising behaviour is accompanied with an expected temperature dependent longitudinal resistance consistent with semi-metallic bismuth, however it surprisingly showed no hint of a magnetoresistance for magnetic fields between $\pm30$ T. Even though bismuth is a diamagnetic material which {\it a priori} does not break time-reversal symmetry (TRS), our analysis of the reconstructed conductivities points towards the AHE to be of the intrinsic type, which does not emanate from magnetic impurities. Finally, as pure bismuth has been shown numerically to host a Berry curvature at its surface which breaks inversion symmetry, we propose it as a possible explanation for the temperature independent AHE observed here.


title: Patient Assignment and Prioritization for Multi-Stage Care with Reentrance

abstract: In this paper, we study a queueing model that incorporates patient reentrance to reflect patients' recurring requests for nurse care and their rest periods between these requests. Within this framework, we address two levels of decision-making: the priority discipline decision for each nurse and the nurse-patient assignment problem. We introduce the shortest-first and longest-first rules in the priority discipline decision problem and show the condition under which each policy excels through theoretical analysis and comprehensive simulations. For the nurse-patient assignment problem, we propose two heuristic policies. We show that the policy maximizing the immediate decrease in holding costs outperforms the alternative policy, which considers the long-term aggregate holding cost. Additionally, both proposed policies significantly surpass the benchmark policy, which does not utilize queue length information.


title: Integrating 2D Magnets for Quantum Devices: from Materials and Characterization to Future Technology

abstract: The unveiling of 2D van der Waals magnetism in 2017 ignited a surge of interest in low-dimensional magnetism. With dimensions reduced, research has delved into facile electric control of 2D magnetism, high-quality heterostructure design, and new device functionality. These atomically thin magnetic materials have spawned a burgeoning field known as 2D spintronics, holding immense promise for future quantum technologies. In this review, we comprehensively survey the current advancements in 2D magnet-based quantum devices, accentuating their role in manifesting exotic properties and enabling novel functionalities. Topological states, spin torques, voltage control of magnetic anisotropy, strain engineering, twistronics and designer interface will be discussed. Furthermore, we offer an outlook to guide their development in future CMOS and quantum hardware paradigms.


title: IDs for AI Systems

abstract: AI systems are increasingly pervasive, yet information needed to decide whether and how to engage with them may not exist or be accessible. A user may not be able to verify whether a system satisfies certain safety standards. An investigator may not know whom to investigate when a system causes an incident. A platform may find it difficult to penalize repeated negative interactions with the same system. Across a number of domains, IDs address analogous problems by identifying \textit{particular} entities (e.g., a particular Boeing 747) and providing information about other entities of the same class (e.g., some or all Boeing 747s). We propose a framework in which IDs are ascribed to \textbf{instances} of AI systems (e.g., a particular chat session with Claude 3), and associated information is accessible to parties seeking to interact with that system. We characterize IDs for AI systems, argue that there could be significant demand for IDs from key actors, analyze how those actors could incentivize ID adoption, explore potential implementations of our framework, and highlight limitations and risks. IDs seem most warranted in high-stakes settings, where certain actors (e.g., those that enable AI systems to make financial transactions) could experiment with incentives for ID use. Deployers of AI systems could experiment with developing ID implementations. With further study, IDs could help to manage a world where AI systems pervade society.


title: Bias in Text Embedding Models

abstract: Text embedding is becoming an increasingly popular AI methodology, especially among businesses, yet the potential of text embedding models to be biased is not well understood. This paper examines the degree to which a selection of popular text embedding models are biased, particularly along gendered dimensions. More specifically, this paper studies the degree to which these models associate a list of given professions with gendered terms. The analysis reveals that text embedding models are prone to gendered biases but in varying ways. Although there are certain inter-model commonalities, for instance, greater association of professions like nurse, homemaker, and socialite with female identifiers, and greater association of professions like CEO, manager, and boss with male identifiers, not all models make the same gendered associations for each occupation. Furthermore, the magnitude and directionality of bias can also vary on a model-by-model basis and depend on the particular words models are prompted with. This paper demonstrates that gender bias afflicts text embedding models and suggests that businesses using this technology need to be mindful of the specific dimensions of this problem.


title: Fixed points of non-uniform permutations and representation theory of the symmetric group

abstract: We use representation theory of the symmetric group S_n to prove Poisson limit theorems for the distribution of fixed points for three types of non-uniform permutations. First, we give results for the commutator of g and x where g and x are uniform in S_n. Second, we give results for the commutator of g and x where g in uniform in S_n and x is fixed. Third, we give results for permutations obtained by multiplying n*log(n)/i + cn many random i-cycles. Some of our results are known by other, quite different, methods.


title: COT Flow: Learning Optimal-Transport Image Sampling and Editing by Contrastive Pairs

abstract: Diffusion models have demonstrated strong performance in sampling and editing multi-modal data with high generation quality, yet they suffer from the iterative generation process which is computationally expensive and slow. In addition, most methods are constrained to generate data from Gaussian noise, which limits their sampling and editing flexibility. To overcome both disadvantages, we present Contrastive Optimal Transport Flow (COT Flow), a new method that achieves fast and high-quality generation with improved zero-shot editing flexibility compared to previous diffusion models. Benefiting from optimal transport (OT), our method has no limitation on the prior distribution, enabling unpaired image-to-image (I2I) translation and doubling the editable space (at both the start and end of the trajectory) compared to other zero-shot editing methods. In terms of quality, COT Flow can generate competitive results in merely one step compared to previous state-of-the-art unpaired image-to-image (I2I) translation methods. To highlight the advantages of COT Flow through the introduction of OT, we introduce the COT Editor to perform user-guided editing with excellent flexibility and quality. The code will be released at https://github.com/zuxinrui/cot_flow.


title: A dual task learning approach to fine-tune a multilingual semantic speech encoder for Spoken Language Understanding

abstract: Self-Supervised Learning is vastly used to efficiently represent speech for Spoken Language Understanding, gradually replacing conventional approaches. Meanwhile, textual SSL models are proposed to encode language-agnostic semantics. SAMU-XLSR framework employed this semantic information to enrich multilingual speech representations. A recent study investigated SAMU-XLSR in-domain semantic enrichment by specializing it on downstream transcriptions, leading to state-of-the-art results on a challenging SLU task. This study's interest lies in the loss of multilingual performances and lack of specific-semantics training induced by such specialization in close languages without any SLU implication. We also consider SAMU-XLSR's loss of initial cross-lingual abilities due to a separate SLU fine-tuning. Therefore, this paper proposes a dual task learning approach to improve SAMU-XLSR semantic enrichment while considering distant languages for multilingual and language portability experiments.


title: Slicing Through Bias: Explaining Performance Gaps in Medical Image Analysis using Slice Discovery Methods

abstract: Machine learning models have achieved high overall accuracy in medical image analysis. However, performance disparities on specific patient groups pose challenges to their clinical utility, safety, and fairness. This can affect known patient groups - such as those based on sex, age, or disease subtype - as well as previously unknown and unlabeled groups. Furthermore, the root cause of such observed performance disparities is often challenging to uncover, hindering mitigation efforts. In this paper, to address these issues, we leverage Slice Discovery Methods (SDMs) to identify interpretable underperforming subsets of data and formulate hypotheses regarding the cause of observed performance disparities. We introduce a novel SDM and apply it in a case study on the classification of pneumothorax and atelectasis from chest x-rays. Our study demonstrates the effectiveness of SDMs in hypothesis formulation and yields an explanation of previously observed but unexplained performance disparities between male and female patients in widely used chest X-ray datasets and models. Our findings indicate shortcut learning in both classification tasks, through the presence of chest drains and ECG wires, respectively. Sex-based differences in the prevalence of these shortcut features appear to cause the observed classification performance gap, representing a previously underappreciated interaction between shortcut learning and model fairness analyses.


title: Aspects of automatic continuity

abstract: A general overview of the phenomenon of automatic continuity of homomorphisms between Polish groups is given. In particular, we study variants and improvements of the closed graph theorem, applying these to the problem of continuity of universally measurable homomorphisms and also to gauge the amount of choice needed to construct discontinuous homomorphisms between Polish groups. Furthermore, we provide a simple proof of automatic continuity in the context of homeomorphism groups of compact manifolds and a complete reworking of automatic continuity theory in the context of isometry groups of highly homogeneous complete metric structures.


title: Nonlinear Stability of Relative Equilibria in Planar $N$-Vortex Problem

abstract: We prove a sufficient condition for nonlinear stability of relative equilibria in the planar $N$-vortex problem. This result builds on our previous work on the Hamiltonian formulation of its relative dynamics as a Lie--Poisson system. The relative dynamics recasts the stability of relative equilibria of the $N$-vortex problem as that of the corresponding fixed points in the relative dynamics. We analyze the stability of such fixed points by exploiting the Hamiltonian formulation as well as invariants and constraints that naturally arise in the relative dynamics. The stability condition is essentially an Energy--Casimir method, except that we also incorporate the constraints in an effective manner. We apply the method to two types of relative equilibria: (i) three identical vortices at the vertices of an equilateral triangle along with another one at its center and (ii) four identical vortices at the vertices of a square with another one its center, where the circulation of the vortex at the center is arbitrary in both cases. We show that they are stable/unstable depending on the circulation of the vortex at the center.


title: Minimax Linear Regression under the Quantile Risk

abstract: We study the problem of designing minimax procedures in linear regression under the quantile risk. We start by considering the realizable setting with independent Gaussian noise, where for any given noise level and distribution of inputs, we obtain the exact minimax quantile risk for a rich family of error functions and establish the minimaxity of OLS. This improves on the known lower bounds for the special case of square error, and provides us with a lower bound on the minimax quantile risk over larger sets of distributions. Under the square error and a fourth moment assumption on the distribution of inputs, we show that this lower bound is tight over a larger class of problems. Specifically, we prove a matching upper bound on the worst-case quantile risk of a variant of the recently proposed min-max regression procedure, thereby establishing its minimaxity, up to absolute constants. We illustrate the usefulness of our approach by extending this result to all $p$-th power error functions for $p \in (2, \infty)$. Along the way, we develop a generic analogue to the classical Bayesian method for lower bounding the minimax risk when working with the quantile risk, as well as a tight characterization of the quantiles of the smallest eigenvalue of the sample covariance matrix.


title: Should AI Optimize Your Code? A Comparative Study of Current Large Language Models Versus Classical Optimizing Compilers

abstract: In the contemporary landscape of computer architecture, the demand for efficient parallel programming persists, needing robust optimization techniques. Traditional optimizing compilers have historically been pivotal in this endeavor, adapting to the evolving complexities of modern software systems. The emergence of Large Language Models (LLMs) raises intriguing questions about the potential for AI-driven approaches to revolutionize code optimization methodologies. This paper presents a comparative analysis between two state-of-the-art Large Language Models, GPT-4.0 and CodeLlama-70B, and traditional optimizing compilers, assessing their respective abilities and limitations in optimizing code for maximum efficiency. Additionally, we introduce a benchmark suite of challenging optimization patterns and an automatic mechanism for evaluating performance and correctness of the code generated by such tools. We used two different prompting methodologies to assess the performance of the LLMs -- Chain of Thought (CoT) and Instruction Prompting (IP). We then compared these results with three traditional optimizing compilers, CETUS, PLUTO and ROSE, across a range of real-world use cases. A key finding is that while LLMs have the potential to outperform current optimizing compilers, they often generate incorrect code on large code sizes, calling for automated verification methods. Our extensive evaluation across 3 different benchmarks suites shows CodeLlama-70B as the superior optimizer among the two LLMs, capable of achieving speedups of up to 2.1x. Additionally, CETUS is the best among the optimizing compilers, achieving a maximum speedup of 1.9x. We also found no significant difference between the two prompting methods: Chain of Thought (Cot) and Instructing prompting (IP).


title: Metacognitive AI: Framework and the Case for a Neurosymbolic Approach

abstract: Metacognition is the concept of reasoning about an agent's own internal processes and was originally introduced in the field of developmental psychology. In this position paper, we examine the concept of applying metacognition to artificial intelligence. We introduce a framework for understanding metacognitive artificial intelligence (AI) that we call TRAP: transparency, reasoning, adaptation, and perception. We discuss each of these aspects in-turn and explore how neurosymbolic AI (NSAI) can be leveraged to address challenges of metacognition.


title: Complex variable solution on noncircular and asymmetrical tunnelling embedded by bidirectional conformal mapping incorporating Charge Simulation Method

abstract: Mechanical issues of noncircular and asymmetrical tunnelling can be estimated using complex variable method with suitable conformal mapping. Exsiting solution schemes of conformal mapping for noncircular tunnel generally need iteration or optimization strategy, and are thereby mathematically complicated. This paper proposes a new bidirectional conformal mapping for deep and shallow tunnels of noncircular and asymmetrical shapes by incorporating Charge Simulation Method. The solution scheme of this new bidirectional conformal mapping only involves a pair of linear systems, and is therefore logically straight-forward, computationally efficient, and practically easy in coding. New numerical strategies are developed to deal with possible sharp corners of cavity by small arc simulation and densified collocation points. Several numerical examples are presented to illustrate the geometrical usage of the new bidirectional conformal mapping. Furthermore, the new bidirectional conformal mapping is embedded into two complex variable solutions of noncircular and asymmetrical shallow tunnelling in gravitational geomaterial with reasonable far-field displacement. The respective result comparisons with finite element solution and exsiting analytical solution show good agreements, indicating the feasible mechanical usage of the new bidirectional conformal mapping.


title: Tight Streaming Lower Bounds for Deterministic Approximate Counting

abstract: We study the streaming complexity of $k$-counter approximate counting. In the $k$-counter approximate counting problem, we are given an input string in $[k]^n$, and we are required to approximate the number of each $j$'s ($j\in[k]$) in the string. Typically we require an additive error $\leq\frac{n}{3(k-1)}$ for each $j\in[k]$ respectively, and we are mostly interested in the regime $n\gg k$. We prove a lower bound result that the deterministic and worst-case $k$-counter approximate counting problem requires $\Omega(k\log(n/k))$ bits of space in the streaming model, while no non-trivial lower bounds were known before. In contrast, trivially counting the number of each $j\in[k]$ uses $O(k\log n)$ bits of space. Our main proof technique is analyzing a novel potential function. Our lower bound for $k$-counter approximate counting also implies the optimality of some other streaming algorithms. For example, we show that the celebrated Misra-Gries algorithm for heavy hitters [MG82] has achieved optimal space usage.


title: ChaosMining: A Benchmark to Evaluate Post-Hoc Local Attribution Methods in Low SNR Environments

abstract: In this study, we examine the efficacy of post-hoc local attribution methods in identifying features with predictive power from irrelevant ones in domains characterized by a low signal-to-noise ratio (SNR), a common scenario in real-world machine learning applications. We developed synthetic datasets encompassing symbolic functional, image, and audio data, incorporating a benchmark on the {\it (Model \(\times\) Attribution\(\times\) Noise Condition)} triplet. By rigorously testing various classic models trained from scratch, we gained valuable insights into the performance of these attribution methods in multiple conditions. Based on these findings, we introduce a novel extension to the notable recursive feature elimination (RFE) algorithm, enhancing its applicability for neural networks. Our experiments highlight its strengths in prediction and feature selection, alongside limitations in scalability. Further details and additional minor findings are included in the appendix, with extensive discussions. The codes and resources are available at \href{https://github.com/geshijoker/ChaosMining/}{URL}.


title: Exploring $G$-ality defects in 2-dim QFTs

abstract: The Tambara-Yamagami (TY) fusion category symmetry $\text{TY}(\mathbb{A},\chi,\epsilon)$ describes the enhanced non-invertible self-duality symmetry of a $2$-dim QFT under gauging a finite Abelian group $\mathbb{A}$. We generalize the enhanced non-invertible symmetries by considering twisted gauging which allows stacking $\mathbb{A}$-SPT before and after the gauging. Such non-invertible symmetries correspond to invertible anyon permutation symmetries of the $3$-dim SymTFT. Consider a finite group $G$ formed by (un)twisted gaugings of $\mathbb{A}$, a $2$-dim QFT invariant under topological manipulations in $G$ admits non-invertible $\textit{$G$-ality defects}$. We study the classification and the physical implication of the $G$-ality defects using SymTFT and the group-theoretical fusion categories, with three concrete examples. 1) Triality with $\mathbb{A} = \mathbb{Z}_N \times \mathbb{Z}_N$ where $N$ is coprime with $3$. The classification is acquired previously by Jordan and Larson where the data is similar to the $\text{TY}$ fusion categories, and we determine the anomaly of these fusion categories. 2) $p$-ality with $\mathbb{A} = \mathbb{Z}_p \times \mathbb{Z}_p$ where $p$ is an odd prime. We consider two such categories $\mathcal{P}_{\pm,m}$ which are distinguished by different choices of the symmetry fractionalization, a new data that does not appear in the TY classification, and show that they have distinct anomaly structures and spin selection rules. 3) $S_3$-ality with $\mathbb{A} = \mathbb{Z}_N \times \mathbb{Z}_N$. We study their classification explicitly for $N < 20$ via SymTFT, and provide a group-theoretical construction for certain $N$. We find $N=5$ is the minimal $N$ to admit an $S_3$-ality and $N=11$ is the minimal $N$ to admit a group-theoretical $S_3$-ality.


title: On the Stieltjes Approximation Error to Logarithmic Integral

abstract: This paper studies the error introduced ($\displaystyle \varepsilon(x)$) by the Stieltjes asymptotic approximation series $\displaystyle li_{*}(x) = \frac{x}{\log(x)}\sum_{k=0}^{n-1}\frac{k!}{\log^{k}(x)} + (\log(x)-n)\frac{xn!}{\log^{n+1}(x)}$ to the logarithmic integral function $li(x)$ with $\displaystyle n = \lfloor \log(x) \rfloor$ for all $x\ge e$. For this purpose, this paper uses some relations between term $\displaystyle \frac{n!}{\log^{n}(x)}$ and Stirling's approximation formula. In particular, this paper establishes two non-asymptotic lower and upper bounds for $\varepsilon(e^n)$ with $n \ge 1$ and $1 \le m \le n$: (i) $\displaystyle \varepsilon(e^m) + \frac{\sqrt{2\pi}}{8}\sum_{k=m+1}^{n} \frac{1}{k^{\frac{3}{2}}} \le \varepsilon(e^n) \le \varepsilon(e^{m}) + \frac{\sqrt{2\pi}}{4}\sum_{k=m+1}^{n} \frac{k+2}{k^{\frac{5}{2}}}$ (ii) $\displaystyle L_m - \frac{\sqrt{2\pi}}{4\sqrt{n+1}} \le \varepsilon_{n} \le R_m - \frac{\sqrt{2\pi}}{2\sqrt{n}} - \frac{\sqrt{2\pi}}{3\sqrt{n^3}}$. Here, $\displaystyle L_m = \varepsilon_{m} + \frac{\sqrt{2\pi}}{4\sqrt{m+1}}$ and $\displaystyle R_m = \varepsilon_{m} + \frac{\sqrt{2\pi}}{2\sqrt{m}} + \frac{\sqrt{2\pi}}{3\sqrt{m^3}}$ Moreover, this paper shows that if $\displaystyle |\varepsilon(x)| \le \frac{\sqrt{2\pi}}{\sqrt{\log(x)}}$ then $li(e^n) \le li_{*}(e^n)$ for all $n \ge 1$. Finally, this paper establishes non-asymptotic lower and upper bounds for $\varepsilon(x)$ with $x \ge e$: $\displaystyle L_m - \frac{\sqrt{2\pi}}{4\sqrt{n+1}} -\frac{\sqrt{2\pi}}{36\sqrt{n^3}} < \varepsilon(x) \le R_m - \frac{\sqrt{2\pi}}{2\sqrt{n}} - \frac{\sqrt{2\pi}}{3\sqrt{n^3}}$


title: Controlled Erasure as a Building Block for Universal Thermodynamically-Robust Superconducting Computing

abstract: Reducing the energy inefficiency of conventional CMOS-based computing devices -- which rely on logically irreversible gates to process information -- remains both a fundamental engineering challenge and a practical social challenge of increasing importance. In this work, we extend an alternative computing paradigm which utilizes distributions of microstates to store information in the metastable minima determined by an effective potential energy landscape. These minima serve as mesoscopic memory states which are manipulated by a dynamic landscape to perform information processing. Central to our results is the control erase (CE) protocol, which manipulates the landscape's metastable minima to control whether information is preserved or erased. Importantly, successive executions of this protocol can implement a NAND gate -- a logically-irreversible universal logic gate. We show how to practically implement this in a device created by two inductively coupled superconducting quantum interference devices (SQUIDs). We identify circuit parameter ranges that give rise to effective CEs and characterize the protocol's robustness by comparing relevant protocol timescales. Due to their superconducting operational temperatures, performing optimized CEs with SQUIDs can serve as a platform for highly energy-efficient universal computation.


title: Cover times with stochastic resetting

abstract: Cover times quantify the speed of exhaustive search. In this work, we compute exactly the mean cover time associated with a one-dimensional Brownian search under exponentially distributed resetting. We also approximate the moments of cover times of a wide range of stochastic search processes in $d$-dimensional continuous space and on an arbitrary discrete network under frequent stochastic resetting. These results hold for a large class of resetting time distributions and search processes including diffusion and Markov jump processes.


title: A comprehensive comparison of spin-up and spin-down episodes of 4U 1538-522 observed with NuSTAR

abstract: 4U 1538-522 is a persistent high mass X-ray binary which exhibits secular spin evolution. In 2019, it underwent a torque reversal from spinning up to spinning down. We performed an extensive study using four NuSATR observations to compare temporal and spectral properties during different states. We observed no abrupt change in luminosity associated with the torque reversal. In addition, the pulse profile, the spectral shape and the power spectrum remained unchanged before and after the torque reversal. The orbital and super-orbital modulation profiles also showed no significant changes. We discuss possible mechanisms for the torque reversal and conclude that it is unlikely to be caused by interactions between the accretion disk and the magnetosphere. Instead, the transition of accretion modes in spherical accretion may be a plausible explanation.


title: Thrombogenic Risk Assessment of Transcatheter Prosthetic Heart Valves Using a Fluid-Structure Interaction Approach

abstract: Prosthetic heart valve interventions such as TAVR have surged over the past decade, but the associated complication of long-term, life-threatening thrombotic events continues to undermine patient outcomes. Thus, improving thrombogenic risk analysis of TAVR devices is crucial. In vitro studies for thrombogenicity are typically difficult to perform. However, revised ISO testing standards include computational testing for thrombogenic risk assessment of cardiovascular implants. We present a fluid-structure interaction (FSI) approach for assessing thrombogenic risk of prosthetic heart valves. An FSI framework was implemented via the incompressible computational fluid dynamics multi-physics solver of the Ansys LS-DYNA software. The numerical modeling approach for flow analysis was validated by comparing the derived flow rate of the 29-mm CoreValve device from benchtop testing and orifice areas of commercial TAVR valves in the literature to in silico results. Thrombogenic risk was analyzed by computing stress accumulation (SA) on virtual platelets seeded in the flow fields via Ansys EnSight. The integrated FSI-thrombogenicity methodology was subsequently employed to examine hemodynamics and thrombogenic risk of TAVR devices with two approaches: 1) engineering optimization and 2) clinical assessment. Our methodology can be used to improve the thromboresistance of prosthetic valves from the initial design stage to the clinic. It allows for unparalleled optimization of devices, uncovering key TAVR leaflet design parameters that can be used to mitigate thrombogenic risk, in addition to patient-specific modeling to evaluate device performance. This work demonstrates the utility of advanced in silico analysis of TAVR devices that can be utilized for thrombogenic risk assessment of other blood recirculating devices.


title: An Introduction to Computational Fluctuating Hydrodynamics

abstract: These notes are an introduction to fluctuating hydrodynamics (FHD) and the formulation of numerical schemes for the resulting stochastic partial differential equations (PDEs). Fluctuating hydrodynamics was originally introduced by Landau and Lifshitz as a way to put thermal fluctuations into a continuum framework by including a stochastic forcing to each dissipative transport process (e.g., heat flux). While FHD has been useful in modeling transport and fluid dynamics at the mesoscopic scale, theoretical calculations have been feasible only with simplifying assumptions. As such there is great interest in numerical schemes for Computational Fluctuating Hydrodynamics (CFHD). There are a variety of algorithms (e.g., spectral, finite element, lattice Boltzmann) but in this introduction we focus on finite volume schemes. Accompanying these notes is a demonstration program in Python available on GitHub.


title: LLMs Are Prone to Fallacies in Causal Inference

abstract: Recent work shows that causal facts can be effectively extracted from LLMs through prompting, facilitating the creation of causal graphs for causal inference tasks. However, it is unclear if this success is limited to explicitly-mentioned causal facts in the pretraining data which the model can memorize. Thus, this work investigates: Can LLMs infer causal relations from other relational data in text? To disentangle the role of memorized causal facts vs inferred causal relations, we finetune LLMs on synthetic data containing temporal, spatial and counterfactual relations, and measure whether the LLM can then infer causal relations. We find that: (a) LLMs are susceptible to inferring causal relations from the order of two entity mentions in text (e.g. X mentioned before Y implies X causes Y); (b) if the order is randomized, LLMs still suffer from the post hoc fallacy, i.e. X occurs before Y (temporal relation) implies X causes Y. We also find that while LLMs can correctly deduce the absence of causal relations from temporal and spatial relations, they have difficulty inferring causal relations from counterfactuals, questioning their understanding of causality.


title: Exploring the Impact of a Transformer's Latent Space Geometry on Downstream Task Performance

abstract: It is generally thought that transformer-based large language models benefit from pre-training by learning generic linguistic knowledge that can be focused on a specific task during fine-tuning. However, we propose that much of the benefit from pre-training may be captured by geometric characteristics of the latent space representations, divorced from any specific linguistic knowledge. In this work we explore the relationship between GLUE benchmarking task performance and a variety of measures applied to the latent space resulting from BERT-type contextual language models. We find that there is a strong linear relationship between a measure of quantized cell density and average GLUE performance and that these measures may be predictive of otherwise surprising GLUE performance for several non-standard BERT-type models from the literature. These results may be suggestive of a strategy for decreasing pre-training requirements, wherein model initialization can be informed by the geometric characteristics of the model's latent space.


title: Block Circulant Codes with Application to Decentralized Systems

abstract: The structure of linear dependence relations between coded symbols of a linear code, irrespective of specific coefficients involved, is referred to as the {\em topology} of the code. The specification of coefficients is referred to as an {\em instantiation} of the topology. In this paper, we propose a new block circulant topology $T_{[\mu,\lambda,\omega]}(\rho)$ parameterized by integers $\rho \geq 2$, $\omega \geq 1$, $\lambda \geq 2$, and $\mu$ a multiple of $\lambda$. In this topology, the code has $\mu$ local codes with $\rho$ parity-check (p-c) constraints and a total of $\mu\rho$ p-c equations fully define the code. Next, we construct a class of block circulant (BC) codes ${\cal C}_{\text{BC}}[\mu,\lambda,\omega,\rho]$ with blocklength $n=\mu(\rho+\omega)$, dimension $k=\mu\omega$ that instantiate $T_{[\mu,\lambda,\omega]}(\rho)$. Every local code of ${\cal C}_{\text{BC}}[\mu,\lambda,\omega,\rho]$ is a $[\rho+\lambda\omega,\lambda\omega,\rho+1]$ generalized Reed-Solomon (RS) code. The overlap between supports of local codes helps to enhance the minimum distance $\rho+1$ to $2\rho+1$, without compromising much on the rate. We provide an efficient, parallelizable decoding algorithm to correct $2\rho$ erasures when $\lambda=2$. Finally, we illustrate that the BC codes serve as a viable alternative to 2D RS codes in protocols designed to tackle blockchain networks' data availability (DA) problem. In these protocols, every node in a network of light nodes randomly queries symbols from a codeword stored in full nodes and verifies them using a cryptographic commitment scheme. For the same performance in tackling the DA problem, the BC code requires querying a smaller number of symbols than a comparable 2D RS code for a fixed high rate. Furthermore, the number of local codes in the BC code is typically smaller, yielding a reduction in the complexity of realizing the commitment scheme.


title: Understanding Help-Seeking and Help-Giving on Social Media for Image-Based Sexual Abuse

abstract: Image-based sexual abuse (IBSA), like other forms of technology-facilitated abuse, is a growing threat to people's digital safety. Attacks include unwanted solicitations for sexually explicit images, extorting people under threat of leaking their images, or purposefully leaking images to enact revenge or exert control. In this paper, we explore how people seek and receive help for IBSA on social media. Specifically, we identify over 100,000 Reddit posts that engage relationship and advice communities for help related to IBSA. We draw on a stratified sample of 261 posts to qualitatively examine how various types of IBSA unfold, including the mapping of gender, relationship dynamics, and technology involvement to different types of IBSA. We also explore the support needs of victim-survivors experiencing IBSA and how communities help victim-survivors navigate their abuse through technical, emotional, and relationship advice. Finally, we highlight sociotechnical gaps in connecting victim-survivors with important care, regardless of whom they turn to for help.


title: Weyl Law and convergence in the classical limit for min-max nonlocal minimal surfaces

abstract: In \cite{CFS}, the author and collaborators construct infinitely many nonlocal $s$-minimal hypersurfaces (via min-max methods) on any closed $n$-dimensional Riemannian manifold $M$, obtaining an analogue of Yau's conjecture for $s\in(0,1)$. The present article proves a Weyl Law for the fractional perimeters of these hypersurfaces, and it shows their convergence as $s\to 1$ (for $n=3$) to smooth classical minimal surfaces. Our results are used in particular to give a novel proof of the density and equidistribution of classical minimal surfaces for generic metrics in three dimensions, showcasing nonlocal minimal surfaces also as a new approximation theory for the area functional.


title: Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation

abstract: We formulate discussion graph semantics of first-order logic with equality for reasoning about discussion and argumentation as naturally as we would reason about sentences. While there are a few existing proposals to use a formal logic for reasoning about argumentation, they are constructed bottom-up and specialised to the argumentation model by Dung. There is indeed a conspicuous lack of a formal reasoning framework for handling general discussion and argumentation models. We achieve the generality through a top-down formulation of the semantics of first-order logic (with equality) formulas, addressing the current shortage.


title: A Mel Spectrogram Enhancement Paradigm Based on CWT in Speech Synthesis

abstract: Acoustic features play an important role in improving the quality of the synthesised speech. Currently, the Mel spectrogram is a widely employed acoustic feature in most acoustic models. However, due to the fine-grained loss caused by its Fourier transform process, the clarity of speech synthesised by Mel spectrogram is compromised in mutant signals. In order to obtain a more detailed Mel spectrogram, we propose a Mel spectrogram enhancement paradigm based on the continuous wavelet transform (CWT). This paradigm introduces an additional task: a more detailed wavelet spectrogram, which like the post-processing network takes as input the Mel spectrogram output by the decoder. We choose Tacotron2 and Fastspeech2 for experimental validation in order to test autoregressive (AR) and non-autoregressive (NAR) speech systems, respectively. The experimental results demonstrate that the speech synthesised using the model with the Mel spectrogram enhancement paradigm exhibits higher MOS, with an improvement of 0.14 and 0.09 compared to the baseline model, respectively. These findings provide some validation for the universality of the enhancement paradigm, as they demonstrate the success of the paradigm in different architectures.


title: Statistical Uncertainty in Word Embeddings: GloVe-V

abstract: Static word embeddings are ubiquitous in computational social science applications and contribute to practical decision-making in a variety of fields including law and healthcare. However, assessing the statistical uncertainty in downstream conclusions drawn from word embedding statistics has remained challenging. When using only point estimates for embeddings, researchers have no streamlined way of assessing the degree to which their model selection criteria or scientific conclusions are subject to noise due to sparsity in the underlying data used to generate the embeddings. We introduce a method to obtain approximate, easy-to-use, and scalable reconstruction error variance estimates for GloVe (Pennington et al., 2014), one of the most widely used word embedding models, using an analytical approximation to a multivariate normal model. To demonstrate the value of embeddings with variance (GloVe-V), we illustrate how our approach enables principled hypothesis testing in core word embedding tasks, such as comparing the similarity between different word pairs in vector space, assessing the performance of different models, and analyzing the relative degree of ethnic or gender bias in a corpus using different word lists.


title: Universal polynomials for multi-singularity loci of maps

abstract: In the present paper, we prove the existence of universal polynomials which express multi-singularity loci classes of prescribed types for proper morphisms between smooth schemes over an algebraically closed field of characteristic zero -- we call them Thom polynomials for multi-singularity types of maps. It has been referred to as the Thom-Kazarian principle and unsolved for a long time. This result solidifies the foundation for a general enumerative theory of singularities of maps which is applicable to a broad range of problems in classical and modern algebraic geometry. In particular, it would contribute to a satisfactory answer to the rest of (an advanced form of) Hilbert's 15th problem and connect such classics to recent new interests in enumerations inspired by mathematical physics and other fields. A main feature of our proof is a striking use of algebro-geometric cohomology operations. Somewhat surprisingly, when trying to grasp a full perspective of classical enumerative geometry, we will inevitably encounter algebraic cobordism and motivic cohomology.


title: Bounds and Bugs: The Limits of Symmetry Metrics to Detect Partisan Gerrymandering

abstract: We provide both a theoretical and empirical analysis of the Mean-Median Difference (MM) and Partisan Bias (PB), which are both symmetry metrics intended to detect gerrymandering. We consider vote-share, seat-share pairs $(V, S)$ for which one can construct election data having vote share $V$ and seat share $S$, and turnout is equal in each district. We calculate the range of values that MM and PB can achieve on that constructed election data. In the process, we find the range of vote-share, seat share pairs $(V, S)$ for which there is constructed election data with vote share $V$, seat share $S$, and $MM=0$, and see that the corresponding range for PB is the same set of $(V,S)$ pairs. We show how the set of such $(V,S)$ pairs allowing for $MM=0$ (and $PB=0$) changes when turnout in each district is allowed to be different. Although the set of $(V,S)$ pairs for which there is election data with $MM=0$ is the same as the set of $(V,S)$ pairs for which there is election data with $PB=0$, the range of possible values for MM and PB on a fixed $(V, S)$ is different. Additionally, for a fixed constructed election outcome, the values of the Mean-Median Difference and Partisan Bias can theoretically be as large as 0.5. We show empirically that these two metric values can differ by as much as 0.33 in US congressional map data. We use both neutral ensemble analysis and the short-burst method to show that neither the Mean-Median Difference nor the Partisan Bias can reliably detect when a districting map has an extreme number of districts won by a particular party. Finally, we give additional empirical and logical arguments in an attempt to explain why other metrics are better at detecting when a districting map has an extreme number of districts won by a particular party.


title: BPO: Supercharging Online Preference Learning by Adhering to the Proximity of Behavior LLM

abstract: Direct alignment from preferences (DAP) has emerged as a promising paradigm for aligning large language models (LLMs) to human desiderata from pre-collected, offline preference datasets. While recent studies indicate that existing offline DAP methods can directly benefit from online training samples, we highlight the need to develop specific online DAP algorithms to fully harness the power of online training. Specifically, we identify that the learned LLM should adhere to the proximity of the behavior LLM, which collects the training samples. To this end, we propose online Preference Optimization in proximity to the Behavior LLM (BPO), emphasizing the importance of constructing a proper trust region for LLM alignment. We conduct extensive experiments to validate the effectiveness and applicability of our approach by integrating it with various DAP methods, resulting in significant performance improvements across a wide range of tasks when training with the same amount of preference data. Even when only introducing one additional data collection phase, our online BPO improves its offline DAP baseline from 72.0% to 80.2% on TL;DR and from 82.2% to 89.1% on Anthropic Helpfulness in terms of win rate against human reference text.


title: Intermediate Distillation: Data-Efficient Distillation from Black-Box LLMs for Information Retrieval

abstract: Recent research has explored distilling knowledge from large language models (LLMs) to optimize retriever models, especially within the retrieval-augmented generation (RAG) framework. However, most existing training methods rely on extracting supervision signals from LLMs' weights or their output probabilities, which is not only resource-intensive but also incompatible with black-box LLMs. In this paper, we introduce \textit{Intermediate Distillation}, a data-efficient knowledge distillation training scheme that treats LLMs as black boxes and distills their knowledge via an innovative LLM-ranker-retriever pipeline, solely using LLMs' ranking generation as the supervision signal. Extensive experiments demonstrate that our proposed method can significantly improve the performance of retriever models with only 1,000 training instances. Moreover, our distilled retriever model significantly boosts performance in question-answering tasks within the RAG framework, demonstrating the potential of LLMs to economically and effectively train smaller models.


title: Coupled heat and fluid transport in pulled extrusion of cylinders

abstract: In the fabrication of optical fibres, the viscosity of the glass varies dramatically with temperature so that heat transfer plays an important role in the deformation of the fibre geometry. Surprisingly, for quasi-steady drawing, with measurement of pulling tension, the applied heat can be adjusted to control the tension and temperature modelling is not needed. However, when pulling tension is not measured, a coupled heat and fluid flow model is needed to determine the inputs required for a desired output. In the fast process of drawing a preform to a fibre, heat advection dominates conduction so that heat conduction may be neglected. By contrast, in the slow process of extruding a preform, heat conduction is important. This means that solving the coupled flow and temperature modelling is essential for prediction of preform geometry. In this paper we derive such a model that incorporates heat conduction for the extensional flow of fibres. The dramatic variations in viscosity with temperature means that this problem is extremely challenging to solve via standard numerical techniques and we therefore develop a novel finite-difference numerical solution method that proves to be highly robust. We use this method to show that conduction significantly affects the size of internal holes at the exit of the device.


title: Model Selection for Causal Modeling in Missing Exposure Problems

abstract: In causal inference, properly selecting the propensity score (PS) model is a popular topic and has been widely investigated in observational studies. In addition, there is a large literature concerning the missing data problem. However, there are very few studies investigating the model selection issue for causal inference when the exposure is missing at random (MAR). In this paper, we discuss how to select both imputation and PS models, which can result in the smallest RMSE of the estimated causal effect. Then, we provide a new criterion, called the ``rank score" for evaluating the overall performance of both models. The simulation studies show that the full imputation plus the outcome-related PS models lead to the smallest RMSE and the rank score can also pick the best models. An application study is conducted to study the causal effect of CVD on the mortality of COVID-19 patients.


title: Navigating the Labyrinth: Evaluating and Enhancing LLMs' Ability to Reason About Search Problems

abstract: Recently, Large Language Models (LLMs) attained impressive performance in math and reasoning benchmarks. However, they still often struggle with logic problems and puzzles that are relatively easy for humans. To further investigate this, we introduce a new benchmark, SearchBench, containing 11 unique search problem types, each equipped with automated pipelines to generate an arbitrary number of instances and analyze the feasibility, correctness, and optimality of LLM-generated solutions. We show that even the most advanced LLMs fail to solve these problems end-to-end in text, e.g. GPT4 solves only 1.4%. SearchBench problems require considering multiple pathways to the solution as well as backtracking, posing a significant challenge to auto-regressive models. Instructing LLMs to generate code that solves the problem helps, but only slightly, e.g., GPT4's performance rises to 11.7%. In this work, we show that in-context learning with A* algorithm implementations enhances performance. The full potential of this promoting approach emerges when combined with our proposed Multi-Stage-Multi-Try method, which breaks down the algorithm implementation into two stages and verifies the first stage against unit tests, raising GPT-4's performance above 57%.


title: MiSuRe is all you need to explain your image segmentation

abstract: The last decade of computer vision has been dominated by Deep Learning architectures, thanks to their unparalleled success. Their performance, however, often comes at the cost of explainability owing to their highly non-linear nature. Consequently, a parallel field of eXplainable Artificial Intelligence (XAI) has developed with the aim of generating insights regarding the decision making process of deep learning models. An important problem in XAI is that of the generation of saliency maps. These are regions in an input image which contributed most towards the model's final decision. Most work in this regard, however, has been focused on image classification, and image segmentation - despite being a ubiquitous task - has not received the same attention. In the present work, we propose MiSuRe (Minimally Sufficient Region) as an algorithm to generate saliency maps for image segmentation. The goal of the saliency maps generated by MiSuRe is to get rid of irrelevant regions, and only highlight those regions in the input image which are crucial to the image segmentation decision. We perform our analysis on 3 datasets: Triangle (artificially constructed), COCO-2017 (natural images), and the Synapse multi-organ (medical images). Additionally, we identify a potential usecase of these post-hoc saliency maps in order to perform post-hoc reliability of the segmentation model.


title: Expected Bipartite Matching Distance in A $D$-dimensional $L^p$ Space: Approximate Closed-form Formulas and Applications to Mobility Services

abstract: Although many well-known algorithms can solve the bipartite matching problem instance efficiently, it remains an open question how one could estimate the expected optimal matching distance for arbitrary numbers of randomly distributed vertices in a $D$-dimensional $L^p$ space (referred to as a random bipartite matching problem, or RBMP). This paper proposes an analytical model with closed-form formulas (without statistical curve-fitting) that estimate both the probability distribution and expectation of the optimal matching distance of RBMP. Simpler asymptotic approximations of the formulas are also developed for some special cases. A series of Monte-Carlo simulation experiments are conducted to verify the accuracy of the proposed formulas under varying conditions. These proposed distance estimates could be key for strategic performance evaluation and resource planning in a wide variety of application contexts. To illustrate their usefulness, we focus on mobility service systems where matches must be made between customers and service vehicles that are randomly distributed over time and space. We show how the proposed distance formulas provide a theoretical foundation for the empirically assumed Cobb-Douglas matching function for taxi systems, and reveal conditions under which the matching function can be suitable. Our formulas can also be easily incorporated into optimization models to select taxi operation strategies (e.g., whether newly arriving customers shall be instantly matched or pooled into a batch for matching). Agent-based simulations are conducted to verify the predicted performance of the demand pooling strategy for two types of e-hailing taxi systems. The results not only demonstrate the accuracy of the proposed model estimates under various service conditions, but also offer valuable managerial insights for service operators to optimize their strategies.


title: A superconducting full-wave bridge rectifier

abstract: Superconducting thin-film electronics are attractive for their low power consumption, fast operating speeds, and ease of interface with cryogenic systems such as single-photon detector arrays, and quantum computing devices. However, the lack of a reliable superconducting two-terminal asymmetric device, analogous to a semiconducting diode, limits the development of power-handling circuits, fundamental for scaling up these technologies. Existing efforts to date have been limited to single-diode proofs of principle and lacked integration of multiple controllable and reproducible devices to form complex circuits. Here, we demonstrate a robust superconducting diode with tunable polarity using the asymmetric Bean-Livingston surface barrier in niobium nitride micro-bridges, achieving a 43% rectification efficiency. We then realize and integrate several such diodes into a bridge rectifier circuit on a single microchip that performs continuous full-wave rectification up to 3 MHz and AC-to-DC conversion in burst mode at 50 MHz with an estimated peak power efficiency of 60%.


title: Assembly Theory and its Relationship with Computational Complexity

abstract: Assembly theory (AT) quantifies selection using the assembly equation and identifies complex objects that occur in abundance based on two measurements, assembly index and copy number. The assembly index is determined by the minimal number of recursive joining operations necessary to construct an object from basic parts, and the copy number is how many of the given object(s) are observed. Together these allow defining a quantity, called Assembly, which captures the amount of causation required to produce the observed objects in the sample. AT's focus on how selection generates complexity offers a distinct approach to that of computational complexity theory which focuses on minimum descriptions via compressibility. To explore formal differences between the two approaches, we show several simple and explicit mathematical examples demonstrating that the assembly index, itself only one piece of the theoretical framework of AT, is formally not equivalent to other commonly used complexity measures from computer science and information theory including Huffman encoding and Lempel-Ziv-Welch compression.


title: Location-based Radiology Report-Guided Semi-supervised Learning for Prostate Cancer Detection

abstract: Prostate cancer is one of the most prevalent malignancies in the world. While deep learning has potential to further improve computer-aided prostate cancer detection on MRI, its efficacy hinges on the exhaustive curation of manually annotated images. We propose a novel methodology of semisupervised learning (SSL) guided by automatically extracted clinical information, specifically the lesion locations in radiology reports, allowing for use of unannotated images to reduce the annotation burden. By leveraging lesion locations, we refined pseudo labels, which were then used to train our location-based SSL model. We show that our SSL method can improve prostate lesion detection by utilizing unannotated images, with more substantial impacts being observed when larger proportions of unannotated images are used.


title: FCA-RAC: First Cycle Annotated Repetitive Action Counting

abstract: Repetitive action counting quantifies the frequency of specific actions performed by individuals. However, existing action-counting datasets have limited action diversity, potentially hampering model performance on unseen actions. To address this issue, we propose a framework called First Cycle Annotated Repetitive Action Counting (FCA-RAC). This framework contains 4 parts: 1) a labeling technique that annotates each training video with the start and end of the first action cycle, along with the total action count. This technique enables the model to capture the correlation between the initial action cycle and subsequent actions; 2) an adaptive sampling strategy that maximizes action information retention by adjusting to the speed of the first annotated action cycle in videos; 3) a Multi-Temporal Granularity Convolution (MTGC) module, that leverages the muli-scale first action as a kernel to convolve across the entire video. This enables the model to capture action variations at different time scales within the video; 4) a strategy called Training Knowledge Augmentation (TKA) that exploits the annotated first action cycle information from the entire dataset. This allows the network to harness shared characteristics across actions effectively, thereby enhancing model performance and generalizability to unseen actions. Experimental results demonstrate that our approach achieves superior outcomes on RepCount-A and related datasets, highlighting the efficacy of our framework in improving model performance on seen and unseen actions. Our paper makes significant contributions to the field of action counting by addressing the limitations of existing datasets and proposing novel techniques for improving model generalizability.


title: The Wisdom of a Crowd of Brains: A Universal Brain Encoder

abstract: Image-to-fMRI encoding is important for both neuroscience research and practical applications. However, such "Brain-Encoders" have been typically trained per-subject and per fMRI-dataset, thus restricted to very limited training data. In this paper we propose a Universal Brain-Encoder, which can be trained jointly on data from many different subjects/datasets/machines. What makes this possible is our new voxel-centric Encoder architecture, which learns a unique "voxel-embedding" per brain-voxel. Our Encoder trains to predict the response of each brain-voxel on every image, by directly computing the cross-attention between the brain-voxel embedding and multi-level deep image features. This voxel-centric architecture allows the functional role of each brain-voxel to naturally emerge from the voxel-image cross-attention. We show the power of this approach to (i) combine data from multiple different subjects (a "Crowd of Brains") to improve each individual brain-encoding, (ii) quick & effective Transfer-Learning across subjects, datasets, and machines (e.g., 3-Tesla, 7-Tesla), with few training examples, and (iii) use the learned voxel-embeddings as a powerful tool to explore brain functionality (e.g., what is encoded where in the brain).


title: Unusual charge density wave introduced by Janus structure in monolayer vanadium dichalcogenides

abstract: As a fundamental structural feature, the symmetry of materials determines the exotic quantum properties in transition metal dichalcogenides (TMDs) with charge density wave (CDW). Breaking the inversion symmetry, the Janus structure, an artificially constructed lattice, provides an opportunity to tune the CDW states and the related properties. However, limited by the difficulties in atomic-level fabrication and material stability, the experimental visualization of the CDW states in 2D TMDs with Janus structure is still rare. Here, using surface selenization of VTe2, we fabricated monolayer Janus VTeSe. With scanning tunneling microscopy, an unusual root13-root13 CDW state with threefold rotational symmetry breaking was observed and characterized. Combined with theoretical calculations, we find this CDW state can be attributed to the charge modulation in the Janus VTeSe, beyond the conventional electron-phonon coupling. Our findings provide a promising platform for studying the CDW states and artificially tuning the electronic properties toward the applications.


title: Designing Interactions With Shared AVs in Complex Urban Mobility Scenarios

abstract: In this article, we report on the design and evaluation of an external human-machine interface (eHMI) for a real autonomous vehicle (AV), developed to operate as a shared transport pod in a pedestrianized urban space. We present insights about our human-centered design process, which included testing initial concepts through a tangible toolkit and evaluating 360-degree recordings of a staged pick-up scenario in virtual reality. Our results indicate that in complex mobility scenarios, participants filter for critical eHMI messages; further, we found that implicit cues (i.e., pick-up manoeuvre and proximity to the rider) influence participants' experience and trust, while at the same time more explicit interaction modes are desired. This highlights the importance of considering interactions with shared AVs as a service more holistically, in order to develop knowledge about AV-pedestrian interactions in complex mobility scenarios that complements more targeted eHMI evaluations.


title: Aqulia-Med LLM: Pioneering Full-Process Open-Source Medical Language Models

abstract: Recently, both closed-source LLMs and open-source communities have made significant strides, outperforming humans in various general domains. However, their performance in specific professional fields such as medicine, especially within the open-source community, remains suboptimal due to the complexity of medical knowledge. We propose Aquila-Med, a bilingual medical LLM based on Aquila, addressing these challenges through continue pre-training, supervised fine-tuning (SFT), and reinforcement learning from human feedback (RLHF). We construct a large-scale Chinese and English medical dataset for continue pre-training and a high-quality SFT dataset, covering extensive medical specialties. Additionally, we develop a high-quality Direct Preference Optimization (DPO) dataset for further alignment. Aquila-Med achieves notable results across single-turn, multi-turn dialogues, and medical multiple-choice questions, demonstrating the effectiveness of our approach. We open-source the datasets and the entire training process, contributing valuable resources to the research community. Our models and datasets will released at https://huggingface.co/BAAI/AquilaMed-RL.


title: Minimal reflection surfaces in $\mathbb S^3.$ Combinatorics of curvature lines and minimal surfaces based on fundamental pentagons

abstract: We study compact minimal surfaces in the 3-sphere which are constructed by successive reflections from a minimal $n$-gon -- so-called minimal reflection surfaces. The minimal $n$-gon solves a free boundary problem in a fundamental piece of the respective reflection group. We investigate the combinatorics of the curvature lines of reflection surfaces, and construct new examples of minimal reflection surfaces based on pentagons. We end the paper by discussing the area of these minimal surfaces.


title: The Local Account of Bell Nonlocality

abstract: In the century-long history of quantum theory, Bell's theorem stands out among the most thought-provoking results of its foundations. It reveals a conflict between quantum theory's predictions and those allowed by a general framework aligning with locality and realism. Experimental vindications of the quantum predictions were of Nobel-Prize merit and contributed to an established conclusion that nature is non-local. In stark contrast with this orthodoxy, I show that within the Heisenberg picture of unitary quantum theory, Bell inequalities are violated with local elements of reality interacting locally. Here is how: Upon measuring her particle of the entangled pair, Alice smoothly and locally evolves into two non-interacting versions of herself, each of which witnesses and records a different outcome -- she \emph{foliates}. Everything that suitably interacts with the Alices foliates in turn, creating worlds which, for all practical purposes, are independent and autonomous. At spacelike separation, an analogous process occurs to Bob when he measures his particle, locally differentiating him and his surroundings into two non-interacting instances. To confirm the violation of Bell inequalities, Alice and Bob must further interact to produce a record of the joint outcomes. The record arises from the two local worlds of Alice, and those of Bob, and foliates into four instances that respectively indicate `$00$', `$01$', `$10$' and `$11$'. If at least one input of the CHSH test is `$0$', the total measure of records displaying the same outcome is $\cos^2(\pi/8)$; if not, this measure pertains to the records of different outcomes. This article formalizes and explains this local account of Bell `nonlocality'.


title: Spin polarisation and non-isotropic effective mass in the conduction band of GdN

abstract: GdN is a ferromagnetic semiconductor which has seen increasing interest in the preceding decades particularly in the areas of spin- and superconducting- based electronics. Here we report a detailed computational study and optical spectroscopy study of the electronic structure of stoichiometric and nitrogen vacancy doped GdN. Based on our calculations we provide the effective mass tensor for undoped GdN, and some indicative values for electron doped GdN. Such a property is valuable as it can directly affect device design, and be directly measured experimentally to validate the existing computation results.


title: Unlocking the Potential of Early Epochs: Uncertainty-aware CT Metal Artifact Reduction

abstract: In computed tomography (CT), the presence of metallic implants in patients often leads to disruptive artifacts in the reconstructed images, hindering accurate diagnosis. Recently, a large amount of supervised deep learning-based approaches have been proposed for metal artifact reduction (MAR). However, these methods neglect the influence of initial training weights. In this paper, we have discovered that the uncertainty image computed from the restoration result of initial training weights can effectively highlight high-frequency regions, including metal artifacts. This observation can be leveraged to assist the MAR network in removing metal artifacts. Therefore, we propose an uncertainty constraint (UC) loss that utilizes the uncertainty image as an adaptive weight to guide the MAR network to focus on the metal artifact region, leading to improved restoration. The proposed UC loss is designed to be a plug-and-play method, compatible with any MAR framework, and easily adoptable. To validate the effectiveness of the UC loss, we conduct extensive experiments on the public available Deeplesion and CLINIC-metal dataset. Experimental results demonstrate that the UC loss further optimizes the network training process and significantly improves the removal of metal artifacts.


title: Diverse Responses in Lattice Thermal Conductivity of $n$-type/$p$-type Semiconductors Driven by Asymmetric Electron-Phonon Interactions

abstract: Accurately assessing the impact of electron-phonon interaction (EPI) on the lattice thermal conductivity of semiconductors is crucial for the thermal management of electronic devices and a unified physical understanding of this issue is highly desired. In this work, we predict the lattice thermal conductivities of typical direct and indirect bandgap semiconductors accounting for EPI based on mode-level first-principles calculations. It is found that EPI has a larger effect on the lattice thermal conductivity of $p$-type doping compared to $n$-type doping in the same semiconductor at high charge carrier concentrations. The stronger EPI in $p$-type doping is attributed to the relatively higher electron density of states caused by the relatively larger $p$-orbital component. Furthermore, EPI has a stronger influence on the lattice thermal conductivity of $n$-type indirect bandgap semiconductors than $n$-type direct bandgap semiconductors. This is attributed to the relatively lower electron density of states in direct bandgap semiconductors stemming from the $s$-orbital component. This work reveals that there exist diverse responses in lattice thermal conductivity of $n$-type/$p$-type semiconductors, which can be attributed to asymmetric EPIs.


title: Double dimers on planar hyperbolic graphs via circle packings

abstract: In this article we study the double dimer model on hyperbolic Temperleyan graphs via circle packings. We prove that on such graphs, the weak limit of the dimer model exists if and only if the removed black vertex from the boundary of the exhaustion converges to a point on the unit circle in the circle packing representation of the graph. One of our main results is that for such measures, we prove that the double dimer model has no bi-infinite path almost surely. Along the way we prove that the height function of the dimer model has double exponential tail and faces of height larger than k do not percolate for large enough k. The proof uses the connection between winding of uniform spanning trees and dimer heights, the notion of stationary random graphs, and the boundary theory of random walk on circle packings.


title: Energy-aware Incremental OTA Update for Flash-based Batteryless IoT Devices

abstract: Over-the-air (OTA) firmware updates are essential for updating and maintaining IoT devices, especially those batteryless devices reliant on energy harvesting power sources. Flash memory, favored for its low cost and high density, is extensively used for data storage in many IoT devices. However, due to its high energy demands for update operations, there is often insufficient energy for code updates. This paper proposes an incremental flash-based OTA update approach tailored for energy harvesting IoT devices, tackling the challenges brought by limited memory resources and fluctuating energy availability. Our approach is composed of three techniques: segmentbased update packet design, deferred flash segment writes, and checkpoint-free update resumption. Segment-based update packet design segments firmware updates into smaller packets, each tailored for specific memory segments, thereby minimizing unnecessary flash operations and conserving energy. Deferred flash segment writes accumulate packets in Static Random-Access Memory (SRAM) for collective processing, reducing the frequency of energy-intensive operations. Crucially, our checkpointfree update resumption ensures efficient recovery from power interruptions without significant energy cost on data backup. Through thorough experimental evaluation, we have observed that our approach significantly reduces the total energy consumed during OTA updates, and decreases the average total update time in energy harvesting environments.


title: On universal deformation rings of modules over a certain class of symmetric algebras of finite representation type

abstract: Let $\mathbf{k}$ be an algebraically closed field. Recently, K. Erdmann classified the symmetric $\mathbf{k}$-algebras $\Lambda$ of finite representation type such that every non-projective module $M$ has period dividing four. The goal of this paper is to determine the indecomposable modules $M$ over these class of algebras $\Lambda$ whose stable endomorphism ring is isomorphic to $\mathbf{k}$, and then calculate their corresponding universal deformation rings (in the sense of F. M. Bleher and the third author).


title: Quantum $K$-invariants via Quot schemes I

abstract: We study the virtual Euler characteristics of sheaves over Quot schemes of curves, establishing that these invariants fit into a topological quantum field theory (TQFT) valued in $\mathbb{Z}[[q]]$. Utilizing Quot scheme compactifications alongside the TQFT framework, we derive presentations of the small quantum $K$-ring of the Grassmannian. Our approach offers a new method for finding explicit formulas for quantum $K$-invariants.


title: Driven-Dissipative Dynamics of Ultracold Atoms Trapped in an Array of Harmonic Potentials

abstract: We investigate the dynamics of a gas of ultracold atoms that are trapped in an array of harmonic potentials and that interacts with a Bose-Einstein condensate (BEC) that acts as a reservoir of Bogoliubov excitations. The ground and excited energy levels of these trapped ultracold atoms are coupled to each other via detuned Raman lasers with corresponding Rabi frequencies. Once excited via the Raman lasers, these trapped ultracold atoms then return to their ground energy levels, but not necessarily to their original trap locations, by emitting Bogoliubov excitations into the BEC. This combination of driving via Raman lasers to excited energy levels and dissipation via interaction with the BEC resulting in emission of Bogoliubov excitations into it will result in the trapped ultracold atoms approaching a steady state, whereby the expectation value of the number of trapped ultracold atoms in each harmonic trap of the array will attain a constant value over time. One can then use this system to prepare states that require a definite number of atoms in a particular energy level, such as BECs and atom lasers used for atom interferometry and for tests of the foundations of quantum mechanics.