title: Valid and efficient imprecise-probabilistic inference with partial priors, III. Marginalization

abstract: As Basu (1977) writes, "Eliminating nuisance parameters from a model is universally recognized as a major problem of statistics," but after more than 50 years since Basu wrote these words, the two mainstream schools of thought in statistics have yet to solve the problem. Fortunately, the two mainstream frameworks aren't the only options. This series of papers rigorously develops a new and very general inferential model (IM) framework for imprecise-probabilistic statistical inference that is provably valid and efficient, while simultaneously accommodating incomplete or partial prior information about the relevant unknowns when it's available. The present paper, Part III in the series, tackles the marginal inference problem. Part II showed that, for parametric models, the likelihood function naturally plays a central role and, here, when nuisance parameters are present, the same principles suggest that the profile likelihood is the key player. When the likelihood factors nicely, so that the interest and nuisance parameters are perfectly separated, the valid and efficient profile-based marginal IM solution is immediate. But even when the likelihood doesn't factor nicely, the same profile-based solution remains valid and leads to efficiency gains. This is demonstrated in several examples, including the famous Behrens--Fisher and gamma mean problems, where I claim the proposed IM solution is the best solution available. Remarkably, the same profiling-based construction offers validity guarantees in the prediction and non-parametric inference problems. Finally, I show how a broader view of this new IM construction can handle non-parametric inference on risk minimizers and makes a connection between non-parametric IMs and conformal prediction.


title: Stochastic electromechanical bidomain model

abstract: We analyze a system of nonlinear stochastic partial differential equations (SPDEs) of mixed elliptic-parabolic type that models the propagation of electric signals and their effect on the deformation of cardiac tissue. The system governs the dynamics of ionic quantities, intra and extra-cellular potentials, and linearized elasticity equations. We introduce a framework called the active strain decomposition, which factors the material gradient of deformation into an active (electrophysiology-dependent) part and an elastic (passive) part, to capture the coupling between muscle contraction, biochemical reactions, and electric activity. Under the assumption of linearized elastic behavior and a truncation of the nonlinear diffusivities, we propose a stochastic electromechanical bidomain model, and establish the existence of weak solutions for this model. To prove existence through the convergence of approximate solutions, we employ a stochastic compactness method in tandem with an auxiliary non-degenerate system and the Faedo--Galerkin method. We utilize a stochastic adaptation of de Rham's theorem to deduce the weak convergence of the pressure approximations.


title: An Optimal Control Framework for Influencing Human Driving Behavior in Mixed-Autonomy Traffic

abstract: As autonomous vehicles (AVs) become increasingly prevalent, their interaction with human drivers presents a critical challenge. Current AVs lack social awareness, causing behavior that is often awkward or unsafe. To combat this, social AVs, which are proactive rather than reactive in their behavior, have been explored in recent years. With knowledge of robot-human interaction dynamics, a social AV can influence a human driver to exhibit desired behaviors by strategically altering its own behaviors. In this paper, we present a novel framework for achieving human influence. The foundation of our framework lies in an innovative use of control barrier functions to formulate the desired objectives of influence as constraints in an optimal control problem. The computed controls gradually push the system state toward satisfaction of the objectives, e.g. slowing the human down to some desired speed. We demonstrate the proposed framework's feasibility in a variety of scenarios related to car-following and lane changes, including multi-robot and multi-human configurations. In two case studies, we validate the framework's effectiveness when applied to the problems of traffic flow optimization and aggressive behavior mitigation. Given these results, the main contribution of our framework is its versatility in a wide spectrum of influence objectives and mixed-autonomy configurations.


title: Turbulence in Focus: Benchmarking Scaling Behavior of 3D Volumetric Super-Resolution with BLASTNet 2.0 Data

abstract: Analysis of compressible turbulent flows is essential for applications related to propulsion, energy generation, and the environment. Here, we present BLASTNet 2.0, a 2.2 TB network-of-datasets containing 744 full-domain samples from 34 high-fidelity direct numerical simulations, which addresses the current limited availability of 3D high-fidelity reacting and non-reacting compressible turbulent flow simulation data. With this data, we benchmark a total of 49 variations of five deep learning approaches for 3D super-resolution - which can be applied for improving scientific imaging, simulations, turbulence models, as well as in computer vision applications. We perform neural scaling analysis on these models to examine the performance of different machine learning (ML) approaches, including two scientific ML techniques. We demonstrate that (i) predictive performance can scale with model size and cost, (ii) architecture matters significantly, especially for smaller models, and (iii) the benefits of physics-based losses can persist with increasing model size. The outcomes of this benchmark study are anticipated to offer insights that can aid the design of 3D super-resolution models, especially for turbulence models, while this data is expected to foster ML methods for a broad range of flow physics applications. This data is publicly available with download links and browsing tools consolidated at https://blastnet.github.io.

categories: cs.LG cs.CV physics.comp-ph physics.flu-dyn


title: Policy Learning for Individualized Treatment Regimes on Infinite Time Horizon

abstract: With the recent advancements of technology in facilitating real-time monitoring and data collection, "just-in-time" interventions can be delivered via mobile devices to achieve both real-time and long-term management and control. Reinforcement learning formalizes such mobile interventions as a sequence of decision rules and assigns treatment arms based on the user's status at each decision point. In practice, real applications concern a large number of decision points beyond the time horizon of the currently collected data. This usually refers to reinforcement learning in the infinite horizon setting, which becomes much more challenging. This article provides a selective overview of some statistical methodologies on this topic. We discuss their modeling framework, generalizability, and interpretability and provide some use case examples. Some future research directions are discussed in the end.


title: A Model-Agnostic Graph Neural Network for Integrating Local and Global Information

abstract: Graph Neural Networks (GNNs) have achieved promising performance in a variety of graph-focused tasks. Despite their success, however, existing GNNs suffer from two significant limitations: a lack of interpretability in results due to their black-box nature, and an inability to learn representations of varying orders. To tackle these issues, we propose a novel \textbf{M}odel-\textbf{a}gnostic \textbf{G}raph Neural \textbf{Net}work (MaGNet) framework, which is able to effectively integrate information of various orders, extract knowledge from high-order neighbors, and provide meaningful and interpretable results by identifying influential compact graph structures. In particular, MaGNet consists of two components: an estimation model for the latent representation of complex relationships under graph topology, and an interpretation model that identifies influential nodes, edges, and node features. Theoretically, we establish the generalization error bound for MaGNet via empirical Rademacher complexity, and demonstrate its power to represent layer-wise neighborhood mixing. We conduct comprehensive numerical studies using simulated data to demonstrate the superior performance of MaGNet in comparison to several state-of-the-art alternatives. Furthermore, we apply MaGNet to a real-world case study aimed at extracting task-critical information from brain activity data, thereby highlighting its effectiveness in advancing scientific research.


title: Suppression of stacking order with doping in 1T-TaS$_{2-x}$Se$_x$

abstract: In 1T-TaS$_{2-x}$Se$_x$, the charge density wave (CDW) state features a star of David lattice that expands across layers as the system becomes commensurate on cooling. The layers can also order along the c-axis and different stacking orders have been proposed. Using neutron scattering on powder samples, we compared the stacking order previously observed in 1T-TaS$_2$ as the system is doped with Se. While at low temperature, a 13c layer sequence stacking was observed in TaS$_2$, this type of ordering was not evident with doping. Doping with Se results in a nearly commensurate state with the Mott state suppressed which may be linked to the absence of the layer stacking.


title: Tight bounds on Pauli channel learning without entanglement

abstract: Quantum entanglement is a crucial resource for learning properties from nature, but a precise characterization of its advantage can be challenging. In this work, we consider learning algorithms without entanglement to be those that only utilize states, measurements, and operations that are separable between the main system of interest and an ancillary system. Interestingly, we show that these algorithms are equivalent to those that apply quantum circuits on the main system interleaved with mid-circuit measurements and classical feedforward. Within this setting, we prove a tight lower bound for Pauli channel learning without entanglement that closes the gap between the best-known upper and lower bound. In particular, we show that $\Theta(2^n\varepsilon^{-2})$ rounds of measurements are required to estimate each eigenvalue of an $n$-qubit Pauli channel to $\varepsilon$ error with high probability when learning without entanglement. In contrast, a learning algorithm with entanglement only needs $\Theta(\varepsilon^{-2})$ copies of the Pauli channel. The tight lower bound strengthens the foundation for an experimental demonstration of entanglement-enhanced advantages for Pauli noise characterization.


title: Polishchuk's conjecture and Kazhdan-Laumon representations

abstract: In their 1988 paper "Gluing of perverse sheaves and discrete series representations," D. Kazhdan and G. Laumon constructed an abelian category $\mathcal{A}$ associated to a reductive group $G$ over a finite field with the aim of using it to construct discrete series representations of the finite Chevalley group $G(\mathbb{F}_q)$. The well-definedness of their construction depended on their conjecture that this category has finite cohomological dimension. This was disproven by R. Bezrukavnikov and A. Polishchuk in 2001, who found a counterexample in the case $G = SL_3$. In the same paper, Polishchuk then made an alternative conjecture: though this counterexample shows that the Grothendieck group $K_0(\mathcal{A})$ is not spanned by objects of finite projective dimension, he noted that a graded version of $K_0(\mathcal{A})$ can be thought of as a module over Laurent polynomials and conjectured that a certain localization of this module is generated by objects of finite projective dimension, and suggested that this conjecture could lead toward a proof that Kazhdan and Laumon's construction is well-defined. He proved this conjecture in Types $A_1, A_2, A_3$, and $B_2$. In the present paper, we prove Polishchuk's conjecture in full generality, and go on to prove that Kazhdan and Laumon's construction is indeed well-defined, giving a new geometric construction of discrete series representations of $G(\mathbb{F}_q)$.


title: A treatment of particle-electrolyte sharp interface fracture in solid-state batteries with multi-field discontinuities

