title: Topology of horocycles on geometrically finite nonpositively curved surfaces

abstract: We study the closure of horocycles on rank 1 nonpositively curved surfaces with finitely generated fundamental group. Each horocycle is closed or dense on a certain subset of the unit tangent bundle. In fact, we classify each half-horocycle in terms of the associated geodesic rays. We also determine the nonwandering set of the horocyclic flow and characterize the surfaces admitting a minimal set for this flow.


title: Molecular sieve vacuum swing adsorption purification and radon reduction system for gaseous dark matter and rare-event detectors

abstract: In the field of directional dark matter experiments, SF6 has emerged as an ideal target gas. A critical challenge with this gas, and with other proposed gases, is the effective removal of contaminant gases. This includes radon which produce unwanted background events, but also common pollutants such as water, oxygen, and nitrogen, which can capture ionisation electrons, resulting in loss of detector gas gain over time. We present here a novel molecular sieve (MS) based gas recycling system for the simultaneous removal of both radon and common pollutants from SF6. The apparatus has the additional benefit of minimising gas required in experiments and utilises a Vacuum Swing Adsorption (VSA) technique for continuous, long-term operation. The gas system's capabilities were tested with a 100 L low-pressure SF6 Time Projection Chamber (TPC) detector. For the first time, we present a newly developed low-radioactive MS type 5A. This material was found to emanate radon at 98% less per radon captured compared to commercial counterparts, the lowest known MS emanation at the time of writing. Consequently, the radon activity in the TPC detector was reduced, with an upper limit of less than 7.2 mBq at a 95% confidence level (C.L.). Incorporation of MS types 3A and 4A to absorb common pollutants was found successfully to mitigate against gain deterioration while recycling the target gas.


title: Saturn Platform: Foundation Model Operations and Generative AI for Financial Services

abstract: Saturn is an innovative platform that assists Foundation Model (FM) building and its integration with IT operations (Ops). It is custom-made to meet the requirements of data scientists, enabling them to effectively create and implement FMs while enhancing collaboration within their technical domain. By offering a wide range of tools and features, Saturn streamlines and automates different stages of FM development, making it an invaluable asset for data science teams. This white paper introduces prospective applications of generative AI models derived from FMs in the financial sector.


title: Error Analysis for the Implicit Boundary Integral Method

abstract: The implicit boundary integral method (IBIM) provides a framework to construct quadrature rules on regular lattices for integrals over irregular domain boundaries. This work provides a systematic error analysis for IBIMs on uniform Cartesian grids for boundaries with different degree of regularities. We first show that the quadrature error gains an addition order of $\frac{d-1}{2}$ from the curvature for a strongly convex smooth boundary due to the ``randomness'' in the signed distances. This gain is discounted for degenerated convex surfaces. We then extend the error estimate to general boundaries under some special circumstances, including how quadrature error depends on the boundary's local geometry relative to the underlying grid. Bounds on the variance of the quadrature error under random shifts and rotations of the lattices are also derived.


title: Automated Behavioral Analysis Using Instance Segmentation

abstract: Animal behavior analysis plays a crucial role in various fields, such as life science and biomedical research. However, the scarcity of available data and the high cost associated with obtaining a large number of labeled datasets pose significant challenges. In this research, we propose a novel approach that leverages instance segmentation-based transfer learning to address these issues. By capitalizing on fine-tuning the classification head of the instance segmentation network, we enable the tracking of multiple animals and facilitate behavior analysis in laboratory-recorded videos. To demonstrate the effectiveness of our method, we conducted a series of experiments, revealing that our approach achieves exceptional performance levels, comparable to human capabilities, across a diverse range of animal behavior analysis tasks. Moreover, we emphasize the practicality of our solution, as it requires only a small number of labeled images for training. To facilitate the adoption and further development of our method, we have developed an open-source implementation named Annolid (An annotation and instance segmentation-based multiple animal tracking and behavior analysis package). The codebase is publicly available on GitHub at https://github.com/cplab/annolid. This resource serves as a valuable asset for researchers and practitioners interested in advancing animal behavior analysis through state-of-the-art techniques.


title: Restorebot: Towards an Autonomous Robotics Platform for Degraded Rangeland Restoration

abstract: Degraded rangelands undergo continual shifts in the appearance and distribution of plant life. The nature of these changes however is subtle: between seasons seedlings sprout up and some flourish while others perish, meanwhile, over multiple seasons they experience fluctuating precipitation volumes and can be grazed by livestock. The nature of these conditioning variables makes it difficult for ecologists to quantify the efficacy of intervention techniques under study. To support these observation and intervention tasks, we develop RestoreBot: a mobile robotic platform designed for gathering data in degraded rangelands for the purpose of data collection and intervention in order to support revegetation. Over the course of multiple deployments, we outline the opportunities and challenges of autonomous data collection for revegetation and the importance of further effort in this area. Specifically, we identify that localization, mapping, data association, and terrain assessment remain open problems for deployment, but that recent advances in computer vision, sensing, and autonomy offer promising prospects for autonomous revegetation.


title: Discretely Nonlinearly Stable Weight-Adjusted Flux Reconstruction High-Order Method for Compressible Flows on Curvilinear Grids

abstract: Provable nonlinear stability bounds the discrete approximation and ensures that the discretization does not diverge. For high-order methods, discrete nonlinear stability and entropy stability, have been successfully implemented for discontinuous Galerkin (DG) and residual distribution schemes, where the stability proofs depend on properties of L2-norms. In this paper, nonlinearly stable flux reconstruction (NSFR) schemes are developed for three-dimensional compressible flow in curvilinear coordinates. NSFR is derived by merging the energy stable FR (ESFR) framework with entropy stable DG schemes. NSFR is demonstrated to use larger time-steps than DG due to the ESFR correction functions. NSFR differs from ESFR schemes in the literature since it incorporates the FR correction functions on the volume terms through the use of a modified mass matrix. We also prove that discrete kinetic energy stability cannot be preserved to machine precision for quadrature rules where the surface quadrature is not a subset of the volume quadrature. This paper also presents the NSFR modified mass matrix in a weight-adjusted form. This form reduces the computational cost in curvilinear coordinates through sum-fcatorization and low-storage techniques. The nonlinear stability properties of the scheme are verified on a nonsymmetric curvilinear grid for the inviscid Taylor-Green vortex problem and the correct orders of convergence were obtained for a manufactured solution. Lastly, we perform a computational cost comparison between conservative DG, overintegrated DG, and our proposed entropy conserving NSFR scheme, and find that our proposed entropy conserving NSFR scheme is computationally competitive with the conservative DG scheme.


title: Optimal lower bound for the variance of hitting times for simple random walks on graphs

abstract: We study hitting times in simple random walks on graphs, which measure the time required to reach specific target vertices. Our main result establishes a sharp lower bound for the variance of hitting times. For a simple random walk on a graph with $n$ vertices, we prove that the variance of the hitting time from a vertex $x$ to a vertex $y$, denoted $\tau_y$, is at least of the order $\mathbb{E}_x(\tau_y)^2 / \log n$. When the graph is a tree, we show that $n$ can be replaced by the graph's distance between vertices $x$ and $y$.


title: Two-sample inference for sparse functional data

abstract: We propose a novel test procedure for comparing mean functions across two groups within the reproducing kernel Hilbert space (RKHS) framework. Our proposed method is adept at handling sparsely and irregularly sampled functional data when observation times are random for each subject. Conventional approaches, which are built upon functional principal components analysis, usually assume a homogeneous covariance structure across groups. Nonetheless, justifying this assumption in real-world scenarios can be challenging. To eliminate the need for a homogeneous covariance structure, we first develop the functional Bahadur representation for the mean estimator under the RKHS framework; this representation naturally leads to the desirable pointwise limiting distributions. Moreover, we establish weak convergence for the mean estimator, allowing us to construct a test statistic for the mean difference. Our method is easily implementable and outperforms some conventional tests in controlling type I errors across various settings. We demonstrate the finite sample performance of our approach through extensive simulations and two real-world applications.


title: When will two agents agree on a quantum measurement outcome? Intersubjective agreement in QBism

abstract: In the QBist approach to quantum mechanics, a measurement is an action an agent takes on the world external to herself. A measurement device is an extension of the agent and both measurement outcomes and their probabilities are personal to the agent. According to QBism, nothing in the quantum formalism implies either that the quantum state assignments of two agents or their respective measurement outcomes need to be mutually consistent. Recently, Khrennikov has claimed that QBism's personalist theory of quantum measurement is invalidated by Ozawa's so-called intersubjectivity theorem. Here, following Stacey, we refute Khrennikov's claim by showing that it is not Ozawa's mathematical theorem but an additional assumption made by Khrennikov that QBism is incompatible with. We then address the question of intersubjective agreement in QBism more generally. Even though there is never a necessity for two agents to agree on their respective measurement outcomes, a QBist agent can strive to create conditions under which she would expect another agent's reported measurement outcome to agree with hers. It turns out that the assumptions of Ozawa's theorem provide an example for just such a condition.


title: MedYOLO: A Medical Image Object Detection Framework

abstract: Artificial intelligence-enhanced identification of organs, lesions, and other structures in medical imaging is typically done using convolutional neural networks (CNNs) designed to make voxel-accurate segmentations of the region of interest. However, the labels required to train these CNNs are time-consuming to generate and require attention from subject matter experts to ensure quality. For tasks where voxel-level precision is not required, object detection models offer a viable alternative that can reduce annotation effort. Despite this potential application, there are few options for general purpose object detection frameworks available for 3-D medical imaging. We report on MedYOLO, a 3-D object detection framework using the one-shot detection method of the YOLO family of models and designed for use with medical imaging. We tested this model on four different datasets: BRaTS, LIDC, an abdominal organ Computed Tomography (CT) dataset, and an ECG-gated heart CT dataset. We found our models achieve high performance on commonly present medium and large-sized structures such as the heart, liver, and pancreas even without hyperparameter tuning. However, the models struggle with very small or rarely present structures.


