title: Data-centric Prediction Explanation via Kernelized Stein Discrepancy

abstract: Existing example-based prediction explanation methods often bridge test and training data points through the model's parameters or latent representations. While these methods offer clues to the causes of model predictions, they often exhibit innate shortcomings, such as incurring significant computational overhead or producing coarse-grained explanations. This paper presents a Highly-precise and Data-centric Explanation (HD-Explain), a straightforward prediction explanation method exploiting properties of Kernelized Stein Discrepancy (KSD). Specifically, the KSD uniquely defines a parameterized kernel function for a trained model that encodes model-dependent data correlation. By leveraging the kernel function, one can identify training samples that provide the best predictive support to a test point efficiently. We conducted thorough analyses and experiments across multiple classification domains, where we show that HD-Explain outperforms existing methods from various aspects, including 1) preciseness (fine-grained explanation), 2) consistency, and 3) computation efficiency, leading to a surprisingly simple, effective, and robust prediction explanation solution.


title: Autonomous Driving With Perception Uncertainties: Deep-Ensemble Based Adaptive Cruise Control

abstract: Autonomous driving depends on perception systems to understand the environment and to inform downstream decision-making. While advanced perception systems utilizing black-box Deep Neural Networks (DNNs) demonstrate human-like comprehension, their unpredictable behavior and lack of interpretability may hinder their deployment in safety critical scenarios. In this paper, we develop an Ensemble of DNN regressors (Deep Ensemble) that generates predictions with quantification of prediction uncertainties. In the scenario of Adaptive Cruise Control (ACC), we employ the Deep Ensemble to estimate distance headway to the lead vehicle from RGB images and enable the downstream controller to account for the estimation uncertainty. We develop an adaptive cruise controller that utilizes Stochastic Model Predictive Control (MPC) with chance constraints to provide a probabilistic safety guarantee. We evaluate our ACC algorithm using a high-fidelity traffic simulator and a real-world traffic dataset and demonstrate the ability of the proposed approach to effect speed tracking and car following while maintaining a safe distance headway. The out-of-distribution scenarios are also examined.


title: Exact distance Kneser graphs

abstract: For any graph $G = (V,E)$ and positive integer $d$, the exact distance-$d$ graph $G_{=d}$ is the graph with vertex set $V$, where two vertices are adjacent if and only if the distance between them in $G$ is $d$. We study the exact distance-$d$ Kneser graphs. For these graphs, we characterize the adjacency of vertices in terms of the cardinality of the intersection between them. We present formulas describing the distance between any pair of vertices and we compute the diameter of these graphs.


title: Efficient first principles based modeling via machine learning: from simple representations to high entropy materials

abstract: High-entropy materials (HEMs) have recently emerged as a significant category of materials, offering highly tunable properties. However, the scarcity of HEM data in existing density functional theory (DFT) databases, primarily due to computational expense, hinders the development of effective modeling strategies for computational materials discovery. In this study, we introduce an open DFT dataset of alloys and employ machine learning (ML) methods to investigate the material representations needed for HEM modeling. Utilizing high-throughput DFT calculations, we generate a comprehensive dataset of 84k structures, encompassing both ordered and disordered alloys across a spectrum of up to seven components and the entire compositional range. We apply descriptor-based models and graph neural networks to assess how material information is captured across diverse chemical-structural representations. We first evaluate the in-distribution performance of ML models to confirm their predictive accuracy. Subsequently, we demonstrate the capability of ML models to generalize between ordered and disordered structures, between low-order and high-order alloys, and between equimolar and non-equimolar compositions. Our findings suggest that ML models can generalize from cost-effective calculations of simpler systems to more complex scenarios. Additionally, we discuss the influence of dataset size and reveal that the information loss associated with the use of unrelaxed structures could significantly degrade the generalization performance. Overall, this research sheds light on several critical aspects of HEM modeling and offers insights for data-driven atomistic modeling of HEMs.


title: Uniqueness up to Inner Automorphism of Regular Exact Borel Subalgebras

abstract: K\"ulshammer, K\"onig and Ovsienko proved that for any quasi-hereditary algebra $(A,\leq_A)$ there exists a Morita equivalent quasi-hereditary algebra $(R, \leq_R)$ containing a basic exact Borel subalgebra $B$. The obtained Borel subalgebra is in fact a regular exact Borel subalgebra. Later, Conde showed that given a quasi-hereditary algebra $(R,\leq_R)$ with a basic regular exact Borel subalgebra $B$ and a Morita equivalent quasi-hereditary algebra $(R',\leq_{R'})$ with a basic regular exact Borel subalgebra $B'$, the algebras $R$ and $R'$ are isomorphic, and K\"ulshammer and Miemietz showed that there is even an isomorphism $\varphi:R\rightarrow R'$ such that $\varphi(B)=B'$. In this article, we show that if $R=R'$, then $\varphi$ can be chosen to be an inner automorphism. Moreover, instead of just proving this for regular exact Borel subalgebras of quasi-hereditary algebras, we generalize this to an appropriate class of subalgebras of arbitrary finite-dimensional algebras. As an application, we show that if $(A, \leq_A)$ is a finite-dimensional algebra and $G$ is a finite group acting on $A$ via automorphisms, then under some natural compatibility conditions, there is a Morita equivalent quasi-hereditary algebra $(R, \leq_R)$ with a basic regular exact Borel subalgebra $B$ such that $g(B)=B$ for every $g\in G$.


title: Classification of connection graphs of global attractors for $S^1$-equivariant parabolic equations

abstract: We consider the characterization of global attractors $A_f$ for semiflows generated by scalar one-dimensional semilinear parabolic equations of the form $u_t = u_{xx} + f(u,u_x)$, defined on the circle $x\in S^1$, for a class of reversible nonlinearities. Given two reversible nonlinearities, $f_0$ and $f_1$, with the same lap signature, we prove the existence of a reversible homotopy $f_\tau, 0\le\tau\le 1$, which preserves all heteroclinic connections. Consequently, we obtain a classification of the connection graphs of global attractors in the class of reversible nonlinearities. We also describe bifurcation diagrams which reduce a global attractor $A_1$ to the trivial global attractor $A_0=\{0\}$.


title: Fast real-time arbitrary waveform generation using graphic processing units

abstract: Real-time Arbitrary Waveform Generation (AWG) is essential in various engineering and research applications, and often requires complex bespoke hardware and software. This paper introduces an AWG framework using an NVIDIA Graphics Processing Unit (GPU) and a commercially available high-speed Digital-to-Analog Converter (DAC) card, both running on a desktop personal computer (PC). The GPU accelerates the "embarrassingly" data parallel additive waveform synthesis framework for AWG, and the DAC reconstructs the generated waveform in the analog domain at high speed. The AWG framework is programmed using the developer-friendly Compute Unified Device Architecture (CUDA) runtime application programming interface from NVIDIA and is readily customizable, and scalable with additional parallel hardware. We present and characterize two different pathways for computing modulated radio-frequency (rf) waveforms: one pathway offers high-complexity simultaneous chirping of 1000 individual Nyquist-limited single-frequency tones for 35 ms at a sampling rate of 560 MB/s, and the other pathway allows simultaneous continuous chirping of 194 individual Nyquist-limited single-frequency tones at 100 MB/s, or 20 individual tones at 560 MB/s. This AWG framework is designed for fast on-the-fly rearrangement of a large stochastically-loaded optical tweezer array of single atoms or molecules into a defect-free array needed for quantum simulation and quantum computation applications.

categories: cond-mat.quant-gas cs.DC eess.SP physics.atom-ph


title: U-ARE-ME: Uncertainty-Aware Rotation Estimation in Manhattan Environments

abstract: Camera rotation estimation from a single image is a challenging task, often requiring depth data and/or camera intrinsics, which are generally not available for in-the-wild videos. Although external sensors such as inertial measurement units (IMUs) can help, they often suffer from drift and are not applicable in non-inertial reference frames. We present U-ARE-ME, an algorithm that estimates camera rotation along with uncertainty from uncalibrated RGB images. Using a Manhattan World assumption, our method leverages the per-pixel geometric priors encoded in single-image surface normal predictions and performs optimisation over the SO(3) manifold. Given a sequence of images, we can use the per-frame rotation estimates and their uncertainty to perform multi-frame optimisation, achieving robustness and temporal consistency. Our experiments demonstrate that U-ARE-ME performs comparably to RGB-D methods and is more robust than sparse feature-based SLAM methods. We encourage the reader to view the accompanying video at https://callum-rhodes.github.io/U-ARE-ME for a visual overview of our method.


title: Multipartite entanglement distribution in a topological photonic network

abstract: In the ongoing effort towards a scalable quantum computer, multiple technologies have been proposed. Some of them exploit topological materials to process quantum information. In this work, we propose a lattice of photonic cavities with alternating hoppings to create a modified multidomain SSH chain, that is, a sequence of topological insulators made from chains of dimers. A qubit is then coupled to each boundary. We show this system is well suited for quantum information processing because topological transfer of photons through this one-dimensional lattice can entangle any set of qubits on demand, providing a scalable quantum platform. We verify this claim evaluating entanglement measures and witnesses proving that bipartite and multipartite entanglement is produced, even in the presence of some disorder.


title: MedPromptX: Grounded Multimodal Prompting for Chest X-ray Diagnosis

abstract: Chest X-ray images are commonly used for predicting acute and chronic cardiopulmonary conditions, but efforts to integrate them with structured clinical data face challenges due to incomplete electronic health records (EHR). This paper introduces MedPromptX, the first model to integrate multimodal large language models (MLLMs), few-shot prompting (FP) and visual grounding (VG) to combine imagery with EHR data for chest X-ray diagnosis. A pre-trained MLLM is utilized to complement the missing EHR information, providing a comprehensive understanding of patients' medical history. Additionally, FP reduces the necessity for extensive training of MLLMs while effectively tackling the issue of hallucination. Nevertheless, the process of determining the optimal number of few-shot examples and selecting high-quality candidates can be burdensome, yet it profoundly influences model performance. Hence, we propose a new technique that dynamically refines few-shot data for real-time adjustment to new patient scenarios. Moreover, VG aids in focusing the model's attention on relevant regions of interest in X-ray images, enhancing the identification of abnormalities. We release MedPromptX-VQA, a new in-context visual question answering dataset encompassing interleaved image and EHR data derived from MIMIC-IV and MIMIC-CXR databases. Results demonstrate the SOTA performance of MedPromptX, achieving an 11% improvement in F1-score compared to the baselines. Code and data are available at https://github.com/BioMedIA-MBZUAI/MedPromptX