abstract: In this work, we present a computational framework for coupled electro-chemo-(nonlinear) mechanics at the particle scale for solid-state batteries. The framework accounts for interfacial fracture between the active particles and solid electrolyte due to intercalation stresses. We extend discontinuous finite element methods for a sharp interface treatment of discontinuities in concentrations, fluxes, electric fields and in displacements, the latter arising from active particle-solid electrolyte interface fracture. We model the degradation in the charge transfer process that results from the loss of contact due to fracture at the electrolyte-active particle interfaces. Additionally, we account for the stress-dependent kinetics that can influence the charge transfer reactions and solid state diffusion. The discontinuous finite element approach does not require a conformal mesh. This offers the flexibility to construct arbitrary particle shapes and geometries that are based on design, or are obtained from microscopy images. The finite element mesh, however, can remain Cartesian, and independent of the particle geometries. We demonstrate this computational framework on micro-structures that are representative of solid-sate batteries with single and multiple anode and cathode particles.


title: Personalised and Adjustable Interval Type-2 Fuzzy-Based PPG Quality Assessment for the Edge

abstract: Most of today's wearable technology provides seamless cardiac activity monitoring. Specifically, the vast majority employ Photoplethysmography (PPG) sensors to acquire blood volume pulse information, which is further analysed to extract useful and physiologically related features. Nevertheless, PPG-based signal reliability presents different challenges that strongly affect such data processing. This is mainly related to the fact of PPG morphological wave distortion due to motion artefacts, which can lead to erroneous interpretation of the extracted cardiac-related features. On this basis, in this paper, we propose a novel personalised and adjustable Interval Type-2 Fuzzy Logic System (IT2FLS) for assessing the quality of PPG signals. The proposed system employs a personalised approach to adapt the IT2FLS parameters to the unique characteristics of each individual's PPG signals.Additionally, the system provides adjustable levels of personalisation, allowing healthcare providers to adjust the system to meet specific requirements for different applications. The proposed system obtained up to 93.72\% for average accuracy during validation. The presented system has the potential to enable ultra-low complexity and real-time PPG quality assessment, improving the accuracy and reliability of PPG-based health monitoring systems at the edge.


title: Origin of spin-driven ferroelectricity and effect of external pressure on the complex magnetism of 6H-perovskite Ba3HoRu2O9

abstract: The compound Ba3HoRu2O9 magnetically orders at 50 K (TN1) followed by another complex magnetic ordering at 10.2 K (TN2). The 2nd magnetic phase transition was characterized by the co-existence of two competing magnetic ground states associated with two different magnetic wave vectors (K1=1/2 0 0 and K2=1/4 1/4 0). Here, we have discussed the origin of spin-driven ferroelectricity, which is not known yet. We demonstrate through time-of-flight Neutron diffraction and theoretical calculation that the non-collinear structure involving two different magnetic ions, Ru(4d) and Ho(4f), break the spatial inversion symmetry via inverse Dzyaloshinskii-Moriya (D-M) interaction through strong 4d-4f magnetic correlation, which shifts the oxygen atoms and results in non-zero polarization. Such an observation of inverse D-M interaction from two different magnetic ions which caused ferroelectricity is rarely observed. We have systematically studied the spin and dipolar dynamics, which exhibit intriguing behavior with shorter coherence lengths of 2nd magnetic phase associated with the k2-wave vector. The results manifest the development of finite-size magnetoelectric domains instead of true long-range ordering which justifies the experimentally obtained low value of ferroelectric polarization. The synchrotron XRD analysis predicts a non-centrosymmetric space group P-62c. Furthermore, we have investigated the effect of external pressure on this complex magnetism. The result reveals an enhancement of ordering temperature by the application of external pressure (1.6 K/GPa). The external pressure might favor stabilizing the magnetic ground state associated with 2nd magnetic phase. Our study shows an unconventional mechanism of spin-driven ferroelectricity.


title: Rethinking Social Robot Navigation: Leveraging the Best of Two Worlds

abstract: Empowering robots to navigate in a socially compliant manner is essential for the acceptance of robots moving in human-inhabited environments. Previously, roboticists have developed geometric navigation systems with decades of empirical validation to achieve safety and efficiency. However, the many complex factors of social compliance make geometric navigation systems hard to adapt to social situations, where no amount of tuning enables them to be both safe (people are too unpredictable) and efficient (the frozen robot problem). With recent advances in deep learning approaches, the common reaction has been to entirely discard these classical navigation systems and start from scratch, building a completely new learning-based social navigation planner. In this work, we find that this reaction is unnecessarily extreme: using a large-scale real-world social navigation dataset, SCAND, we find that geometric systems can produce trajectory plans that align with the human demonstrations in a large number of social situations. We, therefore, ask if we can rethink the social robot navigation problem by leveraging the advantages of both geometric and learning-based methods. We validate this hybrid paradigm through a proof-of-concept experiment, in which we develop a hybrid planner that switches between geometric and learning-based planning. Our experiments on both SCAND and two physical robots show that the hybrid planner can achieve better social compliance compared to using either the geometric or learning-based approach alone.


title: SUDS: Sanitizing Universal and Dependent Steganography

abstract: Steganography, or hiding messages in plain sight, is a form of information hiding that is most commonly used for covert communication. As modern steganographic mediums include images, text, audio, and video, this communication method is being increasingly used by bad actors to propagate malware, exfiltrate data, and discreetly communicate. Current protection mechanisms rely upon steganalysis, or the detection of steganography, but these approaches are dependent upon prior knowledge, such as steganographic signatures from publicly available tools and statistical knowledge about known hiding methods. These dependencies render steganalysis useless against new or unique hiding methods, which are becoming increasingly common with the application of deep learning models. To mitigate the shortcomings of steganalysis, this work focuses on a deep learning sanitization technique called SUDS that is not reliant upon knowledge of steganographic hiding techniques and is able to sanitize universal and dependent steganography. SUDS is tested using least significant bit method (LSB), dependent deep hiding (DDH), and universal deep hiding (UDH). We demonstrate the capabilities and limitations of SUDS by answering five research questions, including baseline comparisons and an ablation study. Additionally, we apply SUDS to a real-world scenario, where it is able to increase the resistance of a poisoned classifier against attacks by 1375%.


title: Robert Millikan, Japanese Internment, and Eugenics

abstract: Robert A. Millikan (1868-1953) was the second American to win the Nobel Prize in physics. At the peak of his influence, no scientist save Einstein was more admired by the American public. Millikan, the head of the California Institute of Technology (Caltech) during its first 24 years, oversaw its rapid growth into one of the leading scientific institutions of the world. In response to demands for social justice, Caltech reached a decision to strip Millikan of honors (such as the library named after him), following accusations against him. This article analyzes a specific accusation against Millikan that was published in Nature: that he collaborated to deprive Japanese Americans of their rights during their forced relocation to internment camps during the Second World War. An examination of original historical sources will show that this accusation is false. On the contrary, Millikan actively campaigned during the war to promote the rights of Japanese Americans. The article also treats Caltech's central accusation against Millikan: he lent his name to a morally reprehensible eugenics movement that had been scientifically discredited in his time. In a reversal of Caltech's claims, this article shows that all three of Caltech's scientific witnesses against eugenics were actually pro-eugenic to varying degrees. Millikan's beliefs fell within acceptable scientific norms of his day.


title: Quantum Gromov-Hausdorff convergence of spectral truncations for groups with polynomial growth

abstract: For a unital spectral triple $(\mathcal{A}, H,D)$, we study when its truncation converges to itself. The spectral truncation is obtained by using the spectral projection $P_{\Lambda}$ of $D$ onto $[-\Lambda,\Lambda]$ to deal with the case where only a finite range of energy levels of a physical system is available. By restricting operators in $\mathcal{A}$ and $D$ to $P_{\Lambda}H$, we obtain a sequence of operator system spectral triples $\{(P_{\Lambda}\mathcal{A}P_{\Lambda},P_{\Lambda}H,P_{\Lambda}DP_{\Lambda})\}_{\Lambda}$. We prove that if the spectral triple is the one constructed using a discrete group with polynomial growth, then the sequence of operator systems $\{P_{\Lambda}\mathcal{A}P_{\Lambda}\}_{\Lambda}$ converges to $\mathcal{A}$ in the sense of quantum Gromov-Hausdorff convergence with respect to the Lip-norm coming from high order derivatives.


title: HAVE-Net: Hallucinated Audio-Visual Embeddings for Few-Shot Classification with Unimodal Cues

abstract: Recognition of remote sensing (RS) or aerial images is currently of great interest, and advancements in deep learning algorithms added flavor to it in recent years. Occlusion, intra-class variance, lighting, etc., might arise while training neural networks using unimodal RS visual input. Even though joint training of audio-visual modalities improves classification performance in a low-data regime, it has yet to be thoroughly investigated in the RS domain. Here, we aim to solve a novel problem where both the audio and visual modalities are present during the meta-training of a few-shot learning (FSL) classifier; however, one of the modalities might be missing during the meta-testing stage. This problem formulation is pertinent in the RS domain, given the difficulties in data acquisition or sensor malfunctioning. To mitigate, we propose a novel few-shot generative framework, Hallucinated Audio-Visual Embeddings-Network (HAVE-Net), to meta-train cross-modal features from limited unimodal data. Precisely, these hallucinated features are meta-learned from base classes and used for few-shot classification on novel classes during the inference phase. The experimental results on the benchmark ADVANCE and AudioSetZSL datasets show that our hallucinated modality augmentation strategy for few-shot classification outperforms the classifier performance trained with the real multimodal information at least by 0.8-2%.


title: Cloud Watching: Understanding Attacks Against Cloud-Hosted Services

abstract: Cloud computing has dramatically changed service deployment patterns. In this work, we analyze how attackers identify and target cloud services in contrast to traditional enterprise networks and network telescopes. Using a diverse set of cloud honeypots in 5~providers and 23~countries as well as 2~educational networks and 1~network telescope, we analyze how IP address assignment, geography, network, and service-port selection, influence what services are targeted in the cloud. We find that scanners that target cloud compute are selective: they avoid scanning networks without legitimate services and they discriminate between geographic regions. Further, attackers mine Internet-service search engines to find exploitable services and, in some cases, they avoid targeting IANA-assigned protocols, causing researchers to misclassify at least 15\% of traffic on select ports. Based on our results, we derive recommendations for researchers and operators.