title: Hierarchical Classification of Financial Transactions Through Context-Fusion of Transformer-based Embeddings and Taxonomy-aware Attention Layer

abstract: This work proposes the Two-headed DragoNet, a Transformer-based model for hierarchical multi-label classification of financial transactions. Our model is based on a stack of Transformers encoder layers that generate contextual embeddings from two short textual descriptors (merchant name and business activity), followed by a Context Fusion layer and two output heads that classify transactions according to a hierarchical two-level taxonomy (macro and micro categories). Finally, our proposed Taxonomy-aware Attention Layer corrects predictions that break categorical hierarchy rules defined in the given taxonomy. Our proposal outperforms classical machine learning methods in experiments of macro-category classification by achieving an F1-score of 93\% on a card dataset and 95% on a current account dataset.


title: A Response to Glaze Purification via IMPRESS

abstract: Recent work proposed a new mechanism to remove protective perturbation added by Glaze in order to again enable mimicry of art styles from images protected by Glaze. Despite promising results shown in the original paper, our own tests with the authors' code demonstrated several limitations of the proposed purification approach. The main limitations are 1) purification has a limited effect when tested on artists that are not well-known historical artists already embedded in original training data, 2) problems in evaluation metrics, and 3) collateral damage on mimicry result for clean images. We believe these limitations should be carefully considered in order to understand real world usability of the purification attack.


title: Estimation of Dynamic Origin-Destination Matrices in a Railway Transportation Network integrating Ticket Sales and Passenger Count Data

abstract: Accurately estimating Origin-Destination (OD) matrices is a topic of increasing interest for efficient transportation network management and sustainable urban planning. Traditionally, travel surveys have supported this process; however, their availability and comprehensiveness can be limited. Moreover, the recent COVID-19 pandemic has triggered unprecedented shifts in mobility patterns, underscoring the urgency of accurate and dynamic mobility data supporting policies and decisions with data-driven evidence. In this study, we tackle these challenges by introducing an innovative pipeline for estimating dynamic OD matrices. The real motivating problem behind this is based on the Trenord railway transportation network in Lombardy, Italy. We apply a novel approach that integrates ticket and subscription sales data with passenger counts obtained from Automated Passenger Counting (APC) systems, making use of the Iterative Proportional Fitting (IPF) algorithm. Our work effectively addresses the complexities posed by incomplete and diverse data sources, showcasing the adaptability of our pipeline across various transportation contexts. Ultimately, this research bridges the gap between available data sources and the escalating need for precise OD matrices. The proposed pipeline fosters a comprehensive grasp of transportation network dynamics, providing a valuable tool for transportation operators, policymakers, and researchers. Indeed, to highlight the potentiality of dynamic OD matrices, we showcase some methods to perform anomaly detection of mobility trends in the network through such matrices and interpret them in light of events that happened in the last months of 2022.


title: Least-Cost Structuring of 24/7 Carbon-Free Electricity Procurements

abstract: We consider the construction of renewable portfolios targeting specified carbon-free (CFE) hourly performance scores. We work in a probabilistic framework that uses a collection of simulation scenarios and imposes probability constraints on achieving the desired CFE score. In our approach there is a fixed set of available CFE generators and a given load customer who seeks to minimize annual procurement costs. We illustrate results using a realistic dataset of jointly calibrated solar and wind assets, and compare different approaches to handling multiple loads.


title: Hopf's lemmas and boundary point results for the fractional $p$-Laplacian

abstract: In this paper, we consider different versions of the classical Hopf's boundary lemma in the setting of the fractional $p-$Laplacian for $p \geq 2$. We start by providing for a new proof to a Hopf's lemma based on comparison principles. Afterwards, we give a Hopf's result for sign-changing potential describing the behavior of the fractional normal derivative of solutions around boundary points. The main contribution here is that we do not need to impose a global condition on the sign of the solution. Applications of the main results to boundary point lemmas and non-local non-linear overdetermined problems are also provided.


title: Analysis of photo-induced chirality and magnetic toroidal moment based on Floquet formalism

abstract: We analyze the condition of photo-induced atomic-scale chirality and magnetic toroidal moment. By performing a high-frequency expansion in the Floquet formalism, we derive an effective static model Hamiltonian from the spinful $s$-$p$ hybridized model of a single atom interacting with an electromagnetic wave with a particular polarization. The lowest-order and third-order contributions in the high-frequency expansion give rise to the coupling to induce an electric toroidal monopole corresponding to microscopic chirality, while the second-order contribution provides the coupling to induce a magnetic toroidal dipole. We also discuss the condition of the polarization of the electromagnetic wave and induced multipoles. Our results stimulate a new direction of controlling unconventional multipoles by electromagnetic waves.


title: A new solution for a generalized cosmological wormhole

abstract: We find a new exact solution to Einstein field equations that represents a cosmological wormhole embedded in a flat Friedmann-Lema\^itre-Robertson-Walker universe. The new metric is a generalization of a previous cosmological wormhole solution found by Kim. We explicitly show that the flaring out condition is satisfied at the throat at all cosmic times; in addition, the null energy condition is violated at the throat regardless of the background cosmological model; thus, the spacetime geometry presented here describes a wormhole coupled to the cosmic dynamics that exists at all cosmic times and whose throat remains open in any cosmological model.


title: Stability of Ecological Systems: A Theoretical Review

abstract: The stability of ecological systems is a fundamental concept in ecology, which offers profound insights into species coexistence, biodiversity, and community persistence. In this article, we provide a systematic and comprehensive review on the theoretical frameworks for analyzing the stability of ecological systems. Notably, we survey various stability notions, including linear stability, sign stability, diagonal stability, D-stability, total stability, sector stability, structural stability, and higher-order stability. For each of these stability notions, we examine necessary or sufficient conditions for achieving such stability and demonstrate the intricate interplay of these conditions on the network structures of ecological systems. Finally, we explore the future prospects of these stability notions.


title: Classically-embedded split Cayley hexagons rule three-qubit contextuality with three-element contexts

abstract: As it is well known, split Cayley hexagons of order two live in the three-qubit symplectic polar space in two non-isomorphic embeddings, called classical and skew. Although neither of the two embeddings yields observable-based contextual configurations of their own, {\it classically}-embedded copies are found to fully rule contextuality properties of the most prominent three-qubit contextual configurations in the following sense: each set of unsatisfiable contexts of such a contextual configuration is isomorphic to the set of lines that certain classically-embedded hexagon shares with this particular configuration. In particular, for a doily this shared set comprises three pairwise disjoint lines belonging to a grid of the doily, for an elliptic quadric the corresponding set features nine mutually disjoint lines forming a (Desarguesian) spread on the quadric, for a hyperbolic quadric the set entails 21 lines that are in bijection with the edges of the Heawood graph and, finally, for the configuration that consists of all the 315 contexts of the space its 63 unsatisfiable ones cover an entire hexagon. A particular illustration of this encoding is provided by the {\it line-complement} of a skew-embedded hexagon; its 24 unsatisfiable contexts correspond exactly to those 24 lines in which a particular classical copy of the hexagon differs from the considered skew-embedded one. In connection with the last-mentioned case we also conducted some experimental tests on a Noisy Intermediate Scale Quantum (NISQ) computer to validate our theoretical findings.


title: Coordination of Damping Controllers: A Novel Data-Informed Approach for Adaptability

abstract: This paper explores the novel concept of damping controller coordination, which aims to minimize the Total Action metric by identifying an optimal switching combination (on/off) of these controllers. The metric is rooted in power system physics, capturing oscillation energy associated with all synchronous generators in the grid. While coordination has shown promising results, it has relied on computing linear sensitivities based on the grid model. This paper proposes a data-informed framework to accurately estimate total action and subsequently determine an optimal switching combination. The estimation is provided by a multivariate function approximator that captures the nonlinear relationship between system-wide area measurements, the status of damping controllers, and the conditions of the disturbance. By enabling real-time coordination, electromechanical oscillations are reduced, enhancing power system stability. The concept is tested in the Western North America Power System (wNAPS) and compared with the model-based approach for coordination. The proposed coordination outperforms the model-based approach, demonstrating effective adaptability and performance in handling multi-mode events. Additionally, the results show significant reductions in low-frequency electromechanical oscillations even under various operating conditions, fault locations, and time delay considerations.


title: HAtt-Flow: Hierarchical Attention-Flow Mechanism for Group Activity Scene Graph Generation in Videos

abstract: Group Activity Scene Graph (GASG) generation is a challenging task in computer vision, aiming to anticipate and describe relationships between subjects and objects in video sequences. Traditional Video Scene Graph Generation (VidSGG) methods focus on retrospective analysis, limiting their predictive capabilities. To enrich the scene understanding capabilities, we introduced a GASG dataset extending the JRDB dataset with nuanced annotations involving \textit{Appearance, Interaction, Position, Relationship, and Situation} attributes. This work also introduces an innovative approach, \textbf{H}ierarchical \textbf{Att}ention-\textbf{Flow} (HAtt-Flow) Mechanism, rooted in flow network theory to enhance GASG performance. Flow-Attention incorporates flow conservation principles, fostering competition for sources and allocation for sinks, effectively preventing the generation of trivial attention. Our proposed approach offers a unique perspective on attention mechanisms, where conventional "values" and "keys" are transformed into sources and sinks, respectively, creating a novel framework for attention-based models. Through extensive experiments, we demonstrate the effectiveness of our Hatt-Flow model and the superiority of our proposed Flow-Attention mechanism. This work represents a significant advancement in predictive video scene understanding, providing valuable insights and techniques for applications that require real-time relationship prediction in video data.


title: Robust Functional Principal Component Analysis for Non-Euclidean Random Objects