title: Generative AI in Education: A Study of Educators' Awareness, Sentiments, and Influencing Factors

abstract: The rapid advancement of artificial intelligence (AI) and the expanding integration of large language models (LLMs) have ignited a debate about their application in education. This study delves into university instructors' experiences and attitudes toward AI language models, filling a gap in the literature by analyzing educators' perspectives on AI's role in the classroom and its potential impacts on teaching and learning. The objective of this research is to investigate the level of awareness, overall sentiment towardsadoption, and the factors influencing these attitudes for LLMs and generative AI-based tools in higher education. Data was collected through a survey using a Likert scale, which was complemented by follow-up interviews to gain a more nuanced understanding of the instructors' viewpoints. The collected data was processed using statistical and thematic analysis techniques. Our findings reveal that educators are increasingly aware of and generally positive towards these tools. We find no correlation between teaching style and attitude toward generative AI. Finally, while CS educators show far more confidence in their technical understanding of generative AI tools and more positivity towards them than educators in other fields, they show no more confidence in their ability to detect AI-generated work.


title: Large language models for crowd decision making based on prompt design strategies using ChatGPT: models, analysis and challenges

abstract: Social Media and Internet have the potential to be exploited as a source of opinion to enrich Decision Making solutions. Crowd Decision Making (CDM) is a methodology able to infer opinions and decisions from plain texts, such as reviews published in social media platforms, by means of Sentiment Analysis. Currently, the emergence and potential of Large Language Models (LLMs) lead us to explore new scenarios of automatically understand written texts, also known as natural language processing. This paper analyzes the use of ChatGPT based on prompt design strategies to assist in CDM processes to extract opinions and make decisions. We integrate ChatGPT in CDM processes as a flexible tool that infer the opinions expressed in texts, providing numerical or linguistic evaluations where the decision making models are based on the prompt design strategies. We include a multi-criteria decision making scenario with a category ontology for criteria. We also consider ChatGPT as an end-to-end CDM model able to provide a general opinion and score on the alternatives. We conduct empirical experiments on real data extracted from TripAdvisor, the TripR-2020Large dataset. The analysis of results show a promising branch for developing quality decision making models using ChatGPT. Finally, we discuss the challenges of consistency, sensitivity and explainability associated to the use of LLMs in CDM processes, raising open questions for future studies.


title: RIS-assisted Cell-Free Massive MIMO Systems With Two-Timescale Design and Hardware Impairments

abstract: Integrating the reconfigurable intelligent surface (RIS) into a cell-free massive multiple-input multiple-output (CF-mMIMO) system is an effective solution to achieve high system capacity with low cost and power consumption. However, existing works of RIS-assisted systems mostly assumed perfect hardware, while the impact of hardware impairments (HWIs) is generally ignored. In this paper, we consider the general Rician fading channel and uplink transmission of the RIS-assisted CF-mMIMO system under transceiver impairments and RIS phase noise. To reduce the feedback overhead and power consumption, we propose a two-timescale transmission scheme to optimize the passive beamformers at RISs with statistical channel state information (CSI), while transmit beamformers at access points (APs) are designed based on instantaneous CSI. Also, the maximum ratio combining (MRC) detection is applied to the central processing unit (CPU). On this basis, we derive the closed-form approximate expression of the achievable rate, based on which the impact of HWIs and the power scaling laws are analyzed to draw useful theoretical insights. To maximize the users' sum rate or minimum rate, we first transform our rate expression into a tractable form, and then optimize the phase shifts of RISs based on an accelerated gradient ascent method. Finally, numerical results are presented to demonstrate the correctness of our derived expressions and validate the previous analysis, which provide some guidelines for the practical application of the imperfect RISs in the CF-mMIMO with transceiver HWIs.


title: Deep Points of Cluster Algebras

abstract: We initiate a systematic study of the deep points of a cluster algebra; that is, the points in the associated variety which are not in any cluster torus. We describe the deep points of cluster algebras of type A, rank 2, Markov, and unpunctured surface type.


title: Adaptive Dual Covariance Steering with Active Parameter Estimation

abstract: This work examines the optimal covariance steering problem for systems subject to unknown parameters that enter multiplicatively with the state and control, in addition to additive disturbances. In contrast to existing works, the unknown parameters are modeled as random variables and are estimated online. This work proposes the utilization of recursive least squares estimation for efficient parameter identification. A dual control problem is formulated in which the effect of the planned control policy on the parameter estimates is modeled and optimized for. The parameter estimates are then used to modify the pre-computed control policy online in an adaptive control fashion. Finally, the proposed approach is demonstrated in a vehicle control example with closed-loop parameter identification.


title: Mitigating Subpopulation Bias for Fair Network Topology Inference

abstract: We consider fair network topology inference from nodal observations. Real-world networks often exhibit biased connections based on sensitive nodal attributes. Hence, different subpopulations of nodes may not share or receive information equitably. We thus propose an optimization-based approach to accurately infer networks while discouraging biased edges. To this end, we present bias metrics that measure topological demographic parity to be applied as convex penalties, suitable for most optimization-based graph learning methods. Moreover, we encourage equitable treatment for any number of subpopulations of differing sizes. We validate our method on synthetic and real-world simulations using networks with both biased and unbiased connections.


title: A Triangular Normal Form for x-Flat Control-Affine Two-Input Systems

abstract: This paper is devoted to normal forms for x-flat control-affine systems with two inputs. We propose a general triangular normal form which contains several other normal forms discussed in the literature as special cases. We derive conditions under which a system with given x-flat output can be transformed into the proposed triangular form. Based on the triangular form we motivate a simple algorithm for identifying candidates for flat outputs.


title: FairerCLIP: Debiasing CLIP's Zero-Shot Predictions using Functions in RKHSs

abstract: Large pre-trained vision-language models such as CLIP provide compact and general-purpose representations of text and images that are demonstrably effective across multiple downstream zero-shot prediction tasks. However, owing to the nature of their training process, these models have the potential to 1) propagate or amplify societal biases in the training data and 2) learn to rely on spurious features. This paper proposes FairerCLIP, a general approach for making zero-shot predictions of CLIP more fair and robust to spurious correlations. We formulate the problem of jointly debiasing CLIP's image and text representations in reproducing kernel Hilbert spaces (RKHSs), which affords multiple benefits: 1) Flexibility: Unlike existing approaches, which are specialized to either learn with or without ground-truth labels, FairerCLIP is adaptable to learning in both scenarios. 2) Ease of Optimization: FairerCLIP lends itself to an iterative optimization involving closed-form solvers, which leads to $4\times$-$10\times$ faster training than the existing methods. 3) Sample Efficiency: Under sample-limited conditions, FairerCLIP significantly outperforms baselines when they fail entirely. And, 4) Performance: Empirically, FairerCLIP achieves appreciable accuracy gains on benchmark fairness and spurious correlation datasets over their respective baselines.


title: Analyzing Male Domestic Violence through Exploratory Data Analysis and Explainable Machine Learning Insights

abstract: Domestic violence, which is often perceived as a gendered issue among female victims, has gained increasing attention in recent years. Despite this focus, male victims of domestic abuse remain primarily overlooked, particularly in Bangladesh. Our study represents a pioneering exploration of the underexplored realm of male domestic violence (MDV) within the Bangladeshi context, shedding light on its prevalence, patterns, and underlying factors. Existing literature predominantly emphasizes female victimization in domestic violence scenarios, leading to an absence of research on male victims. We collected data from the major cities of Bangladesh and conducted exploratory data analysis to understand the underlying dynamics. We implemented 11 traditional machine learning models with default and optimized hyperparameters, 2 deep learning, and 4 ensemble models. Despite various approaches, CatBoost has emerged as the top performer due to its native support for categorical features, efficient handling of missing values, and robust regularization techniques, achieving 76% accuracy. In contrast, other models achieved accuracy rates in the range of 58-75%. The eXplainable AI techniques, SHAP and LIME, were employed to gain insights into the decision-making of black-box machine learning models. By shedding light on this topic and identifying factors associated with domestic abuse, the study contributes to identifying groups of people vulnerable to MDV, raising awareness, and informing policies and interventions aimed at reducing MDV. Our findings challenge the prevailing notion that domestic abuse primarily affects women, thus emphasizing the need for tailored interventions and support systems for male victims. ML techniques enhance the analysis and understanding of the data, providing valuable insights for developing effective strategies to combat this pressing social issue.


title: Connectivity degrees of complements of closed sets in continua

abstract: In the literature, various types of points and meager sets whose complements are connected have been studied, such as colocally connected points, non-weak cut points/sets, non-block points/sets, shore points/sets, etc. We extend that study, in the following way: considering a continuum $X$ and a natural number $n$, we investigate sets $A \in 2^X$ meeting the criterion that $X - A$ has at most $n$ components, and we introduce degrees of connectivity of the complement of $A$. When $n=1$ and $A$ is meager or singleton, these new definitions are equivalent to the known definitions of non-cut points/sets.


title: Incorporating Memory into Propagation of 1-Electron Reduced Density Matrices