title: Edge Aware Learning for 3D Point Cloud

abstract: This paper proposes an innovative approach to Hierarchical Edge Aware 3D Point Cloud Learning (HEA-Net) that seeks to address the challenges of noise in point cloud data, and improve object recognition and segmentation by focusing on edge features. In this study, we present an innovative edge-aware learning methodology, specifically designed to enhance point cloud classification and segmentation. Drawing inspiration from the human visual system, the concept of edge-awareness has been incorporated into this methodology, contributing to improved object recognition while simultaneously reducing computational time. Our research has led to the development of an advanced 3D point cloud learning framework that effectively manages object classification and segmentation tasks. A unique fusion of local and global network learning paradigms has been employed, enriched by edge-focused local and global embeddings, thereby significantly augmenting the model's interpretative prowess. Further, we have applied a hierarchical transformer architecture to boost point cloud processing efficiency, thus providing nuanced insights into structural understanding. Our approach demonstrates significant promise in managing noisy point cloud data and highlights the potential of edge-aware strategies in 3D point cloud learning. The proposed approach is shown to outperform existing techniques in object classification and segmentation tasks, as demonstrated by experiments on ModelNet40 and ShapeNet datasets.


title: Sustainability in HPC: Vision and Opportunities

abstract: Tackling climate change by reducing and eventually eliminating carbon emissions is a significant milestone on the path toward establishing an environmentally sustainable society. As we transition into the exascale era, marked by an increasing demand and scale of HPC resources, the HPC community must embrace the challenge of reducing carbon emissions from designing and operating modern HPC systems. In this position paper, we describe challenges and highlight different opportunities that can aid HPC sites in reducing the carbon footprint of modern HPC systems.


title: Enhanced radiation damage tolerance of amorphous interphase and grain boundary complexions in Cu-Ta

abstract: Amorphous interfacial complexions are particularly resistant to radiation damage and have been primarily studied in alloys with good glass-forming ability, yet recent reports suggest that these features can form even in immiscible alloys such as Cu-Ta under irradiation. In this study, the mechanisms of damage production and annihilation due to primary knock-on atom collisions are investigated for amorphous interphase and grain boundaries in a Cu-Ta alloy using atomistic simulations. Amorphous complexions, in particular amorphous interphase complexions that separate Cu and Ta grains, result in less residual defect damage than their ordered counterparts. Stemming from the nanophase chemical separation in this alloy, the amorphous complexions exhibit a highly heterogeneous distribution of atomic excess volume, as compared to a good glass former like Cu-Zr. Complexion thickness, a tunable structural descriptor, plays a vital role in damage resistance. Thicker interfacial films are more damage-tolerant because they alter the defect production rate due to differences in intrinsic displacement threshold energies during the collision cascade. Overall, the findings of this work highlight the importance of interfacial engineering in enhancing the properties of materials operating in radiation-prone environments and the promise of amorphous complexions as particularly radiation damage-tolerant microstructural features.


title: Detecting and Mitigating System-Level Anomalies of Vision-Based Controllers

abstract: Autonomous systems, such as self-driving cars and drones, have made significant strides in recent years by leveraging visual inputs and machine learning for decision-making and control. Despite their impressive performance, these vision-based controllers can make erroneous predictions when faced with novel or out-of-distribution inputs. Such errors can cascade to catastrophic system failures and compromise system safety. In this work, we introduce a run-time anomaly monitor to detect and mitigate such closed-loop, system-level failures. Specifically, we leverage a reachability-based framework to stress-test the vision-based controller offline and mine its system-level failures. This data is then used to train a classifier that is leveraged online to flag inputs that might cause system breakdowns. The anomaly detector highlights issues that transcend individual modules and pertain to the safety of the overall system. We also design a fallback controller that robustly handles these detected anomalies to preserve system safety. We validate the proposed approach on an autonomous aircraft taxiing system that uses a vision-based controller for taxiing. Our results show the efficacy of the proposed approach in identifying and handling system-level anomalies, outperforming methods such as prediction error-based detection, and ensembling, thereby enhancing the overall safety and robustness of autonomous systems.


title: Hierarchical attention interpretation: an interpretable speech-level transformer for bi-modal depression detection

abstract: Depression is a common mental disorder. Automatic depression detection tools using speech, enabled by machine learning, help early screening of depression. This paper addresses two limitations that may hinder the clinical implementations of such tools: noise resulting from segment-level labelling and a lack of model interpretability. We propose a bi-modal speech-level transformer to avoid segment-level labelling and introduce a hierarchical interpretation approach to provide both speech-level and sentence-level interpretations, based on gradient-weighted attention maps derived from all attention layers to track interactions between input features. We show that the proposed model outperforms a model that learns at a segment level ($p$=0.854, $r$=0.947, $F1$=0.897 compared to $p$=0.732, $r$=0.808, $F1$=0.768). For model interpretation, using one true positive sample, we show which sentences within a given speech are most relevant to depression detection; and which text tokens and Mel-spectrogram regions within these sentences are most relevant to depression detection. These interpretations allow clinicians to verify the validity of predictions made by depression detection tools, promoting their clinical implementations.


title: Spectral boundary conditions for volumetric frame fields design

abstract: Using the 4th and the 3rd degree spherical harmonics as the representations for volumetric frames, we describe a simple algebraic technique for combining multiple frame orientation constraints into a single quadratic penalty function. This technique allows to solve volumetric frame fields design problems using a coarse-to-fine strategy on hierarchical grids with immersed boundaries. These results were presented for the first time at the FRAMES 2023 European workshop on meshing.


title: CA-PCA: Manifold Dimension Estimation, Adapted for Curvature

abstract: The success of algorithms in the analysis of high-dimensional data is often attributed to the manifold hypothesis, which supposes that this data lie on or near a manifold of much lower dimension. It is often useful to determine or estimate the dimension of this manifold before performing dimension reduction, for instance. Existing methods for dimension estimation are calibrated using a flat unit ball. In this paper, we develop CA-PCA, a version of local PCA based instead on a calibration of a quadratic embedding, acknowledging the curvature of the underlying manifold. Numerous careful experiments show that this adaptation improves the estimator in a wide range of settings.


title: Persistence Norms and the Datasaurus

abstract: Topological Data Analysis (TDA) provides a toolkit for the study of the shape of high dimensional and complex data. While operating on a space of persistence diagrams is cumbersome, persistence norms provide a simple real value measure of multivariate data which is seeing greater adoption within finance. A growing literature seeks links between persistence norms and the summary statistics of the data being analysed. This short note targets the demonstration of differences in the persistence norms of the Datasaurus datasets of Matejka and Fitzmaurice. We show that persistence norms can be used as additional measures that often discriminate datasets with the same collection of summary statistics. Treating each of the data sets as a point cloud we construct the $L_1$ and $L_2$ persistence norms in dimensions 0 and 1. We show multivariate distributions with identical covariance and correlation matrices can have considerably different persistence norms. Through the example, we remind users of persistence norms of the importance of checking the distribution of the point clouds from which the norms are constructed.


title: Bringing Spatial Interaction Measures into Multi-Criteria Assessment of Redistricting Plans Using Interactive Web Mapping

abstract: Redistricting is the process by which electoral district boundaries are drawn, and a common normative assumption in this process is that districts should be drawn so as to capture coherent communities of interest (COIs). While states rely on various proxies for community illustration, such as compactness metrics and municipal split counts, to guide redistricting, recent legal challenges and scholarly works have shown the failings of such proxy measures and the difficulty of balancing multiple criteria in district plan creation. To address these issues, we propose the use of spatial interaction communities to directly quantify the degree to which districts capture the underlying COIs. Using large-scale human mobility flow data, we condense spatial interaction community capture for a set of districts into a single number, the interaction ratio (IR), which can be used for redistricting plan evaluation. To compare the IR to traditional redistricting criteria (compactness and fairness), and to explore the range of IR values found in valid districting plans, we employ a Markov chain-based regionalization algorithm (ReCom) to produce ensembles of valid plans, and calculate the degree to which they capture spatial interaction communities. Furthermore, we propose two methods for biasing the ReCom algorithm towards different IR values. We perform a multi-criteria assessment of the space of valid maps, and present the results in an interactive web map. The experiments on Wisconsin congressional districting plans demonstrate the effectiveness of our methods for biasing sampling towards higher or lower IR values. Furthermore, the analysis of the districts produced with these methods suggests that districts with higher IR and compactness values tend to produce district plans that are more proportional with regards to seats allocated to each of the two major parties.


title: Real-time Bandwidth Estimation from Offline Expert Demonstrations

abstract: In this work, we tackle the problem of bandwidth estimation (BWE) for real-time communication systems; however, in contrast to previous works, we leverage the vast efforts of prior heuristic-based BWE methods and synergize these approaches with deep learning-based techniques. Our work addresses challenges in generalizing to unseen network dynamics and extracting rich representations from prior experience, two key challenges in integrating data-driven bandwidth estimators into real-time systems. To that end, we propose Merlin, the first purely offline, data-driven solution to BWE that harnesses prior heuristic-based methods to extract an expert BWE policy. Through a series of experiments, we demonstrate that Merlin surpasses state-of-the-art heuristic-based and deep learning-based bandwidth estimators in terms of objective quality of experience metrics while generalizing beyond the offline world to in-the-wild network deployments where Merlin achieves a 42.85% and 12.8% reduction in packet loss and delay, respectively, when compared against WebRTC in inter-continental videoconferencing calls. We hope that Merlin's offline-oriented design fosters new strategies for real-time network control.


title: A Unified Scheme of ResNet and Softmax