abstract: Functional data analysis offers a diverse toolkit of statistical methods tailored for analyzing samples of real-valued random functions. Recently, samples of time-varying random objects, such as time-varying networks, have been increasingly encountered in modern data analysis. These data structures represent elements within general metric spaces that lack local or global linear structures, rendering traditional functional data analysis methods inapplicable. Moreover, the existing methodology for time-varying random objects does not work well in the presence of outlying objects. In this paper, we propose a robust method for analysing time-varying random objects. Our method employs pointwise Fr\'{e}chet medians and then constructs pointwise distance trajectories between the individual time courses and the sample Fr\'{e}chet medians. This representation effectively transforms time-varying objects into functional data. A novel robust approach to functional principal component analysis based on a Winsorized U-statistic estimator of the covariance structure is introduced. The proposed robust analysis of these distance trajectories is able to identify key features of time-varying objects and is useful for downstream analysis. To illustrate the efficacy of our approach, numerical studies focusing on dynamic networks are conducted. The results indicate that the proposed method exhibits good all-round performance and surpasses the existing approach in terms of robustness, showcasing its superior performance in handling time-varying objects data.


title: Visible Light Positioning under Luminous Flux Degradation of LEDs

abstract: The position estimation problem based on received power measurements is investigated for visible light systems in the presence of luminous flux degradation of light emitting diodes (LEDs). When the receiver is unaware of this degradation and performs position estimation accordingly, there exists a mismatch between the true model and the assumed model. For this scenario, the misspecified Cram\'er-Rao bound (MCRB) and the mismatched maximum likelihood (MML) estimator are derived to quantify the performance loss due to this model mismatch. Also, the Cram\'er-Rao lower bound (CRB) and the maximum likelihood (ML) estimator are derived when the receiver knows the degradation formula for the LEDs but does not know the decay rate parameter in that formula. In addition, in the presence of full knowledge about the degradation formula and the decay rate parameters, the CRB and the ML estimator are obtained to specify the best achievable performance. By evaluating the theoretical limits and the estimators in these three scenarios, we reveal the effects of the information about the LED degradation model and the decay rate parameters on position estimation performance. It is shown that the model mismatch can result in significant degradation in localization performance at high signal-to-noise ratios, which can be compensated by conducting joint position and decay rate parameter estimation.


title: FULL-W2V: Fully Exploiting Data Reuse for W2V on GPU-Accelerated Systems

abstract: Word2Vec remains one of the highly-impactful innovations in the field of Natural Language Processing (NLP) that represents latent grammatical and syntactical information in human text with dense vectors in a low dimension. Word2Vec has high computational cost due to the algorithm's inherent sequentiality, intensive memory accesses, and the large vocabularies it represents. While prior studies have investigated technologies to explore parallelism and improve memory system performance, they struggle to effectively gain throughput on powerful GPUs. We identify memory data access and latency as the primary bottleneck in prior works on GPUs, which prevents highly optimized kernels from attaining the architecture's peak performance. We present a novel algorithm, FULL-W2V, which maximally exploits the opportunities for data reuse in the W2V algorithm and leverages GPU architecture and resources to reduce access to low memory levels and improve temporal locality. FULL-W2V is capable of reducing accesses to GPU global memory significantly, e.g., by more than 89\%, compared to prior state-of-the-art GPU implementations, resulting in significant performance improvement that scales across successive hardware generations. Our prototype implementation achieves 2.97X speedup when ported from Nvidia Pascal P100 to Volta V100 cards, and outperforms the state-of-the-art by 5.72X on V100 cards with the same embedding quality. In-depth analysis indicates that the reduction of memory accesses through register and shared memory caching and high-throughput shared memory reduction leads to a significantly improved arithmetic intensity. FULL-W2V can potentially benefit many applications in NLP and other domains.


title: How Does Perception Affect Safety: New Metrics and Strategy

abstract: Perception serves as a critical component in the functionality of autonomous agents. However, the intricate relationship between perception metrics and robotic metrics remains unclear, leading to ambiguity in the development and fine-tuning of perception algorithms. In this paper, we introduce a methodology for quantifying this relationship, taking into account factors such as detection rate, detection quality, and latency. Furthermore, we introduce two novel metrics for Human-Robot Collaboration safety predicated upon perception metrics: Critical Collision Probability (CCP) and Average Collision Probability (ACP). To validate the utility of these metrics in facilitating algorithm development and tuning, we develop an attentive processing strategy that focuses exclusively on key input features. This approach significantly reduces computational time while preserving a similar level of accuracy. Experimental results indicate that the implementation of this strategy in an object detector leads to a maximum reduction of 30.091% in inference time and 26.534% in total time per frame. Additionally, the strategy lowers the CCP and ACP in a baseline model by 11.252% and 13.501%, respectively. The source code will be made publicly available in the final proof version of the manuscript.


title: High-density Electromyography for Effective Gesture-based Control of Physically Assistive Mobile Manipulators

abstract: Injury to the cervical spinal cord can cause quadriplegia, impairing muscle function in all four limbs. People with impaired hand function and mobility encounter significant difficulties in carrying out essential self-care and household tasks. Despite the impairment of their neural drive, their volitional myoelectric activity is often partially preserved. High-density electromyography (HDEMG) can detect this myoelectric activity, which can serve as control inputs to assistive devices. Previous HDEMG-controlled robotic interfaces have primarily been limited to controlling table-mounted robot arms. These have constrained reach capabilities. Instead, the ability to control mobile manipulators, which have no such workspace constraints, could allow individuals with quadriplegia to perform a greater variety of assistive tasks, thus restoring independence and reducing caregiver workload. In this study, we introduce a non-invasive wearable HDEMG interface with real-time myoelectric hand gesture recognition, enabling both coarse and fine control over the intricate mobility and manipulation functionalities of an 8 degree-of-freedom mobile manipulator. Our evaluation, involving 13 participants engaging in challenging self-care and household activities, demonstrates the potential of our wearable HDEMG system to profoundly enhance user independence by enabling non-invasive control of a mobile manipulator.


title: Error Correcting States in Ultracold Atoms

abstract: We demonstrate a method for encoding Gottesman-Kitaev-Preskill (GKP) error-correcting qubits with single ultracold atoms trapped in individual sites of a deep optical lattice. Using quantum optimal control protocols, we demonstrate the generation of GKP qubit states with 10 dB squeezing, which is the current minimum allowable squeezing level for use in surface code error correction. States are encoded in the vibrational levels of the individual lattice sites and generated via phase modulation of the lattice potential. Finally, we provide a feasible experimental protocol for the realization of these states. Our protocol opens up possibilities for generating large arrays of atomic GKP states for continuous-variable quantum information.


title: Recognizing Hereditary Properties in the Presence of Byzantine Nodes

abstract: Augustine et al. [DISC 2022] initiated the study of distributed graph algorithms in the presence of Byzantine nodes in the congested clique model. In this model, there is a set $B$ of Byzantine nodes, where $|B|$ is less than a third of the total number of nodes. These nodes have complete knowledge of the network and the state of other nodes, and they conspire to alter the output of the system. The authors addressed the connectivity problem, showing that it is solvable under the promise that either the subgraph induced by the honest nodes is connected, or the graph has $2|B|+1$ connected components. In the current work, we continue the study of the Byzantine congested clique model by considering the recognition of other graph properties, specifically \emph{hereditary properties}. A graph property is \emph{hereditary} if it is closed under taking induced subgraphs. Examples of hereditary properties include acyclicity, bipartiteness, planarity, and bounded (chromatic, independence) number, etc. For each class of graphs $\mathcal{G}$ satisfying an hereditary property (an hereditary graph-class), we propose a randomized algorithm which, with high probability, (1) accepts if the input graph $G$ belongs to $\mathcal{G}$, and (2) rejects if $G$ contains at least $|B| + 1$ disjoint subgraphs not belonging to $\mathcal{G}$. The round complexity of our algorithm is $$\mathcal{O}\left(\left(\dfrac{\log \left(\left|\mathcal{G}_n\right|\right)}{n} +|B|\right)\cdot\textrm{polylog}(n)\right),$$ where $\mathcal{G}_n$ is the set of $n$-node graphs in $\mathcal{G}$. Finally, we obtain an impossibility result that proves that our result is tight. Indeed, we consider the hereditary class of acyclic graphs, and we prove that there is no algorithm that can distinguish between a graph being acyclic and a graph having $|B|$ disjoint cycles.


title: Portability and Scalability Evaluation of Large-Scale Statistical Modeling and Prediction Software through HPC-Ready Containers

abstract: HPC-based applications often have complex workflows with many software dependencies that hinder their portability on contemporary HPC architectures. In addition, these applications often require extraordinary efforts to deploy and execute at performance potential on new HPC systems, while the users expert in these applications generally have less expertise in HPC and related technologies. This paper provides a dynamic solution that facilitates containerization for transferring HPC software onto diverse parallel systems. The study relies on the HPC Workflow as a Service (HPCWaaS) paradigm proposed by the EuroHPC eFlows4HPC project. It offers to deploy workflows through containers tailored for any of a number of specific HPC systems. Traditional container image creation tools rely on OS system packages compiled for generic architecture families (x86\_64, amd64, ppc64, ...) and specific MPI or GPU runtime library versions. The containerization solution proposed in this paper leverages HPC Builders such as Spack or Easybuild and multi-platform builders such as buildx to create a service for automating the creation of container images for the software specific to each hardware architecture, aiming to sustain the overall performance of the software. We assess the efficiency of our proposed solution for porting the geostatistics ExaGeoStat software on various parallel systems while preserving the computational performance. The results show that the performance of the generated images is comparable with the native execution of the software on the same architectures. On the distributed-memory system, the containerized version can scale up to 256 nodes without impacting performance.


title: Note on almost isometric ideals and local retracts in Banach and metric spaces