abstract: For any linear system where the unreduced dynamics are governed by unitary propagators, we derive a closed, time-delayed, linear system for a reduced-dimensional quantity of interest. We apply this method to understand the memory-dependence of $1$-electron reduced density matrices in time-dependent configuration interaction (TDCI), a scheme to solve for the correlated dynamics of electrons in molecules. Though time-dependent density functional theory has established that the $1$-electron reduced density possesses memory-dependence, the precise nature of this memory-dependence has not been understood. We derive a self-contained, symmetry/constraint-preserving method to propagate reduced TDCI electron density matrices. Our method preserves properties of density matrices such as Hermitian symmetry and constant trace. In numerical tests on two model systems ($\text{H}_2$ and $\text{HeH}^+$), we show that with sufficiently large time-delay (or memory-dependence), our method propagates reduced TDCI density matrices with high quantitative accuracy. We study the dependence of our results on time step and basis set. To implement our method, we derive the $4$-index tensor that relates reduced and full TDCI density matrices. Our derivation applies to any TDCI system, regardless of basis set, number of electrons, or choice of Slater determinants in the wave function. This derivation enables a proof that the trace of the reduced TDCI density matrix is constant and equals the number of electrons.

categories: math.DS cs.CE math-ph math.MP physics.chem-ph quant-ph


title: New portions of $M\setminus L$ and a lower bound on the Hausdorff distance between $L$ and $M$

abstract: Let $M$ and $L$ be the Markov and Lagrange spectra, respectively. It is known that $L$ is contained in $M$ and Freiman showed in 1968 that $M\setminus L\neq \emptyset$. In 2018 the first region of $M\setminus L$ above $\sqrt{12}$ was discovered by C. Matheus and C. G. Moreira, thus disproving a conjecture of Cusick of 1975. In 2022, the same authors together with L. Jeffreys discovered a new region near 3.938. In this paper, we will study two new regions of $M\setminus L$ above $\sqrt{12}$, in the vicinity of the Markov value of two periodic words of odd length that are non semisymmetric, which are $\overline{212332111}$ and $\overline{123332112}$. We will demonstrate that for both cases, there is a maximal gap of $L$ and a Gauss-Cantor set inside this gap that is contained in $M$. Moreover we show that at the right endpoint of those gaps we have local Hausdorff dimension equal to $1$. After studying the mentioned examples, we will provide a lower bound for the value of $d_H(M,L)$ (the Hausdorff distance between $M$ and $L$).


title: An ensemble of data-driven weather prediction models for operational sub-seasonal forecasting

abstract: We present an operations-ready multi-model ensemble weather forecasting system which uses hybrid data-driven weather prediction models coupled with the European Centre for Medium-range Weather Forecasts (ECMWF) ocean model to predict global weather at 1-degree resolution for 4 weeks of lead time. For predictions of 2-meter temperature, our ensemble on average outperforms the raw ECMWF extended-range ensemble by 4-17%, depending on the lead time. However, after applying statistical bias corrections, the ECMWF ensemble is about 3% better at 4 weeks. For other surface parameters, our ensemble is also within a few percentage points of ECMWF's ensemble. We demonstrate that it is possible to achieve near-state-of-the-art subseasonal-to-seasonal forecasts using a multi-model ensembling approach with data-driven weather prediction models.


title: Highly connected graphs have highly connected spanning bipartite subgraphs

abstract: For integers $k,n$ with $1 \le k \le n/2$, let $f(k,n)$ be the smallest integer $t$ such that every $t$-connected $n$-vertex graph has a spanning bipartite $k$-connected subgraph. A conjecture of Thomassen asserts that $f(k,n)$ is upper bounded by some function of $k$. The best upper bound for $f(k,n)$ is by Delcourt and Ferber who proved that $f(k,n) \le 10^{10}k^3 \log n$. Here it is proved that $f(k,n) \le 22k^2 \log n$. For larger $k$, stronger bounds hold. In the linear regime, it is proved that for any $0 < c < \frac{1}{2}$ and all sufficiently large $n$, if $k=\lfloor cn \rfloor$, then $f(k, n) \le 30\sqrt{c} n \le 30\sqrt{n(k+1)}$. In the polynomial regime, it is proved that for any $\frac{1}{3} \le \alpha < 1$ and all sufficiently large $n$, if $k = \lfloor n^\alpha \rfloor$, then $f(k ,n) \le 9n^{(1+\alpha)/2} \le 9\sqrt{n(k+1)}$.


title: Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers

abstract: Sonatype's 2023 report found that 97% of developers and security leads integrate generative Artificial Intelligence (AI), particularly Large Language Models (LLMs), into their development process. Concerns about the security implications of this trend have been raised. Developers are now weighing the benefits and risks of LLMs against other relied-upon information sources, such as StackOverflow (SO), requiring empirical data to inform their choice. In this work, our goal is to raise software developers awareness of the security implications when selecting code snippets by empirically comparing the vulnerabilities of ChatGPT and StackOverflow. To achieve this, we used an existing Java dataset from SO with security-related questions and answers. Then, we asked ChatGPT the same SO questions, gathering the generated code for comparison. After curating the dataset, we analyzed the number and types of Common Weakness Enumeration (CWE) vulnerabilities of 108 snippets from each platform using CodeQL. ChatGPT-generated code contained 248 vulnerabilities compared to the 302 vulnerabilities found in SO snippets, producing 20% fewer vulnerabilities with a statistically significant difference. Additionally, ChatGPT generated 19 types of CWE, fewer than the 22 found in SO. Our findings suggest developers are under-educated on insecure code propagation from both platforms, as we found 274 unique vulnerabilities and 25 types of CWE. Any code copied and pasted, created by AI or humans, cannot be trusted blindly, requiring good software engineering practices to reduce risk. Future work can help minimize insecure code propagation from any platform.


title: From Guidelines to Governance: A Study of AI Policies in Education

abstract: Emerging technologies like generative AI tools, including ChatGPT, are increasingly utilized in educational settings, offering innovative approaches to learning while simultaneously posing new challenges. This study employs a survey methodology to examine the policy landscape concerning these technologies, drawing insights from 102 high school principals and higher education provosts. Our results reveal a prominent policy gap: the majority of institutions lack specialized guide-lines for the ethical deployment of AI tools such as ChatGPT. Moreover,we observed that high schools are less inclined to work on policies than higher educational institutions. Where such policies do exist, they often overlook crucial issues, including student privacy and algorithmic transparency. Administrators overwhelmingly recognize the necessity of these policies, primarily to safeguard student safety and mitigate plagiarism risks. Our findings underscore the urgent need for flexible and iterative policy frameworks in educational contexts.


title: Proper Rainbow Saturation Numbers for Cycles

abstract: We say that an edge-coloring of a graph $G$ is proper if every pair of incident edges receive distinct colors, and is rainbow if no two edges of $G$ receive the same color. Furthermore, given a fixed graph $F$, we say that $G$ is rainbow $F$-saturated if $G$ admits a proper edge-coloring which does not contain any rainbow subgraph isomorphic to $F$, but the addition of any edge to $G$ makes such an edge-coloring impossible. The maximum number of edges in a rainbow $F$-saturated graph is the rainbow Tur\'an number, whose study was initiated in 2007 by Keevash, Mubayi, Sudakov, and Verstra\"ete. Recently, Bushaw, Johnston, and Rombach introduced study of a corresponding saturation problem, asking for the minimum number of edges in a rainbow $F$-saturated graph. We term this minimum the proper rainbow saturation number of $F$, denoted $\mathrm{sat}^*(n,F)$. We asymptotically determine $\mathrm{sat}^*(n,C_4)$, answering a question of Bushaw, Johnston, and Rombach. We also exhibit constructions which establish upper bounds for $\mathrm{sat}^*(n,C_5)$ and $\mathrm{sat}^*(n,C_6)$.


title: Forward Learning for Gradient-based Black-box Saliency Map Generation

abstract: Gradient-based saliency maps are widely used to explain deep neural network decisions. However, as models become deeper and more black-box, such as in closed-source APIs like ChatGPT, computing gradients become challenging, hindering conventional explanation methods. In this work, we introduce a novel unified framework for estimating gradients in black-box settings and generating saliency maps to interpret model decisions. We employ the likelihood ratio method to estimate output-to-input gradients and utilize them for saliency map generation. Additionally, we propose blockwise computation techniques to enhance estimation accuracy. Extensive experiments in black-box settings validate the effectiveness of our method, demonstrating accurate gradient estimation and explainability of generated saliency maps. Furthermore, we showcase the scalability of our approach by applying it to explain GPT-Vision, revealing the continued relevance of gradient-based explanation methods in the era of large, closed-source, and black-box models.


title: Investigating Use Cases of AI-Powered Scene Description Applications for Blind and Low Vision People

abstract: "Scene description" applications that describe visual content in a photo are useful daily tools for blind and low vision (BLV) people. Researchers have studied their use, but they have only explored those that leverage remote sighted assistants; little is known about applications that use AI to generate their descriptions. Thus, to investigate their use cases, we conducted a two-week diary study where 16 BLV participants used an AI-powered scene description application we designed. Through their diary entries and follow-up interviews, users shared their information goals and assessments of the visual descriptions they received. We analyzed the entries and found frequent use cases, such as identifying visual features of known objects, and surprising ones, such as avoiding contact with dangerous objects. We also found users scored the descriptions relatively low on average, 2.76 out of 5 (SD=1.49) for satisfaction and 2.43 out of 4 (SD=1.16) for trust, showing that descriptions still need significant improvements to deliver satisfying and trustworthy experiences. We discuss future opportunities for AI as it becomes a more powerful accessibility tool for BLV users.


title: Efficiently Assemble Normalization Layers and Regularization for Federated Domain Generalization

abstract: Domain shift is a formidable issue in Machine Learning that causes a model to suffer from performance degradation when tested on unseen domains. Federated Domain Generalization (FedDG) attempts to train a global model using collaborative clients in a privacy-preserving manner that can generalize well to unseen clients possibly with domain shift. However, most existing FedDG methods either cause additional privacy risks of data leakage or induce significant costs in client communication and computation, which are major concerns in the Federated Learning paradigm. To circumvent these challenges, here we introduce a novel architectural method for FedDG, namely gPerXAN, which relies on a normalization scheme working with a guiding regularizer. In particular, we carefully design Personalized eXplicitly Assembled Normalization to enforce client models selectively filtering domain-specific features that are biased towards local data while retaining discrimination of those features. Then, we incorporate a simple yet effective regularizer to guide these models in directly capturing domain-invariant representations that the global model's classifier can leverage. Extensive experimental results on two benchmark datasets, i.e., PACS and Office-Home, and a real-world medical dataset, Camelyon17, indicate that our proposed method outperforms other existing methods in addressing this particular problem.