abstract: Large language models (LLMs) have brought significant changes to human society. Softmax regression and residual neural networks (ResNet) are two important techniques in deep learning: they not only serve as significant theoretical components supporting the functionality of LLMs but also are related to many other machine learning and theoretical computer science fields, including but not limited to image classification, object detection, semantic segmentation, and tensors. Previous research works studied these two concepts separately. In this paper, we provide a theoretical analysis of the regression problem: $\| \langle \exp(Ax) + A x , {\bf 1}_n \rangle^{-1} ( \exp(Ax) + Ax ) - b \|_2^2$, where $A$ is a matrix in $\mathbb{R}^{n \times d}$, $b$ is a vector in $\mathbb{R}^n$, and ${\bf 1}_n$ is the $n$-dimensional vector whose entries are all $1$. This regression problem is a unified scheme that combines softmax regression and ResNet, which has never been done before. We derive the gradient, Hessian, and Lipschitz properties of the loss function. The Hessian is shown to be positive semidefinite, and its structure is characterized as the sum of a low-rank matrix and a diagonal matrix. This enables an efficient approximate Newton method. As a result, this unified scheme helps to connect two previously thought unrelated fields and provides novel insight into loss landscape and optimization for emerging over-parameterized neural networks, which is meaningful for future research in deep learning models.


title: Enhancing Prediction and Analysis of UK Road Traffic Accident Severity Using AI: Integration of Machine Learning, Econometric Techniques, and Time Series Forecasting in Public Health Research

abstract: This research investigates road traffic accident severity in the UK, using a combination of machine learning, econometric, and statistical methods on historical data. We employed various techniques, including correlation analysis, regression models, GMM for error term issues, and time-series forecasting with VAR and ARIMA models. Our approach outperforms naive forecasting with an MASE of 0.800 and ME of -73.80. We also built a random forest classifier with 73% precision, 78% recall, and a 73% F1-score. Optimizing with H2O AutoML led to an XGBoost model with an RMSE of 0.176 and MAE of 0.087. Factor Analysis identified key variables, and we used SHAP for Explainable AI, highlighting influential factors like Driver_Home_Area_Type and Road_Type. Our study enhances understanding of accident severity and offers insights for evidence-based road safety policies.


title: GGL-PPI: Geometric Graph Learning to Predict Mutation-Induced Binding Free Energy Changes

abstract: Protein-protein interactions (PPIs) are critical for various biological processes, and understanding their dynamics is essential for decoding molecular mechanisms and advancing fields such as cancer research and drug discovery. Mutations in PPIs can disrupt protein binding affinity and lead to functional changes and disease. Predicting the impact of mutations on binding affinity is valuable but experimentally challenging. Computational methods, including physics-based and machine learning-based approaches, have been developed to address this challenge. Machine learning-based methods, fueled by extensive PPI datasets such as Ab-Bind, PINT, SKEMPI, and others, have shown promise in predicting binding affinity changes. However, accurate predictions and generalization of these models across different datasets remain challenging. Geometric graph learning has emerged as a powerful approach, combining graph theory and machine learning, to capture structural features of biomolecules. We present GGL-PPI, a novel method that integrates geometric graph learning and machine learning to predict mutation-induced binding free energy changes. GGL-PPI leverages atom-level graph coloring and multi-scale weighted colored geometric subgraphs to extract informative features, demonstrating superior performance on three validation datasets, namely AB-Bind, SKEMPI 1.0, and SKEMPI 2.0 datasets. Evaluation on a blind test set highlights the unbiased predictions of GGL-PPI for both direct and reverse mutations. The findings underscore the potential of GGL-PPI in accurately predicting binding free energy changes, contributing to our understanding of PPIs and aiding drug design efforts.


title: Interpretable and Flexible Target-Conditioned Neural Planners For Autonomous Vehicles

abstract: Learning-based approaches to autonomous vehicle planners have the potential to scale to many complicated real-world driving scenarios by leveraging huge amounts of driver demonstrations. However, prior work only learns to estimate a single planning trajectory, while there may be multiple acceptable plans in real-world scenarios. To solve the problem, we propose an interpretable neural planner to regress a heatmap, which effectively represents multiple potential goals in the bird's-eye view of an autonomous vehicle. The planner employs an adaptive Gaussian kernel and relaxed hourglass loss to better capture the uncertainty of planning problems. We also use a negative Gaussian kernel to add supervision to the heatmap regression, enabling the model to learn collision avoidance effectively. Our systematic evaluation on the Lyft Open Dataset across a diverse range of real-world driving scenarios shows that our model achieves a safer and more flexible driving performance than prior works.


title: Gaining Insights into Denoising by Inpainting

abstract: The filling-in effect of diffusion processes is a powerful tool for various image analysis tasks such as inpainting-based compression and dense optic flow computation. For noisy data, an interesting side effect occurs: The interpolated data have higher confidence, since they average information from many noisy sources. This observation forms the basis of our denoising by inpainting (DbI) framework. It averages multiple inpainting results from different noisy subsets. Our goal is to obtain fundamental insights into key properties of DbI and its connections to existing methods. Like in inpainting-based image compression, we choose homogeneous diffusion as a very simple inpainting operator that performs well for highly optimized data. We propose several strategies to choose the location of the selected pixels. Moreover, to improve the global approximation quality further, we also allow to change the function values of the noisy pixels. In contrast to traditional denoising methods that adapt the operator to the data, our approach adapts the data to the operator. Experimentally we show that replacing homogeneous diffusion inpainting by biharmonic inpainting does not improve the reconstruction quality. This again emphasizes the importance of data adaptivity over operator adaptivity. On the foundational side, we establish deterministic and probabilistic theories with convergence estimates. In the non-adaptive 1-D case, we derive equivalence results between DbI on shifted regular grids and classical homogeneous diffusion filtering via an explicit relation between the density and the diffusion time.


title: Bochner-Riesz means at the critical index: Weighted and sparse bounds

abstract: We consider Bochner-Riesz means on weighted $L^p$ spaces, at the critical index $\lambda(p)=d(\frac 1p-\frac 12)-\frac 12$. For every $A_1$-weight we obtain an extension of Vargas' weak type $(1,1)$ inequality in some range of $p>1$. To prove this result we establish new endpoint results for sparse domination. These are almost optimal in dimension $d=2$; partial results as well as conditional results are proved in higher dimensions. For the means of index $\lambda_*=\frac{d-1}{2d+2}$ we prove fully optimal sparse bounds.


title: Epidemic Forecast Follies

abstract: We introduce a simple multiplicative model to describe the temporal behavior and the ultimate outcome of an epidemic. Our model accounts, in a minimalist way, for the competing influences of imposing public-health restrictions when the epidemic is severe, and relaxing restrictions when the epidemic is waning. Our primary results are that different instances of an epidemic with identical starting points have disparate outcomes and each epidemic temporal history is strongly fluctuating.


title: Identifying Systematic Errors in Object Detectors with the SCROD Pipeline

abstract: The identification and removal of systematic errors in object detectors can be a prerequisite for their deployment in safety-critical applications like automated driving and robotics. Such systematic errors can for instance occur under very specific object poses (location, scale, orientation), object colors/textures, and backgrounds. Real images alone are unlikely to cover all relevant combinations. We overcome this limitation by generating synthetic images with fine-granular control. While generating synthetic images with physical simulators and hand-designed 3D assets allows fine-grained control over generated images, this approach is resource-intensive and has limited scalability. In contrast, using generative models is more scalable but less reliable in terms of fine-grained control. In this paper, we propose a novel framework that combines the strengths of both approaches. Our meticulously designed pipeline along with custom models enables us to generate street scenes with fine-grained control in a fully automated and scalable manner. Moreover, our framework introduces an evaluation setting that can serve as a benchmark for similar pipelines. This evaluation setting will contribute to advancing the field and promoting standardized testing procedures.


title: Nanocavity-mediated Purcell enhancement of Er in TiO$_2$ thin films grown via atomic layer deposition

abstract: The use of trivalent erbium (Er$^{3+}$), typically embedded as an atomic defect in the solid-state, has widespread adoption as a dopant in telecommunications devices and shows promise as a spin-based quantum memory for quantum communication. In particular, its natural telecom C-band optical transition and spin-photon interface makes it an ideal candidate for integration into existing optical fiber networks without the need for quantum frequency conversion. However, successful scaling requires a host material with few intrinsic nuclear spins, compatibility with semiconductor foundry processes, and straightforward integration with silicon photonics. Here, we present Er-doped titanium dioxide (TiO$_2$) thin film growth on silicon substrates using a foundry-scalable atomic layer deposition process with a wide range of doping control over the Er concentration. Even though the as-grown films are amorphous, after oxygen annealing they exhibit relatively large crystalline grains, and the embedded Er ions exhibit the characteristic optical emission spectrum from anatase TiO$_2$. Critically, this growth and annealing process maintains the low surface roughness required for nanophotonic integration. Finally, we interface Er ensembles with high quality factor Si nanophotonic cavities via evanescent coupling and demonstrate a large Purcell enhancement (300) of their optical lifetime. Our findings demonstrate a low-temperature, non-destructive, and substrate-independent process for integrating Er-doped materials with silicon photonics. At high doping densities this platform can enable integrated photonic components such as on-chip amplifiers and lasers, while dilute concentrations can realize single ion quantum memories.


title: Extension properties of orbit spaces for proper actions revisited