abstract: We exhibit a new approach to the proofs of the existence of a large family of almost isometric ideals in nonseparable Banach spaces and existence of a large family of almost isometric local retracts in metric spaces. Our approach also implies the existence of a large family of nontrivial projections on every dual of a nonseparable Banach space. We prove three possible formulations of our results are equivalent. Some applications are mentioned which witness the usefulness of our novel approach.


title: A Galactic Eclipse: The Small Magellanic Cloud is Forming Stars in Two, Superimposed Systems

abstract: The structure and dynamics of the star-forming disk of the Small Magellanic Cloud (SMC) have long confounded us. The SMC is widely used as a prototype for galactic physics at low metallicity, and yet we fundamentally lack an understanding of the structure of its interstellar medium (ISM). In this work, we present a new model for the SMC by comparing the kinematics of young, massive stars with the structure of the ISM traced by high-resolution observations of neutral atomic hydrogen (HI) from the Galactic Australian Square Kilometer Array Pathfinder survey (GASKAP-HI). Specifically, we identify thousands of young, massive stars with precise radial velocity constraints from the Gaia and APOGEE surveys and match these stars to the ISM structures in which they likely formed. By comparing the average dust extinction towards these stars, we find evidence that the SMC is composed of two structures with distinct stellar and gaseous chemical compositions. We construct a simple model that successfully reproduces the observations and shows that the ISM of the SMC is arranged into two, superimposed, star-forming systems with similar gas mass separated by ~5 kpc along the line of sight.


title: Large Human Language Models: A Need and the Challenges

abstract: As research in human-centered NLP advances, there is a growing recognition of the importance of incorporating human and social factors into NLP models. At the same time, our NLP systems have become heavily reliant on LLMs, most of which do not model authors. To build NLP systems that can truly understand human language, we must better integrate human contexts into LLMs. This brings to the fore a range of design considerations and challenges in terms of what human aspects to capture, how to represent them, and what modeling strategies to pursue. To address these, we advocate for three positions toward creating large human language models (LHLMs) using concepts from psychological and behavioral sciences: First, LM training should include the human context. Second, LHLMs should recognize that people are more than their group(s). Third, LHLMs should be able to account for the dynamic and temporally-dependent nature of the human context. We refer to relevant advances and present open challenges that need to be addressed and their possible solutions in realizing these goals.


title: T-duality of emergent gravities on nilmanifolds

abstract: We study the transport of generalized metrics between topological T-dual nilmanifolds through a Lie algebraic point of view. Emergent gravities are generalized metrics with symplectic B-fields. But this additional property might not be preserved by the aforementioned transport. We describe a necessary condition for it to happen and provide working examples on self-T-dual nilmanifolds with zero $H$-flux in both 4 and 6 dimensions. We also discuss how this procedure fails in the presence of a non-zero $H$-flux.


title: Polynomial-based Self-Attention for Table Representation learning

abstract: Structured data, which constitutes a significant portion of existing data types, has been a long-standing research topic in the field of machine learning. Various representation learning methods for tabular data have been proposed, ranging from encoder-decoder structures to Transformers. Among these, Transformer-based methods have achieved state-of-the-art performance not only in tabular data but also in various other fields, including computer vision and natural language processing. However, recent studies have revealed that self-attention, a key component of Transformers, can lead to an oversmoothing issue. We show that Transformers for tabular data also face this problem, and to address the problem, we propose a novel matrix polynomial-based self-attention layer as a substitute for the original self-attention layer, which enhances model scalability. In our experiments with three representative table learning models equipped with our proposed layer, we illustrate that the layer effectively mitigates the oversmoothing problem and enhances the representation performance of the existing methods, outperforming the state-of-the-art table representation methods.


title: Open problems on polynomials, their zero distribution and related questions: 2023

abstract: This paper collects open problems that were presented at the ``Hausdorff Geometry of Polynomials" workshop held on July 10-14, 2023 in Sofia, Bulgaria.


title: Designing with Language: Wireframing UI Design Intent with Generative Large Language Models

abstract: Wireframing is a critical step in the UI design process. Mid-fidelity wireframes offer more impactful and engaging visuals compared to low-fidelity versions. However, their creation can be time-consuming and labor-intensive, requiring the addition of actual content and semantic icons. In this paper, we introduce a novel solution WireGen, to automatically generate mid-fidelity wireframes with just a brief design intent description using the generative Large Language Models (LLMs). Our experiments demonstrate the effectiveness of WireGen in producing 77.5% significantly better wireframes, outperforming two widely-used in-context learning baselines. A user study with 5 designers further validates its real-world usefulness, highlighting its potential value to enhance UI design process.


title: Characterization of the Repeating FRB 20220912A with the Allen Telescope Array

abstract: FRB 20220912A is a repeating Fast Radio Burst (FRB) that was discovered in Fall 2022 and remained highly active for several months. We report the detection of 35 FRBs from 541 hours of follow-up observations of this source using the recently refurbished Allen Telescope Array, covering 1344 MHz of bandwidth primarily centered at 1572 MHz. All 35 FRBs were detected in the lower half of the band with non-detections in the upper half and covered fluences from 4-431 Jy-ms (median$=$48.27 Jy-ms). We find consistency with previous repeater studies for a range of spectrotemporal features including: bursts with downward frequency drifting over time; a positive correlation between bandwidth and center frequency; and a decrease in sub-burst duration over time. We report an apparent decrease in the center frequency of observed bursts over the 2 months of the observing campaign (corresponding to a drop of $6.21\pm 0.76$ MHz per day). We predict a cut-off fluence for FRB 20220912A of $F_\textrm{max}\lesssim 10^4$ Jy-ms, for this source to be consistent with the all-sky rate, and find that FRB 20220912A significantly contributed to the all-sky FRB rate at a level of a few percent for fluences of $\sim$100 Jy-ms. Finally, we investigate characteristic timescales and sub-burst periodicities and find a) a median inter-subburst timescale of 5.82$\pm$1.16 ms in the multi-component bursts and b) no evidence of strict periodicity even in the most evenly-spaced multi-component burst in the sample. Our results demonstrate the importance of wideband observations of FRBs, and provide an important set of observational parameters against which to compare FRB progenitor and emission mechanism models.


title: Optimal Information Acquisition Under Intervention

abstract: We present a model of a forecaster who must predict the future value of a variable that depends on an exogenous state and on the intervention of a policymaker. Our focus is on the incentives of the forecaster to acquire costly private information to use in his forecasting exercise. We show that the policy-making environment plays a crucial role in determining the incentives of the forecaster to acquire information. Key parameters are the expected strength of policy intervention, the precision of the policymaker's private information, and the precision of public information. We identify conditions, which are plausible in applications, under which the forecaster optimally acquires little or no private information, and instead bases his forecast exclusively on information publicly known at the time the forecast is made. Furthermore we show that, also under plausible conditions, stronger policy intervention and more precise policymaker's information crowd-out forecaster's information acquisition.


title: Appraising constrained second-order power corrections in HQET with $\Lambda_b \to \Lambda_c l \nu$

abstract: We derive the $\Lambda_b \to \Lambda_c$ form factors for the Standard Model and beyond at second order in Heavy Quark Effective Theory (HQET), applying the recently-proposed Residual Chiral Expansion (RCE) to reduce the set of unknown subsubleading hadronic functions to a single, highly-constrained function, that is fully determined by hadron mass parameters at zero recoil. We fit a form factor parametrization based on these results to all available Lattice QCD (LQCD) predictions and experimental data. We find that the constrained and predictive structure of the form factors under the RCE is in excellent agreement with LQCD predictions and experimental data, as well as prior HQET-based fits.


title: IDKM: Memory Efficient Neural Network Quantization via Implicit, Differentiable k-Means

abstract: Compressing large neural networks with minimal performance loss is crucial to enabling their deployment on edge devices. (Cho et al., 2022) proposed a weight quantization method that uses an attention-based clustering algorithm called differentiable $k$-means (DKM). Despite achieving state-of-the-art results, DKM's performance is constrained by its heavy memory dependency. We propose an implicit, differentiable $k$-means algorithm (IDKM), which eliminates the major memory restriction of DKM. Let $t$ be the number of $k$-means iterations, $m$ be the number of weight-vectors, and $b$ be the number of bits per cluster address. IDKM reduces the overall memory complexity of a single $k$-means layer from $\mathcal{O}(t \cdot m \cdot 2^b)$ to $\mathcal{O}( m \cdot 2^b)$. We also introduce a variant, IDKM with Jacobian-Free-Backpropagation (IDKM-JFB), for which the time complexity of the gradient calculation is independent of $t$ as well. We provide a proof of concept of our methods by showing that, under the same settings, IDKM achieves comparable performance to DKM with less compute time and less memory. We also use IDKM and IDKM-JFB to quantize a large neural network, Resnet18, on hardware where DKM cannot train at all.


title: XC-NAS: A New Cellular Encoding Approach for Neural Architecture Search of Multi-path Convolutional Neural Networks

abstract: Convolutional Neural Networks (CNNs) continue to achieve great success in classification tasks as innovative techniques and complex multi-path architecture topologies are introduced. Neural Architecture Search (NAS) aims to automate the design of these complex architectures, reducing the need for costly manual design work by human experts. Cellular Encoding (CE) is an evolutionary computation technique which excels in constructing novel multi-path topologies of varying complexity and has recently been applied with NAS to evolve CNN architectures for various classification tasks. However, existing CE approaches have severe limitations. They are restricted to only one domain, only partially implement the theme of CE, or only focus on the micro-architecture search space. This paper introduces a new CE representation and algorithm capable of evolving novel multi-path CNN architectures of varying depth, width, and complexity for image and text classification tasks. The algorithm explicitly focuses on the macro-architecture search space. Furthermore, by using a surrogate model approach, we show that the algorithm can evolve a performant CNN architecture in less than one GPU day, thereby allowing a sufficient number of experiment runs to be conducted to achieve scientific robustness. Experiment results show that the approach is highly competitive, defeating several state-of-the-art methods, and is generalisable to both the image and text domains.