title: Technologies for Modulation of Visible and Near-UV Light and their Applications

abstract: Control over the amplitude, phase, and spatial distribution of visible-spectrum light underlies many technologies, but commercial solutions remain bulky and require high control power. Recent materials and fabrication advances have spurred interest in visible-light integrated photonics. In this review, we discuss three application spaces which rely on control of visible light - quantum control and measurement of neutral atom and trapped-ion atomic systems, augmented-reality displays, and measurement and control of biological systems. We then review the commercial dynamic surfaces and bulk systems which currently provide visible-light modulation before discussing the current state-of-the-art integrated solutions. Throughout the review we focus on speed, control power, size, optical bandwidth, and technological maturity when comparing technologies.


title: Assessing Web Fingerprinting Risk

abstract: Modern Web APIs allow developers to provide extensively customized experiences for website visitors, but the richness of the device information they provide also make them vulnerable to being abused to construct browser fingerprints, device-specific identifiers that enable covert tracking of users even when cookies are disabled. Previous research has established entropy, a measure of information, as the key metric for quantifying fingerprinting risk. However, earlier studies had two major limitations. First, their entropy estimates were based on either a single website or a very small sample of devices. Second, they did not adequately consider correlations among different Web APIs, potentially grossly overestimating their fingerprinting risk. We provide the first study of browser fingerprinting which addresses the limitations of prior work. Our study is based on actual visited pages and Web APIs reported by tens of millions of real Chrome browsers in-the-wild. We accounted for the dependencies and correlations among Web APIs, which is crucial for obtaining more realistic entropy estimates. We also developed a novel experimental design that accurately and efficiently estimates entropy while never observing too much information from any single user. Our results provide an understanding of the distribution of entropy for different website categories, confirm the utility of entropy as a fingerprinting proxy, and offer a method for evaluating browser enhancements which are intended to mitigate fingerprinting.


title: Hausdorff and box dimension bounds for subfractals induced by $S$-gap shifts

abstract: In this paper, we consider subsets of an attractor of an iterated function system in which each point is associated with an allowable word from an $S$-gap shift. The main result shows that bounds for the box dimension and Hausdorff dimension of a subfractal induced by an $S$-gap shift are given by the zeros of the upper and lower topological pressure functions.


title: Towards Automatic Abdominal MRI Organ Segmentation: Leveraging Synthesized Data Generated From CT Labels

abstract: Deep learning has shown great promise in the ability to automatically annotate organs in magnetic resonance imaging (MRI) scans, for example, of the brain. However, despite advancements in the field, the ability to accurately segment abdominal organs remains difficult across MR. In part, this may be explained by the much greater variability in image appearance and severely limited availability of training labels. The inherent nature of computed tomography (CT) scans makes it easier to annotate, resulting in a larger availability of expert annotations for the latter. We leverage a modality-agnostic domain randomization approach, utilizing CT label maps to generate synthetic images on-the-fly during training, further used to train a U-Net segmentation network for abdominal organs segmentation. Our approach shows comparable results compared to fully-supervised segmentation methods trained on MR data. Our method results in Dice scores of 0.90 (0.08) and 0.91 (0.08) for the right and left kidney respectively, compared to a pretrained nnU-Net model yielding 0.87 (0.20) and 0.91 (0.03). We will make our code publicly available.


title: Optimal Control of Reduced Left-Invariant Hybrid Control Systems

abstract: Optimal control is ubiquitous in many fields of engineering. A common technique to find candidate solutions is via Pontryagin's maximum principle. An unfortunate aspect of this method is that the dimension of system doubles. When the system evolves on a Lie group and the system is invariant under left (or right) translations, Lie-Poisson reduction can be applied to eliminate half of the dimensions (and returning the dimension of the problem to the back to the original number). Hybrid control systems are an extension of (continuous) control systems by allowing for sudden changes to the state. Examples of such systems include the bouncing ball - the velocity instantaneously jumps during a bounce, the thermostat - controls switch to on or off, and a sailboat undergoing tacking. The goal of this work is to extend the idea of Lie-Poisson reduction to the optimal control of these systems. If $n$ is the dimension of the original system, $2n$ is the dimension of the system produced by the maximum principle. In the case of classical Lie-Poisson reduction, the dimension drops back down to $n$. This, unfortunately, is impossible in hybrid systems as there must be an auxiliary variable encoding whether or not an event occurs. As such, the analogous hybrid Lie-Poisson reduction results in a $n+1$ dimensional system. The purpose of this work is to develop and present this technique.


title: Electrically Switchable Circular Photogalvanic Effect in Methylammonium Lead Iodide Microcrystals

abstract: We investigate the circular photogalvanic effect (CPGE) in single-crystalline methylammonium lead iodide microcrystals under a static electric field. The external electric field can enhance the magnitude of the helicity dependent photocurrent (HDPC) by two orders of magnitude and flip its sign, which we attribute to magnetic shift currents induced by the Rashba-Edelstein effect. This HDPC induced by the static electric field may be viewed as an unusually strong third-order photoresponse, which produces a current two orders of magnitude larger than second-order injection current. Furthermore, the HDPC is highly nonlocal and can be created by photoexcitation out of the device channel, indicating a spin diffusion length up to 50 $\mu$m at 78 K.


title: InterFusion: Text-Driven Generation of 3D Human-Object Interaction

abstract: In this study, we tackle the complex task of generating 3D human-object interactions (HOI) from textual descriptions in a zero-shot text-to-3D manner. We identify and address two key challenges: the unsatisfactory outcomes of direct text-to-3D methods in HOI, largely due to the lack of paired text-interaction data, and the inherent difficulties in simultaneously generating multiple concepts with complex spatial relationships. To effectively address these issues, we present InterFusion, a two-stage framework specifically designed for HOI generation. InterFusion involves human pose estimations derived from text as geometric priors, which simplifies the text-to-3D conversion process and introduces additional constraints for accurate object generation. At the first stage, InterFusion extracts 3D human poses from a synthesized image dataset depicting a wide range of interactions, subsequently mapping these poses to interaction descriptions. The second stage of InterFusion capitalizes on the latest developments in text-to-3D generation, enabling the production of realistic and high-quality 3D HOI scenes. This is achieved through a local-global optimization process, where the generation of human body and object is optimized separately, and jointly refined with a global optimization of the entire scene, ensuring a seamless and contextually coherent integration. Our experimental results affirm that InterFusion significantly outperforms existing state-of-the-art methods in 3D HOI generation.


title: Conditional integrability and stability for the homogeneous Boltzmann equation with very soft potentials

abstract: We introduce a practical criterion that justifies the propagation and appearance of $L^{p}$-norms for the solutions to the spatially homogeneous Boltzmann equation with very soft potentials without cutoff. Such criterion also provides a new conditional stability result for classical solutions to the equation. All results are quantitative. Our approach is inspired by a recent analogous result for the Landau equation derived in arXiv:2306.15729 and generalises existing conditional results related to higher integrability properties and stability of solutions to the Boltzmann equation with very soft potentials.


title: Graph-accelerated non-intrusive polynomial chaos expansion using partially tensor-structured quadrature rules

abstract: Recently, the graph-accelerated non-intrusive polynomial chaos (NIPC) method has been proposed for solving uncertainty quantification (UQ) problems. This method leverages the full-grid integration-based NIPC method to address UQ problems while employing the computational graph transformation approach, AMTC, to accelerate the tensor-grid evaluations. This method exhibits remarkable efficacy on a broad range of low-dimensional (three dimensions or less) UQ problems featuring multidisciplinary models. However, it often does not scale well with problem dimensions due to the exponential increase in the number of quadrature points when using the full-grid quadrature rule. To expand the applicability of this method to a broader range of UQ problems, this paper introduces a new framework for generating a tailored, partially tensor-structured quadrature rule to use with the graph-accelerated NIPC method. This quadrature rule, generated through the designed quadrature approach, possesses a tensor structure that is tailored for the computational model. The selection of the tensor structure is guided by an analysis of the computational graph, ensuring that the quadrature rule effectively capitalizes on the sparsity within the computational graph when paired with the AMTC method. This method has been tested on one 4D and one 6D UQ problem, both originating from aircraft design scenarios and featuring multidisciplinary models. Numerical results show that, when using with graph-accelerated NIPC method, our approach generates a partially tensor-structured quadrature rule that outperforms the full-grid Gauss quadrature and the designed quadrature methods (more than 40% reduction in computational costs) in both of the test problems.


title: NaturalTurn: A Method to Segment Transcripts into Naturalistic Conversational Turns

abstract: Conversation is the subject of increasing interest in the social, cognitive, and computational sciences. And yet, as conversational datasets continue to increase in size and complexity, researchers lack scalable methods to segment speech-to-text transcripts into conversational turns--the basic building blocks of social interaction. We introduce "NaturalTurn," a turn segmentation algorithm designed to accurately capture the dynamics of naturalistic exchange. NaturalTurn operates by distinguishing speakers' primary conversational turns from listeners' secondary utterances, such as backchannels, brief interjections, and other forms of parallel speech that characterize conversation. Using data from a large conversation corpus, we show how NaturalTurn-derived transcripts demonstrate favorable statistical and inferential characteristics compared to transcripts derived from existing methods. The NaturalTurn algorithm represents an improvement in machine-generated transcript processing methods, or "turn models" that will enable researchers to associate turn-taking dynamics with the broader outcomes that result from social interaction, a central goal of conversation science.


title: Balancing Fairness and Efficiency in Energy Resource Allocations