abstract: Let $G$ be a locally compact Hausdorff group. We study orbit spaces of equivariant absolute neighborhood extensors ($G$-${\rm ANE}$'s) for the class of all proper $G$-spaces that are metrizable by a $G$-invariant metric. We prove that if a $G$-space $X$ is a $G$-${\rm ANE}$ and all $G $-orbits in $X$ are metrizable, then the $G$-orbit space $X/G$ is an {\rm ANE}. If $G$ is either a Lie group or an almost connected group, then for any closed normal subgroup $H$ of $G$, the $H$-orbit space $X/H$ is a $G/H$-{\rm ANE} provided that all $H$-orbits in $X$ are metrizable.


title: Portrait Stylization: Artistic Style Transfer with Auxiliary Networks for Human Face Stylization

abstract: Today's image style transfer methods have difficulty retaining humans face individual features after the whole stylizing process. This occurs because the features like face geometry and people's expressions are not captured by the general-purpose image classifiers like the VGG-19 pre-trained models. This paper proposes the use of embeddings from an auxiliary pre-trained face recognition model to encourage the algorithm to propagate human face features from the content image to the final stylized result.


title: Structure of the probability mass function of the Poisson distribution of order $k$

abstract: The Poisson distribution of order $k$ is a special case of a compound Poisson distribution. For $k=1$ it is the standard Poisson distribution. Although its probability mass function (pmf) is known, what is lacking is a $visual$ interpretation, which a sum over terms with factorial denominators does not supply. Unlike the standard Poisson distribution, the Poisson distribution of order $k$ can display a maximum of $four$ peaks simultaneously, as a function of two parameters: the order $k$ and the rate parameter $\lambda$. This note characterizes the shape of the pmf of the Poisson distribution of order $k$. The pmf can be partitioned into a single point at $n=0$, an increasing sequence for $n \in [1,k]$ and a mountain range for $n>k$ (explained in the text). The ``parameter space'' of the pmf is mapped out and the significance of each domain is explained, in particular the change in behavior of the pmf as a domain boundary is crossed. A simple analogy (admittedly unrelated) is that of the discriminant of a quadratic with real coefficients: its domains characterize the nature of the roots (real or complex), and the domain boundary signifies the presence of a repeated root. Something similar happens with the pmf of the Poisson distribution of order $k$. As an application, this note explains the mode structure of the Poisson distribution of order $k$. Improvements to various inequalities are also derived (sharper bounds, etc.). New conjectured upper and lower bounds for the median and the mode are also proposed.


title: Communication-Constrained Multi-Robot Exploration with Intermittent Rendezvous

abstract: This paper deals with the Multi-robot Exploration (MRE) under communication constraints problem. We propose a novel intermittent rendezvous method that allows robots to explore an unknown environment while sharing maps at rendezvous locations through agreements. In our method, robots update the agreements to spread the rendezvous locations during the exploration and prioritize exploring unknown areas near them. To generate the agreements automatically, we reduced the MRE to instances of the Job Shop Scheduling Problem (JSSP) and ensured intermittent communication through a temporal connectivity graph. We evaluate our method in simulation in various virtual urban environments and a Gazebo simulation using the Robot Operating System (ROS). Our results suggest that our method can be better than using relays or maintaining intermittent communication with a base station since we can explore faster without additional hardware to create a relay network.


title: ZDNS: A Fast DNS Toolkit for Internet Measurement

abstract: Active DNS measurement is fundamental to understanding and improving the DNS ecosystem. However, the absence of an extensible, high-performance, and easy-to-use DNS toolkit has limited both the reproducibility and coverage of DNS research. In this paper, we introduce ZDNS, a modular and open-source active DNS measurement framework optimized for large-scale research studies of DNS on the public Internet. We describe ZDNS' architecture, evaluate its performance, and present two case studies that highlight how the tool can be used to shed light on the operational complexities of DNS. We hope that ZDNS will enable researchers to better -- and in a more reproducible manner -- understand Internet behavior.


title: Stratosphere: Finding Vulnerable Cloud Storage Buckets

abstract: Misconfigured cloud storage buckets have leaked hundreds of millions of medical, voter, and customer records. These breaches are due to a combination of easily-guessable bucket names and error-prone security configurations, which, together, allow attackers to easily guess and access sensitive data. In this work, we investigate the security of buckets, finding that prior studies have largely underestimated cloud insecurity by focusing on simple, easy-to-guess names. By leveraging prior work in the password analysis space, we introduce Stratosphere, a system that learns how buckets are named in practice in order to efficiently guess the names of vulnerable buckets. Using Stratosphere, we find wide-spread exploitation of buckets and vulnerable configurations continuing to increase over the years. We conclude with recommendations for operators, researchers, and cloud providers.


title: Existence of Classic Solution of the Boussinesq Equation

abstract: We generalize intermediate value Theorem to metric space,and make use of it to discuss existence of classic solution of the Boussinesq equation.


title: Consensus Algorithms of Distributed Ledger Technology -- A Comprehensive Analysis

abstract: The most essential component of every Distributed Ledger Technology (DLT) is the Consensus Algorithm (CA), which enables users to reach a consensus in a decentralized and distributed manner. Numerous CA exist, but their viability for particular applications varies, making their trade-offs a crucial factor to consider when implementing DLT in a specific field. This article provided a comprehensive analysis of the various consensus algorithms used in distributed ledger technologies (DLT) and blockchain networks. We cover an extensive array of thirty consensus algorithms. Eleven attributes including hardware requirements, pre-trust level, tolerance level, and more, were used to generate a series of comparison tables evaluating these consensus algorithms. In addition, we discuss DLT classifications, the categories of certain consensus algorithms, and provide examples of authentication-focused and data-storage-focused DLTs. In addition, we analyze the pros and cons of particular consensus algorithms, such as Nominated Proof of Stake (NPoS), Bonded Proof of Stake (BPoS), and Avalanche. In conclusion, we discuss the applicability of these consensus algorithms to various Cyber Physical System (CPS) use cases, including supply chain management, intelligent transportation systems, and smart healthcare.


title: Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts

abstract: This paper considers the problem of controller synthesis of signal temporal logic (STL) specifications for large-scale multi-agent systems, where the agents are dynamically coupled and subject to collaborative tasks. A compositional framework based on continuous-time assume-guarantee contracts is developed to break the complex and large synthesis problem into subproblems of manageable sizes. We first show how to formulate the collaborative STL tasks as assume-guarantee contracts by leveraging the idea of funnel-based control. The concept of contracts is used to establish our compositionality result, which allows us to guarantee the satisfaction of a global contract by the multi-agent system when all agents satisfy their local contracts. Then, a closed-form continuous-time feedback controller is designed to enforce local contracts over the agents in a distributed manner, which further guarantees the global task satisfaction based on the compositionality result. Finally, the effectiveness of our results is demonstrated by two numerical examples.


title: Enhancing Student Performance Prediction on Learnersourced Questions with SGNN-LLM Synergy

abstract: Learnersourcing offers great potential for scalable education through student content creation. However, predicting student performance on learnersourced questions, which is essential for personalizing the learning experience, is challenging due to the inherent noise in student-generated data. Moreover, while conventional graph-based methods can capture the complex network of student and question interactions, they often fall short under cold start conditions where limited student engagement with questions yields sparse data. To address both challenges, we introduce an innovative strategy that synergizes the potential of integrating Signed Graph Neural Networks (SGNNs) and Large Language Model (LLM) embeddings. Our methodology employs a signed bipartite graph to comprehensively model student answers, complemented by a contrastive learning framework that enhances noise resilience. Furthermore, LLM's contribution lies in generating foundational question embeddings, proving especially advantageous in addressing cold start scenarios characterized by limited graph data. Validation across five real-world datasets sourced from the PeerWise platform underscores our approach's effectiveness. Our method outperforms baselines, showcasing enhanced predictive accuracy and robustness.


title: Why Trick Me: The Honeypot Traps on Decentralized Exchanges

abstract: Decentralized Exchanges (DEXs) are one of the most important infrastructures in the world of Decentralized Finance (DeFi) and are generally considered more reliable than centralized exchanges (CEXs). However, some well-known decentralized exchanges (e.g., Uniswap) allow the deployment of any unaudited ERC20 tokens, resulting in the creation of numerous honeypot traps designed to steal traders' assets: traders can exchange valuable assets (e.g., ETH) for fraudulent tokens in liquidity pools but are unable to exchange them back for the original assets. In this paper, we introduce honeypot traps on decentralized exchanges and provide a taxonomy for these traps according to the attack effect. For different types of traps, we design a detection scheme based on historical data analysis and transaction simulation. We randomly select 10,000 pools from Uniswap V2 \& V3, and then utilize our method to check these pools.Finally, we discover 8,443 abnormal pools, which shows that honeypot traps may exist widely in exchanges like Uniswap. Furthermore, we discuss possible mitigation and defense strategies to protect traders' assets.


title: Globally Solving a Class of Bilevel Programs with Spatial Price Equilibrium Constraints

abstract: Bilevel programs with spatial price equilibrium constraints are strategic models that consider a price competition at the lower level. These models find application in facility location-price models, optimal bidding in power networks, and integration of renewable energy sources in distribution networks. In this paper, for the case where the equilibrium at the lower level can be formulated as an optimization problem, we introduce an enhanced single-level formulation based on duality and show that its relaxation is stronger than the single-level formulation obtained using KKT conditions. Compared to the literature [1, 2], this new formulation (i) is computationally friendly to global solution strategies using branch-and-bound, and (ii) can tackle instances of larger size. Further, we develop a heuristic procedure to find feasible solutions inside of the branch-and-bound tree that is effective on instances of large size and produces solutions whose objective values are close to the relaxation bound. We demonstrate the benefits of this formulation and heuristic through an extensive numerical study on synthetic instances of Equilibrium Facility Location [3] and on standard IEEE bus networks for planning renewable generation capacity under uncertainty.


title: Lattice Green's Functions for High Order Finite Difference Stencils

abstract: Lattice Green's Functions (LGFs) are fundamental solutions to discretized linear operators, and as such they are a useful tool for solving discretized elliptic PDEs on domains that are unbounded in one or more directions. The majority of existing numerical solvers that make use of LGFs rely on a second-order discretization and operate on domains with free-space boundary conditions in all directions. Under these conditions, fast expansion methods are available that enable precomputation of 2D or 3D LGFs in linear time, avoiding the need for brute-force multi-dimensional quadrature of numerically unstable integrals. Here we focus on higher-order discretizations of the Laplace operator on domains with more general boundary conditions, by (1) providing an algorithm for fast and accurate evaluation of the LGFs associated with high-order dimension-split centered finite differences on unbounded domains, and (2) deriving closed-form expressions for the LGFs associated with both dimension-split and Mehrstellen discretizations on domains with one unbounded dimension. Through numerical experiments we demonstrate that these techniques provide LGF evaluations with near machine-precision accuracy, and that the resulting LGFs allow for numerically consistent solutions to high-order discretizations of the Poisson's equation on fully or partially unbounded 3D domains.


title: Attention Is All You Need For Blind Room Volume Estimation

abstract: In recent years, dynamic parameterization of acoustic environments has raised increasing attention in the field of audio processing. One of the key parameters that characterize the local room acoustics in isolation from orientation and directivity of sources and receivers is the geometric room volume. Convolutional neural networks (CNNs) have been widely selected as the main models for conducting blind room acoustic parameter estimation, which aims to learn a direct mapping from audio spectrograms to corresponding labels. With the recent trend of self-attention mechanisms, this paper introduces a purely attention-based model to blindly estimate room volumes based on single-channel noisy speech signals. We demonstrate the feasibility of eliminating the reliance on CNN for this task and the proposed Transformer architecture takes Gammatone magnitude spectral coefficients and phase spectrograms as inputs. To enhance the model performance given the task-specific dataset, cross-modality transfer learning is also applied. Experimental results demonstrate that the proposed model outperforms traditional CNN models across a wide range of real-world acoustics spaces, especially with the help of the dedicated pretraining and data augmentation schemes.


title: Rewrite Caption Semantics: Bridging Semantic Gaps for Language-Supervised Semantic Segmentation

abstract: Vision-Language Pre-training has demonstrated its remarkable zero-shot recognition ability and potential to learn generalizable visual representations from language supervision. Taking a step ahead, language-supervised semantic segmentation enables spatial localization of textual inputs by learning pixel grouping solely from image-text pairs. Nevertheless, the state-of-the-art suffers from clear semantic gaps between visual and textual modality: plenty of visual concepts appeared in images are missing in their paired captions. Such semantic misalignment circulates in pre-training, leading to inferior zero-shot performance in dense predictions due to insufficient visual concepts captured in textual representations. To close such semantic gap, we propose Concept Curation (CoCu), a pipeline that leverages CLIP to compensate for the missing semantics. For each image-text pair, we establish a concept archive that maintains potential visually-matched concepts with our proposed vision-driven expansion and text-to-vision-guided ranking. Relevant concepts can thus be identified via cluster-guided sampling and fed into pre-training, thereby bridging the gap between visual and textual semantics. Extensive experiments over a broad suite of 8 segmentation benchmarks show that CoCu achieves superb zero-shot transfer performance and greatly boosts language-supervised segmentation baseline by a large margin, suggesting the value of bridging semantic gap in pre-training data.


title: Evaluating the Usability of Differential Privacy Tools with Data Practitioners

abstract: Differential privacy (DP) has become the gold standard in privacy-preserving data analytics, but implementing it in real-world datasets and systems remains challenging. Recently developed DP tools aim to make DP implementation easier, but limited research has investigated these DP tools' usability. Through a usability study with 24 US data practitioners with varying prior DP knowledge, we evaluated the usability of four Python-based open-source DP tools: DiffPrivLib, Tumult Analytics, PipelineDP, and OpenDP. Our results suggest that using DP tools in this study may help DP novices better understand DP; that Application Programming Interface (API) design and documentation are vital for successful DP implementation; and that user satisfaction correlates with how well participants completed study tasks with these DP tools. We provide evidence-based recommendations to improve DP tools' usability to broaden DP adoption.


title: An Architecture for Improved Surface Code Connectivity in Neutral Atoms

abstract: In order to achieve error rates necessary for advantageous quantum algorithms, Quantum Error Correction (QEC) will need to be employed, improving logical qubit fidelity beyond what can be achieved physically. As today's devices begin to scale, co-designing architectures for QEC with the underlying hardware will be necessary to reduce the daunting overheads and accelerate the realization of practical quantum computing. In this work, we focus on logical computation in QEC. We address quantum computers made from neutral atom arrays to design a surface code architecture that translates the hardware's higher physical connectivity into a higher logical connectivity. We propose groups of interleaved logical qubits, gaining all-to-all connectivity within the group via efficient transversal CNOT gates. Compared to standard lattice surgery operations, this reduces both the overall qubit footprint and execution time, lowering the spacetime overhead needed for small-scale QEC circuits. We also explore the architecture's scalability. We look at using physical atom movement schemes and propose interleaved lattice surgery which allows an all-to-all connectivity between qubits in adjacent interleaved groups, creating a higher connectivity routing space for large-scale circuits. Using numerical simulations, we evaluate the total routing time of interleaved lattice surgery and atom movement for various circuit sizes. We identify a cross-over point defining intermediate-scale circuits where atom movement is best and large-scale circuits where interleaved lattice surgery is best. We use this to motivate a hybrid approach as devices continue to scale, with the choice of operation depending on the routing distance.


title: Guided Cooperation in Hierarchical Reinforcement Learning via Model-based Rollout

abstract: Goal-conditioned hierarchical reinforcement learning (HRL) presents a promising approach for enabling effective exploration in complex, long-horizon reinforcement learning (RL) tasks through temporal abstraction. Empirically, heightened inter-level communication and coordination can induce more stable and robust policy improvement in hierarchical systems. Yet, most existing goal-conditioned HRL algorithms have primarily focused on the subgoal discovery, neglecting inter-level cooperation. Here, we propose a goal-conditioned HRL framework named Guided Cooperation via Model-based Rollout (GCMR), aiming to bridge inter-layer information synchronization and cooperation by exploiting forward dynamics. Firstly, the GCMR mitigates the state-transition error within off-policy correction via model-based rollout, thereby enhancing sample efficiency. Secondly, to prevent disruption by the unseen subgoals and states, lower-level Q-function gradients are constrained using a gradient penalty with a model-inferred upper bound, leading to a more stable behavioral policy conducive to effective exploration. Thirdly, we propose a one-step rollout-based planning, using higher-level critics to guide the lower-level policy. Specifically, we estimate the value of future states of the lower-level policy using the higher-level critic function, thereby transmitting global task information downwards to avoid local pitfalls. These three critical components in GCMR are expected to facilitate inter-level cooperation significantly. Experimental results demonstrate that incorporating the proposed GCMR framework with a disentangled variant of HIGL, namely ACLG, yields more stable and robust policy improvement compared to various baselines and significantly outperforms previous state-of-the-art algorithms.


title: Coco-Nut: Corpus of Japanese Utterance and Voice Characteristics Description for Prompt-based Control

abstract: In text-to-speech, controlling voice characteristics is important in achieving various-purpose speech synthesis. Considering the success of text-conditioned generation, such as text-to-image, free-form text instruction should be useful for intuitive and complicated control of voice characteristics. A sufficiently large corpus of high-quality and diverse voice samples with corresponding free-form descriptions can advance such control research. However, neither an open corpus nor a scalable method is currently available. To this end, we develop Coco-Nut, a new corpus including diverse Japanese utterances, along with text transcriptions and free-form voice characteristics descriptions. Our methodology to construct this corpus consists of 1) automatic collection of voice-related audio data from the Internet, 2) quality assurance, and 3) manual annotation using crowdsourcing. Additionally, we benchmark our corpus on the prompt embedding model trained by contrastive speech-text learning.