title: $F$-thresholds of filtrations of ideals

abstract: In this article, we extend the notion of the $F$-thresholds of ideals to the $F$-thresholds for filtrations of ideals. The existence of $F$-thresholds of filtrations are established for various types of filtrations. Moreover, various necessary and sufficient conditions for finiteness of $F$-thresholds are given. We also give some effective upper bounds of the symbolic $F$-thresholds. A sufficient condition for symbolic $F$-splitting in terms of its symbolic $F$-threshold is given. We compute the symbolic $F$-thresholds of various determinantal ideals, $F$-K\"onig ideals, and many more.


title: Interpretable factorization of clinical questionnaires to identify latent factors of psychopathology

abstract: Psychiatry research seeks to understand the manifestations of psychopathology in behavior, as measured in questionnaire data, by identifying a small number of latent factors that explain them. While factor analysis is the traditional tool for this purpose, the resulting factors may not be interpretable, and may also be subject to confounding variables. Moreover, missing data are common, and explicit imputation is often required. To overcome these limitations, we introduce interpretability constrained questionnaire factorization (ICQF), a non-negative matrix factorization method with regularization tailored for questionnaire data. Our method aims to promote factor interpretability and solution stability. We provide an optimization procedure with theoretical convergence guarantees, and an automated procedure to detect latent dimensionality accurately. We validate these procedures using realistic synthetic data. We demonstrate the effectiveness of our method in a widely used general-purpose questionnaire, in two independent datasets (the Healthy Brain Network and Adolescent Brain Cognitive Development studies). Specifically, we show that ICQF improves interpretability, as defined by domain experts, while preserving diagnostic information across a range of disorders, and outperforms competing methods for smaller dataset sizes. This suggests that the regularization in our method matches domain characteristics. The python implementation for ICQF is available at \url{https://github.com/jefferykclam/ICQF}.


title: Can LLM find the green circle? Investigation and Human-guided tool manipulation for compositional generalization

abstract: The meaning of complex phrases in natural language is composed of their individual components. The task of compositional generalization evaluates a model's ability to understand new combinations of components. Previous studies trained smaller, task-specific models, which exhibited poor generalization. While large language models (LLMs) exhibit impressive generalization abilities on many tasks through in-context learning (ICL), their potential for compositional generalization remains unexplored. In this paper, we first empirically investigate prevailing ICL methods in compositional generalization. We find that they struggle with complex compositional questions due to cumulative errors in long reasoning steps and intricate logic required for tool-making. Consequently, we propose a human-guided tool manipulation framework (HTM) that generates tools for sub-questions and integrates multiple tools. Our method enhances the effectiveness of tool creation and usage with minimal human effort. Experiments show that our method achieves state-of-the-art performance on two compositional generalization benchmarks and outperforms existing methods on the most challenging test split by 70%.


title: Force on a sphere suspended in flowing granulate

abstract: We investigate the force of flowing granular material on an obstacle. A sphere suspended in a discharging silo experiences both the weight of the overlaying layers and drag of the surrounding moving grains. In experiments with frictional hard glass beads, the force on the obstacle was practically flow-rate independent. In contrast, flow of nearly frictionless soft hydrogel spheres added drag to the gravitational force. The dependence of the total force on the obstacle diameter is qualitatively different for the two types of material: It grows quadratically with the obstacle diameter in the soft, low friction material, while it grows much weaker, nearly linearly with the obstacle diameter, in the bed of glass spheres. In addition to the drag, the obstacle embedded in flowing low-friction soft particles experiences a total force from the top as if immersed in a hydrostatic pressure profile, but a much lower counterforce acting from below. In contrast, when embedded in frictional, hard particles, a strong pressure gradient forms near the upper obstacle surface.


title: Dynamical system analysis and observational constraints of cosmological models in mimetic gravity

abstract: We study the dynamics of homogeneous and isotropic Friedmann-Lema\^itre-Robertson-Walker cosmological models with positive spatial curvature in mimetic gravity theory, employing dynamical system techniques. Our analysis yields phase space trajectories that describe physically relevant solutions, capturing various stages of the cosmic evolution. Additionally, we employ Bayesian statistical analysis to constraint the cosmological parameters of the models, utilizing data from Supernovae Type Ia and the Hubble parameter datasets. The observational datasets provide support for the viability of mimetic gravity models, which effectively can describe the late-time accelerated expansion of the universe.


title: The Central Kinematics and Black Hole Mass of 4C+37.11

abstract: We report on IFU measurements of the host of the radio source 4C+37.11. This massive elliptical contains the only resolved double compact nucleus at pc-scale separation, likely a bound supermassive black hole binary (SMBHB). $i$-band photometry and GMOS-N IFU spectroscopy show that the galaxy has a large $r_b=1.5^{\prime\prime}$ core and that the stellar velocity dispersion increases inside of a radius of influence $r_{\rm SOI} \approx 1.3^{\prime\prime}$. Jeans Anisotropic Modeling analysis of the core infers a total SMBHB mass of $2.8^{+0.8}_{-0.8} \times 10^{10}M_\odot$, making this one of the most massive black hole systems known. Our data indicate that there has been significant scouring of the central kpc of the host galaxy.


title: Spatial Knowledge-Infused Hierarchical Learning: An Application in Flood Mapping on Earth Imagery

abstract: Deep learning for Earth imagery plays an increasingly important role in geoscience applications such as agriculture, ecology, and natural disaster management. Still, progress is often hindered by the limited training labels. Given Earth imagery with limited training labels, a base deep neural network model, and a spatial knowledge base with label constraints, our problem is to infer the full labels while training the neural network. The problem is challenging due to the sparse and noisy input labels, spatial uncertainty within the label inference process, and high computational costs associated with a large number of sample locations. Existing works on neuro-symbolic models focus on integrating symbolic logic into neural networks (e.g., loss function, model architecture, and training label augmentation), but these methods do not fully address the challenges of spatial data (e.g., spatial uncertainty, the trade-off between spatial granularity and computational costs). To bridge this gap, we propose a novel Spatial Knowledge-Infused Hierarchical Learning (SKI-HL) framework that iteratively infers sample labels within a multi-resolution hierarchy. Our framework consists of a module to selectively infer labels in different resolutions based on spatial uncertainty and a module to train neural network parameters with uncertainty-aware multi-instance learning. Extensive experiments on real-world flood mapping datasets show that the proposed model outperforms several baseline methods. The code is available at \url{https://github.com/ZelinXu2000/SKI-HL}.


title: Abundances of iron-peak elements in accreted and in situ born Galactic halo stars

abstract: Previous work on the abundances of C, O, Na, Mg, Si, Ca, Ti, Cr, Mn, Fe, Ni, Cu, and Zn in low-alpha (accreted) and high-alpha (in situ born) halo stars is extended to include the abundances of Sc, V, and Co, enabling us to study the nucleosynthesis of all iron-peak elements along with the lighter elements. The Sc, V, and Co abundances were determined from a 1D MARCS model-atmosphere analysis of equivalent widths of atomic lines in high signal-to-noise, high resolution spectra assuming local thermodynamic equilibrium (LTE). In addition, new 3D and/or non-LTE calculations were used to correct the 1D LTE abundances for several elements including consistent 3D non-LTE calculations for Mg. The two populations of accreted and in situ born stars are well separated in diagrams showing [Sc/Fe], [V/Fe], and [Co/Fe] as a function of [Fe/H]. The [X/Mg] versus [Mg/H] trends for high-alpha and low-alpha stars were used to determine the yields of core-collapse and Type Ia supernovae. The largest Type Ia contribution occurs for Cr, Mn, and Fe, whereas Cu is a pure core-collapse element. Sc, Ti, V, Co, Ni, and Zn represent intermediate cases. A comparison with yields calculated for supernova models shows poor agreement for the core-collapse yields. The Ia yields suggest that sub-Chandrasekhar-mass Type Ia supernovae provide a dominant contribution to the chemical evolution of the host galaxies of the low-alpha stars. A substructure in the abundances and kinematics of the low-alpha stars suggests that they arise from at least two different satellite accretion events, Gaia-Sausage-Enceladus and Thamnos.


title: Incremental hierarchical text clustering methods: a review

abstract: The growth in Internet usage has contributed to a large volume of continuously available data, and has created the need for automatic and efficient organization of the data. In this context, text clustering techniques are significant because they aim to organize documents according to their characteristics. More specifically, hierarchical and incremental clustering techniques can organize dynamic data in a hierarchical form, thus guaranteeing that this organization is updated and its exploration is facilitated. Based on the relevance and contemporary nature of the field, this study aims to analyze various hierarchical and incremental clustering techniques; the main contribution of this research is the organization and comparison of the techniques used by studies published between 2010 and 2018 that aimed to texts documents clustering. We describe the principal concepts related to the challenge and the different characteristics of these published works in order to provide a better understanding of the research in this field.


title: On Time-Inconsistency in Mean Field Games

abstract: We investigate an infinite-horizon time-inconsistent mean-field game (MFG) in a discrete time setting. We first present a classic equilibrium for the MFG and its associated existence result. This classic equilibrium aligns with the conventional equilibrium concept studied in MFG literature when the context is time-consistent. Then we demonstrate that while this equilibrium produces an approximate optimal strategy when applied to the related $N$-agent games, it does so solely in a precommitment sense. Therefore, it cannot function as a genuinely approximate equilibrium strategy from the perspective of a sophisticated agent within the $N$-agent game. To address this limitation, we propose a new consistent equilibrium concept in both the MFG and the $N$-agent game. We show that a consistent equilibrium in the MFG can indeed function as an approximate consistent equilibrium in the $N$-agent game. Additionally, we analyze the convergence of consistent equilibria for $N$-agent games toward a consistent MFG equilibrium as $N$ tends to infinity.


title: Normal approximation for statistics of randomly weighted complexes

abstract: We prove normal approximation bounds for statistics of randomly weighted (simplicial) complexes. In particular, we consider the complete $d$-dimensional complex on $n$ vertices with $d$-simplices equipped with i.i.d. weights. Our normal approximation bounds are quantified in terms of stabilization of difference operators, i.e., the effect on the statistic under addition/deletion of simplices. Our proof is based on Chatterjee's normal approximation bound and is a higher-dimensional analogue of the work of Cao on sparse Erd\H{o}s-R\'enyi random graphs but our bounds are more in the spirit of `quantitative two-scale stabilization' bounds by Lachi\`eze-Rey, Peccati, and Yang. As applications, we prove a CLT for nearest face-weights in randomly weighted $d$-complexes and give a normal approximation bound for local statistics of random $d$-complexes.


title: VR for Acupuncture? Exploring Needs and Opportunities for Acupuncture Training and Treatment in Virtual Reality

abstract: Acupuncture is a form of medicine that involves inserting needles into targeted areas of the body and requires knowledge of both Traditional Chinese Medicine (TCM) and Evidence-Based Medicine (EBM). The process of acquiring such knowledge and using it for practical treatment is challenging due to the need for a deep understanding of human anatomy and the ability to apply both TCM and EBM approaches. Visual aids have been introduced to aid in understanding the alignment of acupuncture points with key elements of the human body, and are indispensable tools for both learners and expert acupuncturists. However, they are often not enough to enable effective practice and fail to fully support the learning process. Novel approaches based on immersive visualization and Virtual Reality (VR) have shown promise in many healthcare settings due to their unique advantages in terms of realism and interactions, but it is still unknown whether and how VR can possibly be beneficial to acupuncture training and treatment. Following participatory design protocols such as observations and semi-structured interviews with eight doctors and nine students, we explore the needs and pain points of current acupuncture workflows at the intersection of EBM and TCM in China and the United States. We highlight opportunities for introducing VR in today's acupuncture training and treatment workflows, and discuss two design approaches that build on 11 specific challenges spanning education, diagnosis, treatment, and communication.


title: Exponential Asymptotics using Numerical Rational Approximation in Linear Differential Equations

abstract: Singularly-perturbed ordinary differential equations often exhibit Stokes' phenomenon, which describes the appearance and disappearance of oscillating exponentially small terms across curves in the complex plane known as Stokes curves. These curves originate at singular points in the leading-order solution to the differential equation. In many important problems, it is impossible to obtain a closed-form expression for these leading-order solutions, and it is therefore challenging to locate these singular points. We present evidence that the analytic leading-order solution of a linear differential equation can be replaced with a rational approximation based on a numerical leading-order solution using the adaptive Antoulas-Anderson (AAA) method. We show that the subsequent exponential asymptotic analysis accurately predicts the exponentially small behaviour present in the solution. We explore the limitations of this approach, and show that for sufficiently small values of the asymptotic parameter, this approach breaks down; however, the range of validity may be extended by increasing the number of poles in the rational approximation. We finish by presenting a related nonlinear problem and discussing the challenges that arise when attempting to apply this method to nonlinear problems.


title: VERITAS contributions to the 38th International Cosmic Ray Conference

abstract: Compilation of papers presented by the VERITAS Collaboration at the 38th International Cosmic Ray Conference (ICRC), held July 26 through August 3, 2023 in Nagoya, Japan.


title: On the construction of stationary processes and random fields

abstract: We propose a new method to construct a stationary process and random field with a given convex, decreasing covariance function and any one-dimensional marginal distribution. The result is a new class of stationary processes and random fields. The construction method provides a simple, unified approach for a wide range of covariance functions and any one-dimensional marginal distributions, and it allows a new way to model dependence structures in a stationary process/random field as its dependence structure is induced by the correlation structure of a few disjoint sets in the support set of the marginal distribution.


title: Cycle caract\'eristique sur une puissance sym\'etrique d'une courbe et d\'eterminant de la cohomologie \'etale

abstract: Relying on the formalism developed by Alexander Beilinson and Takeshi Saito, we compute the characteristic cycle of an external symmetric power of a tame \'etale sheaf on a curve. This generalizes a result of G\'erard Laumon in characteristic 0 and leads to a result of local acyclicity of the Abel-Jacobi morphism, due to Pierre Deligne and motivated by his geometric approach to the product formula for the determinant of cohomology (epsilon factor).


title: Towards a geometric understanding of Spatio Temporal Graph Convolution Networks

abstract: Spatiotemporal graph convolutional networks (STGCNs) have emerged as a desirable model for skeleton-based human action recognition. Despite achieving state-of-the-art performance, there is a limited understanding of the representations learned by these models, which hinders their application in critical and real-world settings. While layerwise analysis of CNN models has been studied in the literature, to the best of our knowledge, there exists no study on the layerwise explainability of the embeddings learned on spatiotemporal data using STGCNs. In this paper, we first propose to use a local Dataset Graph (DS-Graph) obtained from the feature representation of input data at each layer to develop an understanding of the layer-wise embedding geometry of the STGCN. To do so, we develop a window-based dynamic time warping (DTW) method to compute the distance between data sequences with varying temporal lengths. To validate our findings, we have developed a layer-specific Spatiotemporal Graph Gradient-weighted Class Activation Mapping (L-STG-GradCAM) technique tailored for spatiotemporal data. This approach enables us to visually analyze and interpret each layer within the STGCN network. We characterize the functions learned by each layer of the STGCN using the label smoothness of the representation and visualize them using our L-STG-GradCAM approach. Our proposed method is generic and can yield valuable insights for STGCN architectures in different applications. However, this paper focuses on the human activity recognition task as a representative application. Our experiments show that STGCN models learn representations that capture general human motion in their initial layers while discriminating different actions only in later layers. This justifies experimental observations showing that fine-tuning deeper layers works well for transfer between related tasks.


title: Safety-critical Control of Quadrupedal Robots with Rolling Arms for Autonomous Inspection of Complex Environments

abstract: This paper presents a safety-critical control framework tailored for quadruped robots equipped with a roller arm, particularly when performing locomotive tasks such as autonomous robotic inspection in complex, multi-tiered environments. In this study, we consider the problem of operating a quadrupedal robot in distillation columns, locomoting on column trays and transitioning between these trays with a roller arm. To address this problem, our framework encompasses the following key elements: 1) Trajectory generation for seamless transitions between columns, 2) Foothold re-planning in regions deemed unsafe, 3) Safety-critical control incorporating control barrier functions, 4) Gait transitions based on safety levels, and 5) A low-level controller. Our comprehensive framework, comprising these components, enables autonomous and safe locomotion across multiple layers. We incorporate reduced-order and full-body models to ensure safety, integrating safety-critical control and footstep re-planning approaches. We validate the effectiveness of our proposed framework through practical experiments involving a quadruped robot equipped with a roller arm, successfully navigating and transitioning between different levels within the column tray structure.


title: Tell, don't show: Declarative facts influence how LLMs generalize

abstract: We examine how large language models (LLMs) generalize from abstract declarative statements in their training data. As an illustration, consider an LLM that is prompted to generate weather reports for London in 2050. One possibility is that the temperatures in the reports match the mean and variance of reports from 2023 (i.e. matching the statistics of pretraining). Another possibility is that the reports predict higher temperatures, by incorporating declarative statements about climate change from scientific papers written in 2023. An example of such a declarative statement is "global temperatures will increase by $1^{\circ} \mathrm{C}$ by 2050". To test the influence of abstract declarative statements, we construct tasks in which LLMs are finetuned on both declarative and procedural information. We find that declarative statements influence model predictions, even when they conflict with procedural information. In particular, finetuning on a declarative statement $S$ increases the model likelihood for logical consequences of $S$. The effect of declarative statements is consistent across three domains: aligning an AI assistant, predicting weather, and predicting demographic features. Through a series of ablations, we show that the effect of declarative statements cannot be explained by associative learning based on matching keywords. Nevertheless, the effect of declarative statements on model likelihoods is small in absolute terms and increases surprisingly little with model size (i.e. from 330 million to 175 billion parameters). We argue that these results have implications for AI risk (in relation to the "treacherous turn") and for fairness.


title: Bitrate Ladder Construction using Visual Information Fidelity

abstract: Recently proposed perceptually optimized per-title video encoding methods provide better BD-rate savings than fixed bitrate-ladder approaches that have been employed in the past. However, a disadvantage of per-title encoding is that it requires significant time and energy to compute bitrate ladders. Over the past few years, a variety of methods have been proposed to construct optimal bitrate ladders including using low-level features to predict cross-over bitrates, optimal resolutions for each bitrate, predicting visual quality, etc. Here, we deploy features drawn from Visual Information Fidelity (VIF) (VIF features) extracted from uncompressed videos to predict the visual quality (VMAF) of compressed videos. We present multiple VIF feature sets extracted from different scales and subbands of a video to tackle the problem of bitrate ladder construction. Comparisons are made against a fixed bitrate ladder and a bitrate ladder obtained from exhaustive encoding using Bjontegaard delta metrics.


title: Combining propensity score methods with variational autoencoders for generating synthetic data in presence of latent sub-groups

abstract: In settings requiring synthetic data generation based on a clinical cohort, e.g., due to data protection regulations, heterogeneity across individuals might be a nuisance that we need to control or faithfully preserve. The sources of such heterogeneity might be known, e.g., as indicated by sub-groups labels, or might be unknown and thus reflected only in properties of distributions, such as bimodality or skewness. We investigate how such heterogeneity can be preserved and controlled when obtaining synthetic data from variational autoencoders (VAEs), i.e., a generative deep learning technique that utilizes a low-dimensional latent representation. To faithfully reproduce unknown heterogeneity reflected in marginal distributions, we propose to combine VAEs with pre-transformations. For dealing with known heterogeneity due to sub-groups, we complement VAEs with models for group membership, specifically from propensity score regression. The evaluation is performed with a realistic simulation design that features sub-groups and challenging marginal distributions. The proposed approach faithfully recovers the latter, compared to synthetic data approaches that focus purely on marginal distributions. Propensity scores add complementary information, e.g., when visualized in the latent space, and enable sampling of synthetic data with or without sub-group specific characteristics. We also illustrate the proposed approach with real data from an international stroke trial that exhibits considerable distribution differences between study sites, in addition to bimodality. These results indicate that describing heterogeneity by statistical approaches, such as propensity score regression, might be more generally useful for complementing generative deep learning for obtaining synthetic data that faithfully reflects structure from clinical cohorts.


title: Basis set calculations of heavy atoms

abstract: Most modern calculations of many-electron atoms use basis sets of atomic orbitals. An accurate account for the electronic correlations in heavy atoms is very difficult computational problem and optimization of the basis sets can reduce computational costs and increase final accuracy. Here we suggest a simple differential ansatz to form virtual orbitals from the Dirac-Fock orbitals of the core and valence electrons. We use basis sets with such orbitals to calculate different properties in Cs including hyperfine structure constants and QED corrections to the valence energies and to the E1 transition amplitudes.


title: BarraCUDA: GPUs do Leak DNN Weights

abstract: Over the last decade, applications of neural networks (NNs) have spread to various aspects of our lives. A large number of companies base their businesses on building products that use neural networks for tasks such as face recognition, machine translation, and self-driving cars. Much of the intellectual property underpinning these products is encoded in the exact parameters of the neural networks. Consequently, protecting these is of utmost priority to businesses. At the same time, many of these products need to operate under a strong threat model, in which the adversary has unfettered physical control of the product. In this work, we present BarraCUDA, a novel attack on general purpose Graphic Processing Units (GPUs) that can extract parameters of neural networks running on the popular Nvidia Jetson Nano device. BarraCUDA uses correlation electromagnetic analysis to recover parameters of real-world convolutional neural networks.


title: Robust MRI Reconstruction by Smoothed Unrolling (SMUG)

abstract: As the popularity of deep learning (DL) in the field of magnetic resonance imaging (MRI) continues to rise, recent research has indicated that DL-based MRI reconstruction models might be excessively sensitive to minor input disturbances, including worst-case additive perturbations. This sensitivity often leads to unstable, aliased images. This raises the question of how to devise DL techniques for MRI reconstruction that can be robust to train-test variations. To address this problem, we propose a novel image reconstruction framework, termed Smoothed Unrolling (SMUG), which advances a deep unrolling-based MRI reconstruction model using a randomized smoothing (RS)-based robust learning approach. RS, which improves the tolerance of a model against input noises, has been widely used in the design of adversarial defense approaches for image classification tasks. Yet, we find that the conventional design that applies RS to the entire DL-based MRI model is ineffective. In this paper, we show that SMUG and its variants address the above issue by customizing the RS process based on the unrolling architecture of a DL-based MRI reconstruction model. Compared to the vanilla RS approach, we show that SMUG improves the robustness of MRI reconstruction with respect to a diverse set of instability sources, including worst-case and random noise perturbations to input measurements, varying measurement sampling rates, and different numbers of unrolling steps. Furthermore, we theoretically analyze the robustness of our method in the presence of perturbations.


title: Scheme for quantitative description of longitudinal drifts in the Fermilab Linac and their correction

abstract: The Fermilab Linac accepts the 0.75 MeV H- ions from the front end and accelerates them to 400 MeV for injection into the Booster. Day-to-day drifts of the longitudinal trajectory in the Linac, reconstructed from phase readings of Beam Position Monitors, are at the level of several degrees. They are believed to cause additional losses both in the Linac and Booster, and are addressed by empirically adjusting the phases of Linac cavities. This work explores the option of expressing these drifts in terms of phase shifts in two cavities at the low-energy part of the Linac. Such a description allows for a simplified visual representation of the drifts, suggests a clear algorithm for their compensation, and provides a tool for estimating efficiency of such compensation.


title: A Data-driven Method for Safety-critical Control: Designing Control Barrier Functions from State Constraints

abstract: This paper addresses the challenge of integrating explicit hard constraints into the control barrier function (CBF) framework for ensuring safety in autonomous systems, including robots. We propose a novel data-driven method to derive CBFs from these hard constraints in practical scenarios. Our approach assumes that the forward invariant safe set is either a subset or equal to the constrained set. The process consists of two main steps. First, we randomly sample states within the constraint boundaries and identify inputs meeting the time derivative criteria of the hard constraint; this iterative process converges using the Jaccard index. Next, we formulate CBFs that enclose the safe set using the sampled boundaries. This enables the creation of a control-invariant safe set, approaching the maximum attainable level of control invariance. This approach, therefore, addresses the complexities posed by complex autonomous systems with constrained control input spaces, culminating in a control-invariant safe set that closely approximates the maximal control invariant set.


title: INRISCO: INcident monitoRing In Smart COmmunities

abstract: Major advances in information and communication technologies (ICTs) make citizens to be considered as sensors in motion. Carrying their mobile devices, moving in their connected vehicles or actively participating in social networks, citizens provide a wealth of information that, after properly processing, can support numerous applications for the benefit of the community. In the context of smart communities, the INRISCO proposal intends for (i) the early detection of abnormal situations in cities (i.e., incidents), (ii) the analysis of whether, according to their impact, those incidents are really adverse for the community; and (iii) the automatic actuation by dissemination of appropriate information to citizens and authorities. Thus, INRISCO will identify and report on incidents in traffic (jam, accident) or public infrastructure (e.g., works, street cut), the occurrence of specific events that affect other citizens life (e.g., demonstrations, concerts), or environmental problems (e.g., pollution, bad weather). It is of particular interest to this proposal the identification of incidents with a social and economic impact, which affects the quality of life of citizens.


title: Wasserstein speed limits for Langevin systems

abstract: Physical systems transition between states with finite speed that is limited by energetic costs. In this Letter, we derive bounds on transition times for general Langevin systems that admit a decomposition into reversible and irreversible dynamics, in terms of the Wasserstein distance between states and the energetic costs associated with respective reversible and irreversible currents. For illustration we discuss Brownian particles subject to arbitrary forcing.


title: Impact of Computer-Based Assessments on the Science's Ranks of Secondary Students

abstract: This study reports the impact of examining either with digital or paper-based tests in science subjects taught across the second-ary level. With our method, we compare the percentile ranking scores of two cohorts earned in computer- and paper-based teacher-made assessments to find signals of a testing mode effect. It was found that overall, at cohort and gender levels, pupils were rank-ordered equivalently in both testing modes. Furthermore, females and top-achieving pupils were the two subgroups where the differences between modes were smaller. The practical implications of these findings are discussed from the lens of a case study and the doubt about whether regular schools could afford to deliver high-stakes computer-based tests.


title: Characteristic Circuits

abstract: In many real-world scenarios, it is crucial to be able to reliably and efficiently reason under uncertainty while capturing complex relationships in data. Probabilistic circuits (PCs), a prominent family of tractable probabilistic models, offer a remedy to this challenge by composing simple, tractable distributions into a high-dimensional probability distribution. However, learning PCs on heterogeneous data is challenging and densities of some parametric distributions are not available in closed form, limiting their potential use. We introduce characteristic circuits (CCs), a family of tractable probabilistic models providing a unified formalization of distributions over heterogeneous data in the spectral domain. The one-to-one relationship between characteristic functions and probability measures enables us to learn high-dimensional distributions on heterogeneous data domains and facilitates efficient probabilistic inference even when no closed-form density function is available. We show that the structure and parameters of CCs can be learned efficiently from the data and find that CCs outperform state-of-the-art density estimators for heterogeneous data domains on common benchmark data sets.


title: Lorentz invariance violation and the CPT-odd electromagnetic response of a tilted anisotropic Weyl semimetal

abstract: We derive the electromagnetic response of a particular fermionic sector in the minimal QED contribution to the Standard Model Extension (SME), which can be physically realized in terms of a model describing a tilted and anisotropic Weyl semimetal (WSM). The contact is made through the identification of the Dirac-like Hamiltonian resulting from the SME with that corresponding to the WSM in the linearized tight-binding approximation. We first calculate the effective action by computing the non-perturbative vacuum polarization tensor using thermal field theory techniques, focusing upon the corrections at finite chemical potential and zero temperature. Next, we confirm our results by a direct calculation of the anomalous Hall current within a chiral kinetic theory approach. In an ideal Dirac cone picture of the WSM (isotropic and non-tilted) such response is known to be governed by axion electrodynamics, with the space-time dependent axion angle $\Theta (\mathbf{r},t) = 2 (\mathbf{b} \cdot \mathbf{r} - b _{0} t)$, being $2 \mathbf{b}$ and $2b _{0}$ the separation of the Weyl nodes in momentum and energy, respectively. In this paper we demonstrate that the node tilting and the anisotropies induce novel corrections at a finite density which however preserve the structure of the axionic field theory. We apply our results to the ideal Weyl semimetal $\mathrm{EuCd}_{2}\mathrm{As}_{2}$ and to the highly anisotropic and tilted monopnictide $\mathrm{TaAs}$.


title: Differentially private projection-depth-based medians

abstract: We develop $(\epsilon,\delta)$-differentially private projection-depth-based medians using the propose-test-release (PTR) and exponential mechanisms. Under general conditions on the input parameters and the population measure, (e.g. we do not assume any moment bounds), we quantify the probability the test in PTR fails, as well as the cost of privacy via finite sample deviation bounds. We then present a new definition of the finite sample breakdown point which applies to a mechanism, and present a lower bound on the finite sample breakdown point of the projection-depth-based median. We demonstrate our main results on the canonical projection-depth-based median, as well as on projection-depth-based medians derived from trimmed estimators. In the Gaussian setting, we show that the resulting deviation bound matches the known lower bound for private Gaussian mean estimation. In the Cauchy setting, we show that the "outlier error amplification" effect resulting from the heavy tails outweighs the cost of privacy. This result is then verified via numerical simulations. Additionally, we present results on general PTR mechanisms and a uniform concentration result on the projected spacings of order statistics, which may be of general interest.


title: Application of waist inequality to entropy and mean dimension: II

abstract: Let $X$ be a full-shift on the alphabet $[0, 1]^a$ and let $(Y, S)$ be an arbitrary dynamical system. We prove that any equivariant continuous map from $X$ to $Y$ has conditional metric mean dimension not less than $a-\mathrm{mdim}(Y, S)$. This solves a problem posed in a paper of Shi--Tsukamoto (2023).


title: Observational Tests of 4D Double Field Theory

abstract: Although General Relativity (GR) is a very successful theory of gravity, it cannot explain every observational phenomenon. People have tried many kinds of modified gravity theory to explain these phenomena which GR cannot explain very well, such as string theory. In recent years Double Field Theory (DFT) has been an exciting research area in string theory. The most general, spherically symmetric, asymptotically flat, static vacuum solution to D = 4 double field theory has been derived by S.M. Ko, J.H. Park and M. Suh. In this article, we calculate the minor corrections to the three predictions in GR: optical deflation, planet precession and gravitational redshift. These three predictions should be able to tested by observations and find the discrepancies between GR and DFT in the future.


title: Traffic Signal Control Using Lightweight Transformers: An Offline-to-Online RL Approach

abstract: Efficient traffic signal control is critical for reducing traffic congestion and improving overall transportation efficiency. The dynamic nature of traffic flow has prompted researchers to explore Reinforcement Learning (RL) for traffic signal control (TSC). Compared with traditional methods, RL-based solutions have shown preferable performance. However, the application of RL-based traffic signal controllers in the real world is limited by the low sample efficiency and high computational requirements of these solutions. In this work, we propose DTLight, a simple yet powerful lightweight Decision Transformer-based TSC method that can learn policy from easily accessible offline datasets. DTLight novelly leverages knowledge distillation to learn a lightweight controller from a well-trained larger teacher model to reduce implementation computation. Additionally, it integrates adapter modules to mitigate the expenses associated with fine-tuning, which makes DTLight practical for online adaptation with minimal computation and only a few fine-tuning steps during real deployment. Moreover, DTLight is further enhanced to be more applicable to real-world TSC problems. Extensive experiments on synthetic and real-world scenarios show that DTLight pre-trained purely on offline datasets can outperform state-of-the-art online RL-based methods in most scenarios. Experiment results also show that online fine-tuning further improves the performance of DTLight by up to 42.6% over the best online RL baseline methods. In this work, we also introduce Datasets specifically designed for TSC with offline RL (referred to as DTRL). Our datasets and code are publicly available.


title: Harnessing Retrieval-Augmented Generation (RAG) for Uncovering Knowledge Gaps

abstract: The paper presents a methodology for uncovering knowledge gaps on the internet using the Retrieval Augmented Generation (RAG) model. By simulating user search behaviour, the RAG system identifies and addresses gaps in information retrieval systems. The study demonstrates the effectiveness of the RAG system in generating relevant suggestions with a consistent accuracy of 93%. The methodology can be applied in various fields such as scientific discovery, educational enhancement, research development, market analysis, search engine optimisation, and content development. The results highlight the value of identifying and understanding knowledge gaps to guide future endeavours.


title: Sentiment analysis in Tourism: Fine-tuning BERT or sentence embeddings concatenation?

abstract: Undoubtedly that the Bidirectional Encoder representations from Transformers is the most powerful technique in making Natural Language Processing tasks such as Named Entity Recognition, Question & Answers or Sentiment Analysis, however, the use of traditional techniques remains a major potential for the improvement of recent models, in particular word tokenization techniques and embeddings, but also the improvement of neural network architectures which are now the core of each architecture. recent. In this paper, we conduct a comparative study between Fine-Tuning the Bidirectional Encoder Representations from Transformers and a method of concatenating two embeddings to boost the performance of a stacked Bidirectional Long Short-Term Memory-Bidirectional Gated Recurrent Units model; these two approaches are applied in the context of sentiment analysis of shopping places in Morocco. A search for the best learning rate was made at the level of the two approaches, and a comparison of the best optimizers was made for each sentence embedding combination with regard to the second approach.


title: Tuning Colloidal Reactions

abstract: The precise control of complex reactions is critical for biological processes ranging from cell division to metabolism. Synthetic analogues of living materials suffer from our inability to tune chemical reactions with precise outcomes. Here, we leverage differentiable simulators to design nontrivial reaction pathways in colloidal assemblies. By optimizing interactions between reactants and substrates, we achieve controlled disassembly of octahedral and icosahedral shells. As a potential engineering target, we design a reaction that provokes the release of a small particle trapped in a shell.

categories: cond-mat.soft cond-mat.mtrl-sci cond-mat.stat-mech physics.bio-ph physics.comp-ph


title: A Census from JWST of Extreme Emission Line Galaxies Spanning the Epoch of Reionization in CEERS

abstract: We present a sample of 1165 extreme emission-line galaxies (EELGs) at 4<z<9 selected using James Webb Space Telescope (JWST) NIRCam photometry in the Cosmic Evolution Early Release Science (CEERS) program. We use a simple method to photometrically identify EELGs with Hb + [OIII] (combined) or Ha emission of observed-frame equivalent width EW >5000 AA. JWST/NIRSpec spectroscopic observations of a subset (34) of the photometrically selected EELGs validate our selection method: all spectroscopically observed EELGs confirm our photometric identification of extreme emission, including some cases where the SED-derived photometric redshifts are incorrect. We find that the medium-band F410M filter in CEERS is particularly efficient at identifying EELGs, both in terms of including emission lines in the filter and in correctly identifying the continuum between Hb + [OIII] and Ha in the neighboring broad-band filters. We present examples of EELGs that could be incorrectly classified at ultra-high redshift (z>12) as a result of extreme Hb + [OIII] emission blended across the reddest photometric filters. We compare the EELGs to the broader (sub-extreme) galaxy population in the same redshift range and find that they are consistent with being the bluer, high equivalent width tail of a broader population of emission-line galaxies. The highest-EW EELGs tend to have more compact emission-line sizes than continuum sizes, suggesting that active galactic nuclei are responsible for at least some of the most extreme EELGs. Photometrically inferred emission-line ratios are consistent with ISM conditions with high ionization and moderately low metallicity, consistent with previous spectroscopic studies.


title: Purcell enhanced emission and saturable absorption of cavity-coupled CsPbBr$_3$ quantum dots

abstract: Halide perovskite semiconductors have emerged as promising materials for the development of solution-processed, scalable, high performance optoelectronic devices such as light-emitting diodes (LEDs) as well as coherent single photon emitters. Their integration to nanophotonic cavities for radiative enhancement and strong nonlinearity is underexplored. In this work, we demonstrate cavity-enhanced emission and saturable absorption using colloidal CsPbBr$_3$ perovskite quantum dots coupled to a high-Q cavity mode of a circular Bragg grating structure designed to facilitate integration of solution-processed materials . We achieve an order of magnitude increase in brightness and 8-fold increase in the spontaneous emission rate for the cavity-coupled emitters. This result indicates the possibility of achieving transform-limited photon coherence for the halide perovskites at cryogenic temperatures. We also observe saturable absorption of the emitters through intensity-dependent cavity quality factor. These results pave the way towards achieving improved photon indistinguishability and strong optical nonlinearities for cavity coupled perovskite systems.


title: Motion of a rotating black hole in a homogeneous scalar field

abstract: In the present paper, we consider a rotating black hole moving in a homogeneous massless scalar field. We assume that the field is weak and neglect its backreaction, so that the metric at far distance from the black hole is practically flat. In this domain one can introduce two reference frames, $K$ and $\tilde{K}$. The frame $\tilde{K}$ is associated with the homogeneous scalar field, in which its constant gradient has only time component. The other frame, $K$, is the frame in which the black hole is at rest. To describe the Kerr metric of the black hole we use its Kerr-Schild form $g_{\mu\nu}=\eta_{\mu\nu}+\Phi l_{\mu}l_{\mu}$, where $\eta_{\mu\nu}$ is the (asymptotic) flat metric in $K$ frame. We find an explicit solution of the scalar field equation which is regular at the horizon and properly reproduce the asymptotic form of the scalar field at the infinity. Using this solution we calculate the fluxes of the energy, momentum and the angular momentum of the scalar field into the black hole. This allows us to derive the equation of motion of the rotating black hole. We discuss main general properties of solutions of these equations and obtain explicit solutions for special type of the motion of the black hole.


title: Estimation of embedding vectors in high dimensions

abstract: Embeddings are a basic initial feature extraction step in many machine learning models, particularly in natural language processing. An embedding attempts to map data tokens to a low-dimensional space where similar tokens are mapped to vectors that are close to one another by some metric in the embedding space. A basic question is how well can such embedding be learned? To study this problem, we consider a simple probability model for discrete data where there is some "true" but unknown embedding where the correlation of random variables is related to the similarity of the embeddings. Under this model, it is shown that the embeddings can be learned by a variant of low-rank approximate message passing (AMP) method. The AMP approach enables precise predictions of the accuracy of the estimation in certain high-dimensional limits. In particular, the methodology provides insight on the relations of key parameters such as the number of samples per value, the frequency of the terms, and the strength of the embedding correlation on the probability distribution. Our theoretical findings are validated by simulations on both synthetic data and real text data.