abstract: Bringing fairness to energy resource allocation remains a challenge, due to the complexity of system structures and economic interdependencies among users and system operators' decision-making. The rise of distributed energy resources has introduced more diverse heterogeneous user groups, surpassing the capabilities of traditional efficiency-oriented allocation schemes. Without explicitly bringing fairness to user-system interaction, this disparity often leads to disproportionate payments for certain user groups due to their utility formats or group sizes. Our paper addresses this challenge by formalizing the problem of fair energy resource allocation and introducing the framework for aggregators. This framework enables optimal fairness-efficiency trade-offs by selecting appropriate objectives in a principled way. By jointly optimizing over the total resources to allocate and individual allocations, our approach reveals optimized allocation schemes that lie on the Pareto front, balancing fairness and efficiency in resource allocation strategies.


title: Transactive Local Energy Markets Enable Community-Level Resource Coordination Using Individual Rewards

abstract: ALEX (Autonomous Local Energy eXchange) is an economy-driven, transactive local energy market where each participating building is represented by a rational agent. Relying solely on building-level information, this agent minimizes its electricity bill by automating distributed energy resource utilization and trading. This study examines ALEX's capabilities to align participant and grid-stakeholder interests and assesses ALEX's impact on short- and long-term intermittence using a set of community net-load metrics, such as ramping rate, load factor, and peak load. The policies for ALEX's rational agents are generated using dynamic programming through value iteration in conjunction with iterative best response. This facilitates comparing ALEX and a benchmark energy management system, which optimizes building-level self-consumption, ramping rate, and peak net load. Simulations are performed using the open-source CityLearn2022 dataset to provide a pathway for benchmarking by future studies. The experiments demonstrate that ALEX enables the coordination of distributed energy resources across the community. Remarkably, this community-level coordination occurs even though the system is populated by agents who only access building-level information and selfishly maximize their own relative profit. Compared to the benchmark energy management system, ALEX improves across all metrics.


title: Special non-K\"ahler metrics on Endo-Pajitnov manifolds

abstract: We investigate the metric and cohomological properties of higher dimensional analogues of Inoue surfaces, that were introduced by Endo and Pajitnov. We provide a solvmanifold structure and show that in the diagonalizable case, they are formal and have invariant de Rham cohomology. Moreover, we obtain an arithmetic and cohomological characterization of pluriclosed and astheno-K\"ahler metrics and show they give new examples in all complex dimensions.


title: Ground- and Space-Based Dust Observations of VV 191 Overlapping Galaxy Pair

abstract: The Balmer decrement (H$\alpha$/H$\beta$) provides a constraint on attenuation, the cumulative effects of dust grains in the ISM. The ratio is a reliable spectroscopic tool for deriving the dust properties of galaxies that determine many different quantities such as star formation rate, metallicity, and SED models. Here we measure independently both the attenuation and H$\alpha$/H$\beta$ of an occulting galaxy pair: VV 191. Attenuation measurements in the visible spectrum (A$_{V,stars}$) from dust maps derived from the F606W filter of HST and the F090W filter of JWST are matched with spaxel-by-spaxel H$\alpha$/H$\beta$ observations from the George and Cynthia Mitchell Spectrograph (GCMS) of the McDonald Observatory. The 0.5 to 0.7 micron bandpass covers the Balmer lines for VV 191. The dust maps of JWST and HST provide the high sensitivity necessary for comparisons and tracking trends of the geometrically favorable galaxy. We present maps and plots of the Balmer lines for the VV 191 galaxy pair and for a specific region highlighting dust lanes for VV 191b in the overlap region. We compute A$_{V, HII}$ from H$\alpha$/H$\beta$ and plot both quantities against A$_{V, stars}$. Our results show that regions with higher dust content, residing closer to the spiral center, dominate ionized gas attenuation, leading to an overestimation of A$_{V, HII}$ by a factor or 2. Further out in the spiral arms, the lower dust content leads to more agreement between the attenuations, indicating lower SFR and larger contribution from older stars to the stellar continuum outside the Petrosian radius.


title: Radio-to-Submillimetre Spectral Energy Distributions of NGC 1365

abstract: We analyse the radio-to-submillimetre spectral energy distribution (SED) for the central pseudobulge of NGC~1365 using archival data from the Atacama Large Millimeter/submillimeter Array (ALMA) and the Very Large Array (VLA). This analysis shows that free-free emission dominates the continuum emission at 50--120~GHz and produces about 75 per cent of the 103~GHz continuum emission. However, the fraction of 103~GHz continuum emission originating from free-free emission varies significantly among different subregions in the pseudobulge, particularly for an outflow from the AGN on the eastern pseudobulge where the synchrotron emission produces half of the 103~GHz continuum emission. Free-free emission also dominates at 103~GHz within the central 400 pc diameter region, but this emission is associated with the AGN rather than star formation. The star formation rate (SFR) within the pseudobulge derived from the ALMA free-free emission is $8.9 \pm 1.1$~M$_\odot$~yr$^{-1}$. This is comparable to the SFR from the mid-infrared emission but higher than the SFR from the extinction-corrected H$\alpha$ line emission, mainly because the pseudobulge is heavily dust obscured. The 1.5 GHz emission yields a comparable SFR for the pseudobulge but may have lower SFRs within subregions of the pseudobulge because of the diffusion outside of these regions of the electrons producing the synchrotron radiation. We propose that applying a correction factor of 75 per cent to the 80--110~GHz continuum emission could provide valuable estimates of the free-free emission without performing any SED decomposition, which could derive extinction-free SFRs within 20 per cent accuracy.


title: Global Games with Negative Feedback for Autonomous Colony Maintenance using Robot Teams

abstract: In this article we address the colony maintenance problem, where a team of robots are tasked with continuously maintaining the energy supply of an autonomous colony. We model this as a global game, where robots measure the energy level of a central nest to determine whether or not to forage for energy sources. We design a mechanism that avoids the trivial equilibrium where all robots always forage. Furthermore, we demonstrate that when the game is played iteratively a negative feedback term stabilizes the number of foraging robots at a non-trivial Nash equilibrium. We compare our approach qualitatively to existing global games, where a positive positive feedback term admits threshold-based decision making, and encourages many robots to forage simultaneously. We discuss how positive feedback can lead to a cascading failure in the presence of a human who recruits robots for external tasks, and we demonstrate the performance of our approach in simulation.


title: A gradient-enhanced univariate dimension reduction method for uncertainty propagation

abstract: The univariate dimension reduction (UDR) method stands as a way to estimate the statistical moments of the output that is effective in a large class of uncertainty quantification (UQ) problems. UDR's fundamental strategy is to approximate the original function using univariate functions so that the UQ cost only scales linearly with the dimension of the problem. Nonetheless, UDR's effectiveness can diminish when uncertain inputs have high variance, particularly when assessing the output's second and higher-order statistical moments. This paper proposes a new method, gradient-enhanced univariate dimension reduction (GUDR), that enhances the accuracy of UDR by incorporating univariate gradient function terms into the UDR approximation function. Theoretical results indicate that the GUDR approximation is expected to be one order more accurate than UDR in approximating the original function, and it is expected to generate more accurate results in computing the output's second and higher-order statistical moments. Our proposed method uses a computational graph transformation strategy to efficiently evaluate the GUDR approximation function on tensor-grid quadrature inputs, and use the tensor-grid input-output data to compute the statistical moments of the output. With an efficient automatic differentiation method to compute the gradients, our method preserves UDR's linear scaling of computation time with problem dimension. Numerical results show that the GUDR is more accurate than UDR in estimating the standard deviation of the output and has a performance comparable to the method of moments using a third-order Taylor series expansion.


title: Approximation Algorithms for School Assignment: Group Fairness and Multi-criteria Optimization

abstract: We consider the problem of assigning students to schools, when students have different utilities for schools and schools have capacity. There are additional group fairness considerations over students that can be captured either by concave objectives, or additional constraints on the groups. We present approximation algorithms for this problem via convex program rounding that achieve various trade-offs between utility violation, capacity violation, and running time. We also show that our techniques easily extend to the setting where there are arbitrary covering constraints on the feasible assignment, capturing multi-criteria and ranking optimization.


title: Semantic Gaussians: Open-Vocabulary Scene Understanding with 3D Gaussian Splatting

abstract: Open-vocabulary 3D scene understanding presents a significant challenge in computer vision, withwide-ranging applications in embodied agents and augmented reality systems. Previous approaches haveadopted Neural Radiance Fields (NeRFs) to analyze 3D scenes. In this paper, we introduce SemanticGaussians, a novel open-vocabulary scene understanding approach based on 3D Gaussian Splatting. Our keyidea is distilling pre-trained 2D semantics into 3D Gaussians. We design a versatile projection approachthat maps various 2Dsemantic features from pre-trained image encoders into a novel semantic component of 3D Gaussians, withoutthe additional training required by NeRFs. We further build a 3D semantic network that directly predictsthe semantic component from raw 3D Gaussians for fast inference. We explore several applications ofSemantic Gaussians: semantic segmentation on ScanNet-20, where our approach attains a 4.2% mIoU and 4.0%mAcc improvement over prior open-vocabulary scene understanding counterparts; object part segmentation,sceneediting, and spatial-temporal segmentation with better qualitative results over 2D and 3D baselines,highlighting its versatility and effectiveness on supporting diverse downstream tasks.


title: Integrated workflows and interfaces for data-driven semi-empirical electronic structure calculations

abstract: Modern software engineering of electronic structure codes has seen a paradigm shift from monolithic workflows towards object-based modularity. Software objectivity allows for greater flexibility in the application of electronic structure calculations, with particular benefits when integrated with approaches for data-driven analysis. Here, we discuss different approaches to create "deep" modular interfaces that connect big-data workflows and electronic structure codes, and explore the diversity of use cases that they can enable. We present two such interface approaches for the semi-empirical electronic structure package, DFTB+. In one case, DFTB+ is applied as a library and provides data to an external workflow; and in another, DFTB+ receives data via external bindings and processes the information subsequently within an internal workflow. We provide a general framework to enable data exchange workflows for embedding new machine-learning-based Hamiltonians within DFTB+, or to enabling deep integration of DFTB+ in multiscale embedding workflows. These modular interfaces demonstrate opportunities in emergent software and workflows to accelerate scientific discovery by harnessing existing software capabilities.