title: Gate-electric-field and magnetic-field control of versatile topological phases in a semi-magnetic topological insulator

abstract: Surface states of a topological insulator demonstrate interesting quantum phenomena, such as the quantum anomalous Hall (QAH) effect and the quantum magnetoelectric effect. Fermi energy tuning plays a role in inducing phase transitions and developing future device functions. Here, we report on controlling the topological phases in a dual-gate field-effect transistor of a semi-magnetic topological insulator heterostructure. The heterostructure consists of magnetized one-surface and non-magnetic other-surface. By tuning the Fermi energy to the energy gap of the magnetized surface, the Hall conductivity $\sigma_{xy}$ becomes close to the half-integer quantized Hall conductivity $e^2/2h$, exemplifying parity anomaly. The dual-gate control enables the band structure alignment to the two quantum Hall states with $\sigma_{xy} = e^2/h$ and 0 under a strong magnetic field. These states are topologically equivalent to the QAH and axion insulator states, respectively. Precise and independent control of the band alignment of the top and bottom surfaces successively induces various topological phase transitions among the QAH, axion insulator, and parity anomaly states in magnetic topological insulators.


title: Shedding new light on the absence of fermionic superradiance and maximal infalling rate of fermions into a black hole

abstract: Using the complete classification of the bases in the rotating black hole background we separate superradiance from the Hawking effect. We first find that there is spontaneous particle creation for fermions by the potential outside the black hole horizon for the frequencies inside the superradiant regime, i.e. $\omega<k\Omega_H$. However, these particles do not enhance the total flux from the black hole. For the superradiance particle to became real, its negative energy counterpart has to be canceled by the positive energy Hawking radiation mode at the horizon. Since due to the Pauli's principle this cancellation must be one-to-one, the superradiance effect cannot add anything to the total black hole flux. For an extremal black hole, the Hawking temperature is zero, horizon is not populated with thermal modes, and fermions can be emitted through the superradiance mechanism. On the other hand, a macroscopic flux of fermions infalling to the black hole is the opposite process of Hawking radiation. A positive energy-infalling particle must cancel out a negative energy thermal mode at the horizon, which leaves a net positive energy mode that crosses the horizon. Since there is finite thermal particle density at the horizon, this implies that there is a maximal fermion infalling rate which is also controlled by the Hawking temperature.


title: Object Classification Model Using Ensemble Learning with Gray-Level Co-Occurrence Matrix and Histogram Extraction