title: Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification

abstract: Uncertainty propagation in non-linear dynamical systems has become a key problem in various fields including control theory and machine learning. In this work we focus on discrete-time non-linear stochastic dynamical systems. We present a novel approach to approximate the distribution of the system over a given finite time horizon with a mixture of distributions. The key novelty of our approach is that it not only provides tractable approximations for the distribution of a non-linear stochastic system, but also comes with formal guarantees of correctness. In particular, we consider the total variation (TV) distance to quantify the distance between two distributions and derive an upper bound on the TV between the distribution of the original system and the approximating mixture distribution derived with our framework. We show that in various cases of interest, including in the case of Gaussian noise, the resulting bound can be efficiently computed in closed form. This allows us to quantify the correctness of the approximation and to optimize the parameters of the resulting mixture distribution to minimize such distance. The effectiveness of our approach is illustrated on several benchmarks from the control community.


title: Nanoscale Imaging of Phonons and Reconfiguration in Topologically-Engineered, Self-Assembled Nanoparticle Lattice

abstract: Topologically-engineered mechanical frames are important model constructs for architecture, machine mechanisms, and metamaterials. Despite significant advances in macroscopically fashioned frames, realization and phonon imaging of nanoframes have remained challenging. Here we extend for the first time the principles of topologically-engineered mechanical frames to lattices self-assembled from nanoparticles. Liquid-phase transmission electron microscopy images the vibrations of nanoparticles in self-assembled Maxwell and hexagonal lattices at the nanometer resolution, measuring a series of otherwise inaccessible properties such as phonon spectra and nonlinear lattice deformation paths. These properties are experimentally modulated by ionic strength, captured by our discrete mechanical model considering the complexity of nanoscale interactions and thermal fluctuations. The experiment-theory integration bridges mechanical metamaterials and colloidal self-assembly, opening new opportunities to manufacture phononic devices with solution processibility, transformability, light weight, and emergent functions, at underexplored length, frequency, and energy scales.


title: A Kakutani-Rokhlin theorem for conditionally ergodic process in Riesz spaces

abstract: In [Y. Azouzi, M.A. Ben Amor, J.M. Homann, M. Masmoudi, B.A. Watson, {\em The Kac formula and Poincar\'e recurrence formula in Riesz spaces}, Proc. Amer. Math. Soc. 10(2023), 182-194.] we established the Kac formula and Poincar\'e recurrence theorem for conditional expectation preserving systems. Based on the structures built there to study recurrence times, we now give a formulation of the Kakutani-Rokhlin decomposition in terms of components of weak order units of Riesz spaces. In addition, we prove that every aperiodic conditional expectation preserving system can be approximated by a periodic one.


title: Controllable Freezing Transparency for Water Ice on Scalable Graphene Films on Copper

abstract: Control of water ice formation on surfaces is of key technological and economic importance, but the fundamental understanding of ice nucleation and growth mechanisms and the design of surfaces for controlling water freezing behaviour remain incomplete. Graphene is a two-dimensional (2D) material that has been extensively studied for its peculiar wetting properties with liquid water incl. a heavily debated wetting transparency. Furthermore, graphene is the parent structure of soot particles that are heavily implicated as nuclei in atmospheric ice formation and consequently graphene is often used as a model surface for computational ice nucleation studies. Despite this, to date experimental reports on ice formation on scalable graphene films remain missing. Towards filling this gap, we here report on the water freezing behaviour on scalably grown chemical vapour deposited (CVD) graphene films on application-relevant polycrystalline copper (Cu). We find that as-grown CVD graphene on Cu can be (as we term it) freezing transparent i.e. the graphene presence does not change the freezing temperature curves of liquid water to solid ice on Cu in our measurements. Such freezing transparency has to date not been considered. We also show that chemical functionalization of the graphene films can result in controllable changes to the freezing behaviour to lower/higher temperatures and that also the observed freezing transparency can be lifted via functionalization. Our work thereby introduces the concept of freezing transparency of graphene on a metal support and also introduces scalable CVD graphene/Cu as an ultimately thin platform towards control of ice nucleation behaviour on a technologically highly relevant metal.


title: Data-Driven Approximation of Stationary Nonlinear Filters with Optimal Transport Maps

abstract: The nonlinear filtering problem is concerned with finding the conditional probability distribution (posterior) of the state of a stochastic dynamical system, given a history of partial and noisy observations. This paper presents a data-driven nonlinear filtering algorithm for the case when the state and observation processes are stationary. The posterior is approximated as the push-forward of an optimal transport (OT) map from a given distribution, that is easy to sample from, to the posterior conditioned on a truncated observation window. The OT map is obtained as the solution to a stochastic optimization problem that is solved offline using recorded trajectory data from the state and observations. An error analysis of the algorithm is presented under the stationarity and filter stability assumptions, which decomposes the error into two parts related to the truncation window during training and the error due to the optimization procedure. The performance of the proposed method, referred to as optimal transport data-driven filter (OT-DDF), is evaluated for several numerical examples, highlighting its significant computational efficiency during the online stage while maintaining the flexibility and accuracy of OT methods in nonlinear filtering.


title: Stellar obliquity measurements of six gas giants

abstract: One can infer the orbital alignment of exoplanets with respect to the spin of their host stars using the Rossiter-McLaughlin effect, thereby giving us the chance to test planet formation and migration theories and improve our understanding of the currently observed population. We analyze archival HARPS and HARPS-N spectroscopic transit time series of six gas giant exoplanets on short orbits, namely WASP-77 Ab, WASP-101b, WASP-103b, WASP-105b, WASP-120b and WASP-131b. We find a moderately misaligned orbit for WASP-101b ($\lambda =34\degree\ \pm$ 3) and a highly misaligned orbit for WASP-131b ($\lambda =161\degree\ \pm$ 5), while the four remaining ones appear aligned: WASP-77 Ab ($\lambda =-8\degree\ ^{+19}_{-18}$), WASP-103b ($\lambda =2\degree\ ^{+35}_{-36}$), WASP-105b ($\lambda =-14\degree\ ^{+28}_{-24}$), and WASP-120b ($\lambda =-2\degree\ \pm$ 4). For WASP-77 Ab, we were able to infer its true orbital obliquity ($\Psi =48\degree\ ^{+22}_{-21}$). We additionally perform transmission spectroscopy of the targets in search of strong atomic absorbers in the exoatmospheres, but are unable to detect any features, most likely due to the presence of high-altitude clouds or Rayleigh scattering muting the strength of the features. Finally, we comment on future perspectives for studying these targets with the upcoming space missions to investigate the evolution and migration histories of these planets.


title: FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions

abstract: Reliable numerical computations are central to scientific computing, but the floating-point arithmetic that enables large-scale models is error-prone. Numeric exceptions are a common occurrence and can propagate through code, leading to flawed results. This paper presents FlowFPX, a toolkit for systematically debugging floating-point exceptions by recording their flow, coalescing exception contexts, and fuzzing in select locations. These tools help scientists discover when exceptions happen and track down their origin, smoothing the way to a reliable codebase.


title: Core performance predictions in projected SPARC first-campaign plasmas with nonlinear CGYRO

abstract: This work characterizes the core transport physics of SPARC early-campaign plasmas using the PORTALS-CGYRO framework. Empirical modeling of SPARC plasmas with L-mode confinement indicates an ample window of breakeven (Q>1) without the need of H-mode operation. Extensive modeling of multi-channel (electron energy, ion energy and electron particle) flux-matched conditions with the nonlinear CGYRO code for turbulent transport coupled to the macroscopic plasma evolution using PORTALS reveal that the maximum fusion performance to be attained will be highly dependent on the near-edge pressure. Stiff core transport conditions are found, particularly when fusion gain approaches unity, and predicted density peaking is found to be in line with empirical databases of particle source-free H-modes. Impurity optimization is identified as a potential avenue to increase fusion performance while enabling core-edge integration. Extensive validation of the quasilinear TGLF model builds confidence in reduced-model predictions. The implications of projecting L-mode performance to high-performance and burning-plasma devices is discussed, together with the importance of predicting edge conditions.


title: An Interactive Decision-Support Dashboard for Optimal Hospital Capacity Management

abstract: Data-driven optimization models have the potential to significantly improve hospital capacity management, particularly during demand surges, when effective allocation of capacity is most critical and challenging. However, integrating models into existing processes in a way that provides value requires recognizing that hospital administrators are ultimately responsible for making capacity management decisions, and carefully building trustworthy and accessible tools for them. In this study, we develop an interactive, user-friendly, electronic dashboard for informing hospital capacity management decisions during surge periods. The dashboard integrates real-time hospital data, predictive analytics, and optimization models. It allows hospital administrators to interactively customize parameters, enabling them to explore a range of scenarios, and provides real-time updates on recommended optimal decisions. The dashboard was created through a participatory design process, involving hospital administrators in the development team to ensure practical utility, trustworthiness, transparency, explainability, and usability. We successfully deployed our dashboard within the Johns Hopkins Health System during the height of the COVID-19 pandemic, addressing the increased need for tools to inform hospital capacity management. It was used on a daily basis, with results regularly communicated to hospital leadership. This study demonstrates the practical application of a prospective, data-driven, interactive decision-support tool for hospital system capacity management.


title: Nonparametric inference of higher order interaction patterns in networks

abstract: We propose a method for obtaining parsimonious decompositions of networks into higher order interactions which can take the form of arbitrary motifs.The method is based on a class of analytically solvable generative models, where vertices are connected via explicit copies of motifs, which in combination with non-parametric priors allow us to infer higher order interactions from dyadic graph data without any prior knowledge on the types or frequencies of such interactions. Crucially, we also consider 'degree--corrected' models that correctly reflect the degree distribution of the network and consequently prove to be a better fit for many real world--networks compared to non-degree corrected models. We test the presented approach on simulated data for which we recover the set of underlying higher order interactions to a high degree of accuracy. For empirical networks the method identifies concise sets of atomic subgraphs from within thousands of candidates that cover a large fraction of edges and include higher order interactions of known structural and functional significance. The method not only produces an explicit higher order representation of the network but also a fit of the network to analytically tractable models opening new avenues for the systematic study of higher order network structures.

categories: cs.SI cond-mat.stat-mech cs.IT math.IT physics.soc-ph stat.ME


title: On the Variational Interpretation of Mirror Play in Monotone Games

abstract: Mirror play (MP) is a well-accepted primal-dual multi-agent learning algorithm where all agents simultaneously implement mirror descent in a distributed fashion. The advantage of MP over vanilla gradient play lies in its usage of mirror maps that better exploit the geometry of decision domains. Despite extensive literature dedicated to the asymptotic convergence of MP to equilibrium, the understanding of the finite-time behavior of MP before reaching equilibrium is still rudimentary. To facilitate the study of MP's non-equilibrium performance, this work establishes an equivalence between MP's finite-time primal-dual path (mirror path) in monotone games and the closed-loop Nash equilibrium path of a finite-horizon differential game, referred to as mirror differential game (MDG). Our construction of MDG rests on the Brezis-Ekeland variational principle, and the stage cost functional for MDG is Fenchel coupling between MP's iterates and associated gradient updates. The variational interpretation of mirror path in static games as the equilibrium path in MDG holds in deterministic and stochastic cases. Such a variational interpretation translates the non-equilibrium studies of learning dynamics into a more tractable equilibrium analysis of dynamic games, as demonstrated in a case study on the Cournot game, where MP dynamics corresponds to a linear quadratic game.


title: CoNVOI: Context-aware Navigation using Vision Language Models in Outdoor and Indoor Environments

abstract: We present ConVOI, a novel method for autonomous robot navigation in real-world indoor and outdoor environments using Vision Language Models (VLMs). We employ VLMs in two ways: first, we leverage their zero-shot image classification capability to identify the context or scenario (e.g., indoor corridor, outdoor terrain, crosswalk, etc) of the robot's surroundings, and formulate context-based navigation behaviors as simple text prompts (e.g. ``stay on the pavement"). Second, we utilize their state-of-the-art semantic understanding and logical reasoning capabilities to compute a suitable trajectory given the identified context. To this end, we propose a novel multi-modal visual marking approach to annotate the obstacle-free regions in the RGB image used as input to the VLM with numbers, by correlating it with a local occupancy map of the environment. The marked numbers ground image locations in the real-world, direct the VLM's attention solely to navigable locations, and elucidate the spatial relationships between them and terrains depicted in the image to the VLM. Next, we query the VLM to select numbers on the marked image that satisfy the context-based behavior text prompt, and construct a reference path using the selected numbers. Finally, we propose a method to extrapolate the reference trajectory when the robot's environmental context has not changed to prevent unnecessary VLM queries. We use the reference trajectory to guide a motion planner, and demonstrate that it leads to human-like behaviors (e.g. not cutting through a group of people, using crosswalks, etc.) in various real-world indoor and outdoor scenarios.


title: Differentially Private Next-Token Prediction of Large Language Models

abstract: Ensuring the privacy of Large Language Models (LLMs) is becoming increasingly important. The most widely adopted technique to accomplish this is DP-SGD, which trains a model to guarantee Differential Privacy (DP). However, DP-SGD overestimates an adversary's capabilities in having white box access to the model and, as a result, causes longer training times and larger memory usage than SGD. On the other hand, commercial LLM deployments are predominantly cloud-based; hence, adversarial access to LLMs is black-box. Motivated by these observations, we present Private Mixing of Ensemble Distributions (PMixED): a private prediction protocol for next-token prediction that utilizes the inherent stochasticity of next-token sampling and a public model to achieve Differential Privacy. We formalize this by introducing RD-mollifers which project each of the model's output distribution from an ensemble of fine-tuned LLMs onto a set around a public LLM's output distribution, then average the projected distributions and sample from it. Unlike DP-SGD which needs to consider the model architecture during training, PMixED is model agnostic, which makes PMixED a very appealing solution for current deployments. Our results show that PMixED achieves a stronger privacy guarantee than sample-level privacy and outperforms DP-SGD for privacy $\epsilon = 8$ on large-scale datasets. Thus, PMixED offers a practical alternative to DP training methods for achieving strong generative utility without compromising privacy.


title: Exotic tetraquarks at the HL-LHC with JETHAD: A high-energy viewpoint

abstract: We review the semi-inclusive hadroproduction of a neutral hidden-flavor tetraquark with light and heavy quark flavor at the HL-LHC, accompanied by another heavy hadron or a light-flavored jet. We make use of the novel TQHL1.0 determinations of leading-twist fragmentation functions to describe the formation mechanism of a tetraquark state within the next-to-leading order perturbative QCD. This framework builds on the basis of a spin-physics inspired model, taken as a proxy for the lowest-scale input of the constituent heavy-quark fragmentation channel. Then, all parton-to-tetraquark fragmentation functions are consistently obtained via the above-threshold DGLAP evolution in a variable-flavor number scheme. We provide predictions for a series of differential distributions calculated by the hands of the JETHAD method well-adapted to NLL/NLO+ hybrid-factorization studies, where the resummation of next-to-leading energy logarithms and beyond is included in the collinear picture. We provide corroborating evidence that high-energy observables sensitive to semi-inclusive tetraquark emissions at the HL-LHC exhibit a fair stability under radiative corrections as well as MHOU studies. Our analysis constitutes a prime contact point between QCD resummations and the exotic matter.


title: Contextual Restless Multi-Armed Bandits with Application to Demand Response Decision-Making

abstract: This paper introduces a novel multi-armed bandits framework, termed Contextual Restless Bandits (CRB), for complex online decision-making. This CRB framework incorporates the core features of contextual bandits and restless bandits, so that it can model both the internal state transitions of each arm and the influence of external global environmental contexts. Using the dual decomposition method, we develop a scalable index policy algorithm for solving the CRB problem, and theoretically analyze the asymptotical optimality of this algorithm. In the case when the arm models are unknown, we further propose a model-based online learning algorithm based on the index policy to learn the arm models and make decisions simultaneously. Furthermore, we apply the proposed CRB framework and the index policy algorithm specifically to the demand response decision-making problem in smart grids. The numerical simulations demonstrate the performance and efficiency of our proposed CRB approaches.


title: Axion-like Interactions and CFT in Topological Matter, Anomaly Sum Rules and the Faraday Effect

abstract: We discuss fundamental aspects of chiral anomaly-driven interactions in conformal field theory (CFT) in four spacetime dimensions. They find application in very general contexts, from early universe plasma to topological condensed matter. We outline the key shared characteristics of these interactions, specifically addressing the case of chiral anomalies, both for vector currents and gravitons. In the case of topological materials, the gravitational chiral anomaly is generated by thermal gradients via the (Tolman-Ehrenfest) Luttinger relation. In the CFT framework, a nonlocal effective action, derived through perturbation theory, indicates that the interaction is mediated by an excitation in the form of an anomaly pole, which appears in the conformal limit of the vertex. To illustrate this, we demonstrate how conformal Ward identities (CWIs) in momentum space allow us to reconstruct the entire chiral anomaly interaction in its longitudinal and transverse sectors just by inclusion of a pole in the longitudinal sector. Both sectors are coupled in amplitudes with an intermediate chiral fermion or a bilinear Chern-Simons current with intermediate photons. In the presence of fermion mass corrections, the pole transforms into a cut, but the absorption amplitude in the axial-vector channel satisfies mass-independent sum rules related to the anomaly in any chiral interaction. The detection of an axion-like/quasiparticle in these materials may rely on a combined investigation of these sum rules, along with the measurement of the angle of rotation of the plane of polarization of incident light when subjected to a chiral perturbation. This phenomenon serves as an analogue of a similar one in ordinary axion physics, in the presence of an axion-like condensate, that we rederive using axion electrodynamics.


title: Fourier Galerkin approximation of mean field control problems

abstract: The purpose of this work is to provide a finite dimensional approximation of the solution to a mean field optimal control problem set on the $d$-dimensional torus. The approximation is obtained by means of a Fourier-Galerkin method, the main principle of which is to convolve probability measures on the torus by the Dirichlet kernel or, equivalently, to truncate the Fourier expansion of probability measures on the torus. However, this operation has the main feature not to leave the space of probability measures invariant, which drawback is know as \textit{Gibbs}' phenomenon. In spite of this, we manage to prove that, for initial conditions in the `interior' of the space of probability measures and for sufficiently large levels of truncation, the Fourier-Galerkin method induces a new finite dimensional control problem whose trajectories take values in the space of probability measures with a finite number of Fourier coefficients. Our main result asserts that, whenever the cost functionals are smooth and convex, the distance between the optimal trajectories of the original and approximating control problems decreases at a polynomial rate as the index of truncation in the Fourier-Galerkin method tends to $\infty$. A similar result holds for the distance between the corresponding value functions. From a practical point of view, our approach provides an efficient strategy to approximate mean field control optimizers by finite dimensional parameters and opens new perspectives for the numerical analysis of mean field control problems. It may be also applied to discretize more general mean field game systems.


title: Positivity-preserving and energy-dissipating discontinuous Galerkin methods for nonlinear nonlocal Fokker-Planck equations

abstract: This paper is concerned with structure-preserving numerical approximations for a class of nonlinear nonlocal Fokker-Planck equations, which admit a gradient flow structure and find application in diverse contexts. The solutions, representing density distributions, must be non-negative and satisfy a specific energy dissipation law. We design an arbitrary high-order discontinuous Galerkin (DG) method tailored for these model problems. Both semi-discrete and fully discrete schemes are shown to admit the energy dissipation law for non-negative numerical solutions. To ensure the preservation of positivity in cell averages at all time steps, we introduce a local flux correction applied to the DDG diffusive flux. Subsequently, a hybrid algorithm is presented, utilizing a positivity-preserving limiter, to generate positive and energy-dissipating solutions. Numerical examples are provided to showcase the high resolution of the numerical solutions and the verified properties of the DG schemes.


title: A link between the size and composition of comets

abstract: All cometary nuclei that formed in the early Solar System incorporated radionuclides and therefore were subject to internal radiogenic heating. Previous work predicts that if comets have a pebble-pile structure internal temperature build-up is enhanced due to very low thermal conductivity, leading to internal differentiation. An internal thermal gradient causes widespread sublimation and migration of either ice condensates, or gases released from amorphous ice hosts during their crystallisation. Overall, the models predict that the degree of differentiation and re-distribution of volatile species to a shallower near-surface layer depends primarily on nucleus size. Hence, we hypothesise that cometary activity should reveal a correlation between the abundance of volatile species and the size of the nucleus. To explore this hypothesis we have conducted a thorough literature search for measurements of the composition and size of cometary nuclei, compiling these into a unified database. We report a statistically significant correlation between the measured abundance of CO/H$_{2}$O and the size of cometary nuclei. We further recover the measured slope of abundance as a function of size, using a theoretical model based on our previous thermophysical models, invoking re-entrapment of outward migrating high volatility gases in the near-surface pristine amorphous ice layers. This model replicates the observed trend and supports the theory of internal differentiation of cometary nuclei by early radiogenic heating. We make our database available for future studies, and we advocate for collection of more measurements to allow more precise and statistically significant analyses to be conducted in the future.


title: Mutual-visibility problems in Kneser and Johnson graphs

abstract: Let $G$ be a connected graph and $\cal X \subseteq V(G)$. By definition, two vertices $u$ and $v$ are $\cal X$-visible in $G$ if there exists a shortest $u,v$-path with all internal vertices being outside of the set $\cal X$. The largest size of $\cal X$ such that any two vertices of $G$ (resp. any two vertices from $\cal X$) are $\cal X$-visible is the total mutual-visibility number (resp. the mutual-visibility number) of $G$. In this paper, we determine the total mutual-visibility number of Kneser graphs, bipartite Kneser graphs, and Johnson graphs. The formulas proved for Kneser, and bipartite Kneser graphs are related to the size of transversal-critical uniform hypergraphs, while the total mutual-visibility number of Johnson graphs is equal to a hypergraph Tur\'an number. Exact values or estimations for the mutual-visibility number over these graph classes are also established.


title: Application of the NIST AI Risk Management Framework to Surveillance Technology

abstract: This study offers an in-depth analysis of the application and implications of the National Institute of Standards and Technology's AI Risk Management Framework (NIST AI RMF) within the domain of surveillance technologies, particularly facial recognition technology. Given the inherently high-risk and consequential nature of facial recognition systems, our research emphasizes the critical need for a structured approach to risk management in this sector. The paper presents a detailed case study demonstrating the utility of the NIST AI RMF in identifying and mitigating risks that might otherwise remain unnoticed in these technologies. Our primary objective is to develop a comprehensive risk management strategy that advances the practice of responsible AI utilization in feasible, scalable ways. We propose a six-step process tailored to the specific challenges of surveillance technology that aims to produce a more systematic and effective risk management practice. This process emphasizes continual assessment and improvement to facilitate companies in managing AI-related risks more robustly and ensuring ethical and responsible deployment of AI systems. Additionally, our analysis uncovers and discusses critical gaps in the current framework of the NIST AI RMF, particularly concerning its application to surveillance technologies. These insights contribute to the evolving discourse on AI governance and risk management, highlighting areas for future refinement and development in frameworks like the NIST AI RMF.


title: RetiGen: A Framework for Generalized Retinal Diagnosis Using Multi-View Fundus Images

abstract: This study introduces a novel framework for enhancing domain generalization in medical imaging, specifically focusing on utilizing unlabelled multi-view colour fundus photographs. Unlike traditional approaches that rely on single-view imaging data and face challenges in generalizing across diverse clinical settings, our method leverages the rich information in the unlabelled multi-view imaging data to improve model robustness and accuracy. By incorporating a class balancing method, a test-time adaptation technique and a multi-view optimization strategy, we address the critical issue of domain shift that often hampers the performance of machine learning models in real-world applications. Experiments comparing various state-of-the-art domain generalization and test-time optimization methodologies show that our approach consistently outperforms when combined with existing baseline and state-of-the-art methods. We also show our online method improves all existing techniques. Our framework demonstrates improvements in domain generalization capabilities and offers a practical solution for real-world deployment by facilitating online adaptation to new, unseen datasets. Our code is available at https://github.com/zgy600/RetiGen .


title: SRLM: Human-in-Loop Interactive Social Robot Navigation with Large Language Model and Deep Reinforcement Learning

abstract: An interactive social robotic assistant must provide services in complex and crowded spaces while adapting its behavior based on real-time human language commands or feedback. In this paper, we propose a novel hybrid approach called Social Robot Planner (SRLM), which integrates Large Language Models (LLM) and Deep Reinforcement Learning (DRL) to navigate through human-filled public spaces and provide multiple social services. SRLM infers global planning from human-in-loop commands in real-time, and encodes social information into a LLM-based large navigation model (LNM) for low-level motion execution. Moreover, a DRL-based planner is designed to maintain benchmarking performance, which is blended with LNM by a large feedback model (LFM) to address the instability of current text and LLM-driven LNM. Finally, SRLM demonstrates outstanding performance in extensive experiments. More details about this work are available at: https://sites.google.com/view/navi-srlm


title: Semantic Communication Challenges: Understanding Dos and Avoiding Don'ts

abstract: Semantic communication, emerging as a promising paradigm for data transmission, offers an innovative departure from the constraints of Shannon theory, heralding significant advancements in future communication technologies. Despite the proliferation of proposed approaches, there are still numerous challenges. In this paper, we review current semantic communication methodologies and shed light on pivotal issues and addressing certain discrepancies that exist within the field. By elucidating both dos and don'ts, we aim to provide valuable insights into the emerging landscape of semantic communication.


title: A mock redshift catalogue of the dusty star-forming galaxy population with intrinsic clustering and lensing for deep millimetre surveys

abstract: We present a new cosmologically motivated mock redshift survey of the Dusty Star-Forming Galaxy population. Our mock survey is based on the Bolshoi-Planck dark-matter halo simulation and covers an area of 5.3 sq. degree. Using a semi-empirical approach, we generate a light cone and populate the dark-matter haloes with galaxies. Infrared properties are assigned to the galaxies based on theoretical and empirical relations from the literature. Additionally, background galaxies are gravitationally lensed by dark-matter haloes along the line-of-sight assuming a point-mass model approximation. We characterize the mock survey by measuring the star formation rate density, integrated number counts, redshift distribution, and infrared luminosity function. When compared with single-dish and interferometric observations, the predictions from our mock survey closely follow the compiled results from the literature. We have also directed this study towards characterizing one of the extragalactic legacy surveys to be observed with the TolTEC camera at the Large Millimeter Telescope: the 0.8 sq. degree Ultra Deep Survey, with expected depths of 0.025, 0.018 and 0.012 mJy beam$^{-1}$ at 1.1, 1.4 and 2.0 mm. Exploiting the clustering information in our mock survey, we investigate its impact on the effect of flux boosting by the fainter population of dusty galaxies, finding that clustering can increase the median boosting by 0.5 per cent at 1.1 mm, 0.8 per cent at 1.4 mm and, 2.0 per cent at 2.0 mm, and with higher dispersion.


title: GaNI: Global and Near Field Illumination Aware Neural Inverse Rendering

abstract: In this paper, we present GaNI, a Global and Near-field Illumination-aware neural inverse rendering technique that can reconstruct geometry, albedo, and roughness parameters from images of a scene captured with co-located light and camera. Existing inverse rendering techniques with co-located light-camera focus on single objects only, without modeling global illumination and near-field lighting more prominent in scenes with multiple objects. We introduce a system that solves this problem in two stages; we first reconstruct the geometry powered by neural volumetric rendering NeuS, followed by inverse neural radiosity that uses the previously predicted geometry to estimate albedo and roughness. However, such a naive combination fails and we propose multiple technical contributions that enable this two-stage approach. We observe that NeuS fails to handle near-field illumination and strong specular reflections from the flashlight in a scene. We propose to implicitly model the effects of near-field illumination and introduce a surface angle loss function to handle specular reflections. Similarly, we observe that invNeRad assumes constant illumination throughout the capture and cannot handle moving flashlights during capture. We propose a light position-aware radiance cache network and additional smoothness priors on roughness to reconstruct reflectance. Experimental evaluation on synthetic and real data shows that our method outperforms the existing co-located light-camera-based inverse rendering techniques. Our approach produces significantly better reflectance and slightly better geometry than capture strategies that do not require a dark room.


title: Parametric Encoding with Attention and Convolution Mitigate Spectral Bias of Neural Partial Differential Equation Solvers

abstract: Deep neural networks (DNNs) are increasingly used to solve partial differential equations (PDEs) that naturally arise while modeling a wide range of systems and physical phenomena. However, the accuracy of such DNNs decreases as the PDE complexity increases and they also suffer from spectral bias as they tend to learn the low-frequency solution characteristics. To address these issues, we introduce Parametric Grid Convolutional Attention Networks (PGCANs) that can solve PDE systems without leveraging any labeled data in the domain. The main idea of PGCAN is to parameterize the input space with a grid-based encoder whose parameters are connected to the output via a DNN decoder that leverages attention to prioritize feature training. Our encoder provides a localized learning ability and uses convolution layers to avoid overfitting and improve information propagation rate from the boundaries to the interior of the domain. We test the performance of PGCAN on a wide range of PDE systems and show that it effectively addresses spectral bias and provides more accurate solutions compared to competing methods.