abstract: In the field of object classification, identification based on object variations is a challenge in itself. Variations include shape, size, color, and texture, these can cause problems in recognizing and distinguishing objects accurately. The purpose of this research is to develop a classification method so that objects can be accurately identified. The proposed classification model uses Voting and Combined Classifier, with Random Forest, K-NN, Decision Tree, SVM, and Naive Bayes classification methods. The test results show that the voting method and Combined Classifier obtain quite good results with each of them, ensemble voting with an accuracy value of 92.4%, 78.6% precision, 95.2% recall, and 86.1% F1-score. While the combined classifier with an accuracy value of 99.3%, a precision of 97.6%, a recall of 100%, and a 98.8% F1-score. Based on the test results, it can be concluded that the use of the Combined Classifier and voting methods is proven to increase the accuracy value. The contribution of this research increases the effectiveness of the Ensemble Learning method, especially the voting ensemble method and the Combined Classifier in increasing the accuracy of object classification in image processing.


title: The Study of Perceptual Training of Chinese Mandarin Tones for Monolingual Speakers of English Using Adaptive Computer Based Training Software

abstract: The study explored a new technique of phonetic tone training, which may have a positive impact on second language learning and tone training.


title: Superconductivity emerging from density-wave-like order in a correlated kagome metal

abstract: Unconventional superconductivity (USC) in a highly correlated kagome system has been theoretically proposed for years, yet the experimental realization is hard to achieve. The recently discovered vanadium-based kagome materials, which exhibit both superconductivity and charge density wave (CDW) orders, are nonmagnetic and weakly correlated, thus unlikely host USC as theories proposed. Here we report the discovery of a chromium-based kagome metal, CsCr$_3$Sb$_5$, which is contrastingly characterised by strong electron correlations, frustrated magnetism, and characteristic flat bands close to the Fermi level. Under ambient pressure, it undergoes a concurrent structural and magnetic phase transition at 55 K, accompanying with a stripe-like $4a_0$ structural modulation. At high pressure, the phase transition evolves into two transitions, probably associated with CDW and antiferromagnetic spin-density-wave orderings, respectively. These density-wave (DW)-like orders are gradually suppressed with pressure and, remarkably, a superconducting dome emerges at 3.65-8.0 GPa. The maximum of the superconducting transition temperature, $T_\mathrm{c}^{\mathrm{max}}=$ 6.4 K, appears when the DW-like orders are completely suppressed at 4.2 GPa, and the normal state exhibits a non-Fermi-liquid behaviour, reminiscent of USC and quantum criticality in iron-based superconductors. Our work offers an unprecedented platform for investigating possible USC in a correlated kagome system.


title: Learning-based Inverse Perception Contracts and Applications

abstract: Perception modules are integral in many modern autonomous systems, but their accuracy can be subject to the vagaries of the environment. In this paper, we propose a learning-based approach that can automatically characterize the error of a perception module from data and use this for safe control. The proposed approach constructs an inverse perception contract (IPC) which generates a set that contains the ground-truth value that is being estimated by the perception module, with high probability. We apply the proposed approach to study a vision pipeline deployed on a quadcopter. With the proposed approach, we successfully constructed an IPC for the vision pipeline. We then designed a control algorithm that utilizes the learned IPC, with the goal of landing the quadcopter safely on a landing pad. Experiments show that with the learned IPC, the control algorithm safely landed the quadcopter despite the error from the perception module, while the baseline algorithm without using the learned IPC failed to do so.


title: InSpaceType: Reconsider Space Type in Indoor Monocular Depth Estimation

abstract: Indoor monocular depth estimation has attracted increasing research interest. Most previous works have been focusing on methodology, primarily experimenting with NYU-Depth-V2 (NYUv2) Dataset, and only concentrated on the overall performance over the test set. However, little is known regarding robustness and generalization when it comes to applying monocular depth estimation methods to real-world scenarios where highly varying and diverse functional \textit{space types} are present such as library or kitchen. A study for performance breakdown into space types is essential to realize a pretrained model's performance variance. To facilitate our investigation for robustness and address limitations of previous works, we collect InSpaceType, a high-quality and high-resolution RGBD dataset for general indoor environments. We benchmark 12 recent methods on InSpaceType and find they severely suffer from performance imbalance concerning space types, which reveals their underlying bias. We extend our analysis to 4 other datasets, 3 mitigation approaches, and the ability to generalize to unseen space types. Our work marks the first in-depth investigation of performance imbalance across space types for indoor monocular depth estimation, drawing attention to potential safety concerns for model deployment without considering space types, and further shedding light on potential ways to improve robustness. See \url{https://depthcomputation.github.io/DepthPublic} for data and the supplementary document. The benchmark list on the GitHub project page keeps updates for the lastest monocular depth estimation methods.


title: Lifting Theorems Meet Information Complexity: Known and New Lower Bounds of Set-disjointness

abstract: Set-disjointness problems are one of the most fundamental problems in communication complexity and have been extensively studied in past decades. Given its importance, many lower bound techniques were introduced to prove communication lower bounds of set-disjointness. Combining ideas from information complexity and query-to-communication lifting theorems, we introduce a density increment argument to prove communication lower bounds for set-disjointness: We give a simple proof showing that a large rectangle cannot be $0$-monochromatic for multi-party unique-disjointness. We interpret the direct-sum argument as a density increment process and give an alternative proof of randomized communication lower bounds for multi-party unique-disjointness. Avoiding full simulations in lifting theorems, we simplify and improve communication lower bounds for sparse unique-disjointness. Potential applications to be unified and improved by our density increment argument are also discussed.


title: Review of computational methods for estimating cell potency from single-cell RNA-seq data, with a detailed analysis of discrepancies between method description and code implementation

abstract: In single-cell RNA sequencing (scRNA-seq) data analysis, a critical challenge is to infer hidden dynamic cellular processes from measured static cell snapshots. To tackle this challenge, many computational methods have been developed from distinct perspectives. Besides the common perspectives of inferring trajectories (or pseudotime) and RNA velocity, another important perspective is to estimate the differentiation potential of cells, which is commonly referred to as "cell potency." In this review, we provide a comprehensive summary of 11 computational methods that estimate cell potency from scRNA-seq data under different assumptions, some of which are even conceptually contradictory. We divide these methods into three categories: mean-based, entropy-based, and correlation-based methods, depending on how a method summarizes gene expression levels of a cell or cell type into a potency measure. Our review focuses on the key similarities and differences of the methods within each category and between the categories, providing a high-level intuition of each method. Moreover, we use a unified set of mathematical notations to detail the 11 methods' methodologies and summarize their usage complexities, including the number of ad-hoc parameters, the number of required inputs, and the existence of discrepancies between the method description in publications and the method implementation in software packages. Realizing the conceptual contradictions of existing methods and the difficulty of fair benchmarking without single-cell-level ground truths, we conclude that accurate estimation of cell potency from scRNA-seq data remains an open challenge.


title: Data-Driven Modeling of an Unsaturated Bentonite Buffer Model Test Under High Temperatures Using an Enhanced Axisymmetric Reproducing Kernel Particle Method

abstract: In deep geological repositories for high level nuclear waste with close canister spacings, bentonite buffers can experience temperatures higher than 100 {\deg}C. In this range of extreme temperatures, phenomenological constitutive laws face limitations in capturing the thermo-hydro-mechanical (THM) behavior of the bentonite, since the pre-defined functional constitutive laws often lack generality and flexibility to capture a wide range of complex coupling phenomena as well as the effects of stress state and path dependency. In this work, a deep neural network (DNN)-based soil-water retention curve (SWRC) of bentonite is introduced and integrated into a Reproducing Kernel Particle Method (RKPM) for conducting THM simulations of the bentonite buffer. The DNN-SWRC model incorporates temperature as an additional input variable, allowing it to learn the relationship between suction and degree of saturation under the general non-isothermal condition, which is difficult to represent using a phenomenological SWRC. For effective modeling of the tank-scale test, new axisymmetric Reproducing Kernel basis functions enriched with singular Dirichlet enforcement representing heater placement and an effective convective heat transfer coefficient representing thin-layer composite tank construction are developed. The proposed method is demonstrated through the modeling of a tank-scale experiment involving a cylindrical layer of MX-80 bentonite exposed to central heating.


title: The prime-counting Copeland-Erd\H{o}s constant

abstract: Let $(a(n) : n \in \mathbb{N})$ denote a sequence of nonnegative integers. Let $0.a(1)a(2)...$ denote the real number obtained by concatenating the digit expansions, in a fixed base, of consecutive entries of $(a(n) : n \in \mathbb{N})$. Research on digit expansions of this form has mainly to do with the normality of $0.a(1)a(2)...$ for a given base. Famously, the Copeland-Erd\H{o}s constant $0.2357111317...$, for the case whereby $a(n)$ equals the $n^{\text{th}}$ prime number $p_{n}$, is normal in base 10. However, it seems that the ``inverse'' construction given by concatenating the decimal digits of $(\pi(n) : n \in \mathbb{N})$, where $\pi$ denotes the prime-counting function, has not previously been considered. Exploring the distribution of sequences of digits in this new constant $0.0122...9101011...$ would be comparatively difficult, since the number of times a fixed $m \in \mathbb{N}$ appears in $(\pi(n) : n \in \mathbb{N})$ is equal to the prime gap $g_{m} = p_{m+1} - p_{m}$, with the behaviour of prime gaps notoriously elusive. Using a combinatorial method due to Sz\"usz and Volkmann, we prove that Cram\'er's conjecture on prime gaps implies the normality of $0.a(1)a(2)...$ in a given base $g \geq 2$, for $a(n) = \pi(n)$.


title: JWST MIRI and NIRCam Unveil Previously Unseen Infrared Stellar Populations in NGC 6822

abstract: NGC 6822 is a nearby (~490 kpc) non-interacting low-metallicity (0.2 Zsolar) dwarf galaxy which hosts several prominent H ii regions, including sites of highly embedded active star formation. In this work, we present an imaging survey of NGC 6822 conducted with the NIRCam and MIRI instruments onboard JWST. We describe the data reduction, source extraction, and stellar population identifications from combined near- and mid-infrared (IR) photometry. Our NIRCam observations reach seven magnitudes deeper than previous JHKs surveys of this galaxy, which were sensitive to just below the tip of the red giant branch (TRGB). These JWST observations thus reveal for the first time in the near-IR the red clump stellar population and extend nearly three magnitudes deeper. In the mid-IR, we observe roughly two magnitudes below the TRGB with the MIRI F770W and F1000W filters. With these improvements in sensitivity, we produce a catalogue of ~900,000 point sources over an area of ~ 6.0 x 4.3 arcmin2. We present several NIRCam and MIRI colour-magnitude diagrams and discuss which colour combinations provide useful separations of various stellar populations to aid in future JWST observation planning. Finally, we find populations of carbon- and oxygen-rich asymptotic giant branch stars which will assist in improving our understanding of dust production in low-metallicity, early Universe analogue galaxies


title: Sharp Morrey regularity for an even order elliptic system

abstract: In this short note, we establish a sharp Morrey regularity theory for an even order elliptic system of Rivi\`ere type: \begin{equation*} \Delta^{m}u=\sum_{l=0}^{m-1}\Delta^{l}\left\langle V_{l},du\right\rangle +\sum_{l=0}^{m-2}\Delta^{l}\delta\left(w_{l}du\right)+f\qquad \text{in} B^{2m} \end{equation*} under minimal regularity assumptions on the coefficients functions V^l, w^l and that f belongs to certain Morrey space. This can be regarded as a further extension of the recent L^p-regularity theory obtained by Guo-Xiang-Zheng [15], and generalizes [7, 27] for second and fourth order elliptic systems.


title: LiDAR-UDA: Self-ensembling Through Time for Unsupervised LiDAR Domain Adaptation

abstract: We introduce LiDAR-UDA, a novel two-stage self-training-based Unsupervised Domain Adaptation (UDA) method for LiDAR segmentation. Existing self-training methods use a model trained on labeled source data to generate pseudo labels for target data and refine the predictions via fine-tuning the network on the pseudo labels. These methods suffer from domain shifts caused by different LiDAR sensor configurations in the source and target domains. We propose two techniques to reduce sensor discrepancy and improve pseudo label quality: 1) LiDAR beam subsampling, which simulates different LiDAR scanning patterns by randomly dropping beams; 2) cross-frame ensembling, which exploits temporal consistency of consecutive frames to generate more reliable pseudo labels. Our method is simple, generalizable, and does not incur any extra inference cost. We evaluate our method on several public LiDAR datasets and show that it outperforms the state-of-the-art methods by more than $3.9\%$ mIoU on average for all scenarios. Code will be available at https://github.com/JHLee0513/LiDARUDA.


title: Global-correlated 3D-decoupling Transformer for Clothed Avatar Reconstruction

abstract: Reconstructing 3D clothed human avatars from single images is a challenging task, especially when encountering complex poses and loose clothing. Current methods exhibit limitations in performance, largely attributable to their dependence on insufficient 2D image features and inconsistent query methods. Owing to this, we present the Global-correlated 3D-decoupling Transformer for clothed Avatar reconstruction (GTA), a novel transformer-based architecture that reconstructs clothed human avatars from monocular images. Our approach leverages transformer architectures by utilizing a Vision Transformer model as an encoder for capturing global-correlated image features. Subsequently, our innovative 3D-decoupling decoder employs cross-attention to decouple tri-plane features, using learnable embeddings as queries for cross-plane generation. To effectively enhance feature fusion with the tri-plane 3D feature and human body prior, we propose a hybrid prior fusion strategy combining spatial and prior-enhanced queries, leveraging the benefits of spatial localization and human body prior knowledge. Comprehensive experiments on CAPE and THuman2.0 datasets illustrate that our method outperforms state-of-the-art approaches in both geometry and texture reconstruction, exhibiting high robustness to challenging poses and loose clothing, and producing higher-resolution textures. Codes will be available at https://github.com/River-Zhang/GTA.


title: Semi-Supervised Domain Generalization for Object Detection via Language-Guided Feature Alignment

abstract: Existing domain adaptation (DA) and generalization (DG) methods in object detection enforce feature alignment in the visual space but face challenges like object appearance variability and scene complexity, which make it difficult to distinguish between objects and achieve accurate detection. In this paper, we are the first to address the problem of semi-supervised domain generalization by exploring vision-language pre-training and enforcing feature alignment through the language space. We employ a novel Cross-Domain Descriptive Multi-Scale Learning (CDDMSL) aiming to maximize the agreement between descriptions of an image presented with different domain-specific characteristics in the embedding space. CDDMSL significantly outperforms existing methods, achieving 11.7% and 7.5% improvement in DG and DA settings, respectively. Comprehensive analysis and ablation studies confirm the effectiveness of our method, positioning CDDMSL as a promising approach for domain generalization in object detection tasks.


title: AdaMap: High-Scalable Real-Time Cooperative Perception at the Edge

abstract: Cooperative perception is the key approach to augment the perception of connected and automated vehicles (CAVs) toward safe autonomous driving. However, it is challenging to achieve real-time perception sharing for hundreds of CAVs in large-scale deployment scenarios. In this paper, we propose AdaMap, a new high-scalable real-time cooperative perception system, which achieves assured percentile end-to-end latency under time-varying network dynamics. To achieve AdaMap, we design a tightly coupled data plane and control plane. In the data plane, we design a new hybrid localization module to dynamically switch between object detection and tracking, and a novel point cloud representation module to adaptively compress and reconstruct the point cloud of detected objects. In the control plane, we design a new graph-based object selection method to un-select excessive multi-viewed point clouds of objects, and a novel approximated gradient descent algorithm to optimize the representation of point clouds. We implement AdaMap on an emulation platform, including realistic vehicle and server computation and a simulated 5G network, under a 150-CAV trace collected from the CARLA simulator. The evaluation results show that, AdaMap reduces up to 49x average transmission data size at the cost of 0.37 reconstruction loss, as compared to state-of-the-art solutions, which verifies its high scalability, adaptability, and computation efficiency.


title: Time-resolved laser speckle contrast imaging (TR-LSCI) of cerebral blood flow

abstract: To address many of the deficiencies in optical neuroimaging technologies such as poor spatial resolution, time-consuming reconstruction, low penetration depth, and contact-based measurement, a novel, noncontact, time-resolved laser speckle contrast imaging (TR-LSCI) technique has been developed for continuous, fast, and high-resolution 2D mapping of cerebral blood flow (CBF) at different depths of the head. TR-LSCI illuminates the head with picosecond-pulsed, coherent, widefield near-infrared light and synchronizes a newly developed, high-resolution, gated single-photon avalanche diode camera (SwissSPAD2) to capture CBF maps at different depths. By selectively collecting diffuse photons with longer pathlengths through the head, TR-LSCI reduces partial volume artifacts from the overlying tissues, thus improving the accuracy of CBF measurement in the deep brain. CBF map reconstruction was dramatically expedited by incorporating highly parallelized computation. The performance of TR-LSCI was evaluated using head-simulating phantoms with known properties and in-vivo rodents with varied hemodynamic challenges to the brain. Results from these pilot studies demonstrated that TR-LSCI enabled mapping CBF variations at different depths with a sampling rate of up to 1 Hz and spatial resolutions ranging from tens of micrometers on the head surface to 1-2 millimeters in the deep brain. With additional improvements and validation in larger populations against established methods, we anticipate offering a noncontact, fast, high-resolution, portable, and affordable brain imager for fundamental neuroscience research in animals and for translational studies in humans.


title: Iterative Reachability Estimation for Safe Reinforcement Learning

abstract: Ensuring safety is important for the practical deployment of reinforcement learning (RL). Various challenges must be addressed, such as handling stochasticity in the environments, providing rigorous guarantees of persistent state-wise safety satisfaction, and avoiding overly conservative behaviors that sacrifice performance. We propose a new framework, Reachability Estimation for Safe Policy Optimization (RESPO), for safety-constrained RL in general stochastic settings. In the feasible set where there exist violation-free policies, we optimize for rewards while maintaining persistent safety. Outside this feasible set, our optimization produces the safest behavior by guaranteeing entrance into the feasible set whenever possible with the least cumulative discounted violations. We introduce a class of algorithms using our novel reachability estimation function to optimize in our proposed framework and in similar frameworks such as those concurrently handling multiple hard and soft constraints. We theoretically establish that our algorithms almost surely converge to locally optimal policies of our safe optimization framework. We evaluate the proposed methods on a diverse suite of safe RL environments from Safety Gym, PyBullet, and MuJoCo, and show the benefits in improving both reward performance and safety compared with state-of-the-art baselines.


title: Bubble nucleation in the two-flavor quark-meson model

abstract: We investigate the dynamics of a first-order quark-hadron transition via homogeneous thermal nucleation in the two-flavor quark-meson model. The contribution of the fermionic vacuum loop in the effective thermodynamics potential and phase diagram together with the location of critical end point (CEP) have been obtained in the temperature and chemical potential plane. For a weak and strong first-order phase transition, by taking the temperature as a variable, the critical bubble profiles, the evolutions of the surface tension and the saddle-point action in the presence of a nucleation bubble are numerically calculated in detail when fixing the chemical potentials at $\mu=306 \mathrm{MeV}$ and $\mu=309 \mathrm{MeV}$. Our results show that the system could be trapped in the metastable state for a long time as long as the temperature is between the metastable region characterized by the up and low spinodal lines. Moreover, the surface tension at criticality will rise up to about $4 \mathrm{MeV/fm^2}$ when the chemical potential is very high. Such a small value of the surface tension would favor a mixed phase in the cores of compact stars and may have an important implication in astrophysics.


title: Singly Generated Radical Operator Algebras

abstract: We examine two nonselfadjoint operator algebras: the weighted shift algebra, and the Volterra operator algebra. In both cases, the operator algebra is the norm closure of the polynomials in the operator norm. In the case of the weighted shift algebra, the existence of a gauge action allows us to apply Fourier analysis to study the ideals of the algebra. In the case of the Volterra operator algebra, there is no gauge action, and other methods are needed to study the norm structure and the ideals.