title: Assessing the Potential of Space-Time-Coding Metasurfaces for Sensing and Localization

abstract: Intelligent metasurfaces are one of the favorite technologies for integrating sixth-generation (6G) networks, especially the reconfigurable intelligent surface (RIS) that has been extensively researched in various applications. In this context, a feature that deserves further exploration is the frequency scattering that occurs when the elements are periodically switched, referred to as Space-Time-Coding metasurface (STCM) topology. This type of topology causes impairments to the established communication methods by generating undesirable interference both in frequency and space, which is worsened when using wideband signals. Nevertheless, it has the potential to bring forward useful features for sensing and localization. This work exploits STCM sensing capabilities in target detection, localization, and classification using narrowband downlink pilot signals at the base station (BS). The results of this novel approach reveal the ability to retrieve a scattering point (SP) localization within the sub-centimeter and sub-decimeter accuracy depending on the SP position in space. We also analyze the associated detection and classification probabilities, which show reliable detection performance in the whole analyzed environment. In contrast, the classification is bounded by physical constraints, and we conclude that this method presents a promising approach for future integrated sensing and communications (ISAC) protocols by providing a tool to perform sensing and localization services using legacy communication signals.


title: MPN: Leveraging Multilingual Patch Neuron for Cross-lingual Model Editing

abstract: Large language models are known for encoding a vast amount of factual knowledge, but they often becomes outdated due to the ever-changing nature of external information. A promising solution to this challenge is the utilization of model editing methods to update the knowledge in an efficient manner. However, the majority of existing model editing techniques are limited to monolingual frameworks, thus failing to address the crucial issue of cross-lingual knowledge synchronization for multilingual models. To tackle this problem, we propose a simple yet effective method that trains multilingual patch neuron to store cross-lingual knowledge. It can be easily adapted to existing approaches to enhance their cross-lingual editing capabilities. To evaluate our method, we conduct experiments using both the XNLI dataset and a self-constructed XFEVER dataset. Experimental results demonstrate that our proposed method achieves improved performance in cross-lingual editing tasks without requiring excessive modifications to the original methodology, thereby showcasing its user-friendly characteristics. Codes will be released soon.


title: DistFormer: Enhancing Local and Global Features for Monocular Per-Object Distance Estimation

abstract: Accurate per-object distance estimation is crucial in safety-critical applications such as autonomous driving, surveillance, and robotics. Existing approaches rely on two scales: local information (i.e., the bounding box proportions) or global information, which encodes the semantics of the scene as well as the spatial relations with neighboring objects. However, these approaches may struggle with long-range objects and in the presence of strong occlusions or unusual visual patterns. In this respect, our work aims to strengthen both local and global cues. Our architecture -- named DistFormer -- builds upon three major components acting jointly: i) a robust context encoder extracting fine-grained per-object representations; ii) a masked encoder-decoder module exploiting self-supervision to promote the learning of useful per-object features; iii) a global refinement module that aggregates object representations and computes a joint, spatially-consistent estimation. To evaluate the effectiveness of DistFormer, we conduct experiments on the standard KITTI dataset and the large-scale NuScenes and MOTSynth datasets. Such datasets cover various indoor/outdoor environments, changing weather conditions, appearances, and camera viewpoints. Our comprehensive analysis shows that DistFormer outperforms existing methods. Moreover, we further delve into its generalization capabilities, showing its regularization benefits in zero-shot synth-to-real transfer.


title: On the Convergence of Hermitian Dynamic Mode Decomposition

abstract: In this work, we study the convergence of Hermitian Dynamic Mode Decomposition (DMD) to the spectral properties of self-adjoint Koopman operators. Hermitian DMD is a data-driven method for approximating the Koopman operator associated with an unknown nonlinear dynamical system from discrete-time snapshots, while preserving the self-adjointness of the operator on its finite-dimensional approximations. We show that, under suitable conditions, the eigenvalues and eigenfunctions of HDMD converge to the spectral properties of the underlying Koopman operator. Along the way, we establish a general theorem on the convergence of spectral measures, and demonstrate our results numerically on the two-dimensional Schr\"odinger equation.


title: Picky Eaters Make For Better Raters

abstract: It has been established in the literature that the number of ratings and the scores restaurants obtain on online rating systems (ORS) significantly impact their revenue. However, when a restaurant has a limited number of ratings, it may be challenging to predict its future performance. It may well be that ratings reveal more about the user who did the rating than about the quality of the restaurant. This motivates us to segment users into "inflating raters", who tend to give unusually high ratings, and "deflating raters", who tend to give unusually low ratings, and compare the rankings generated by these two populations. Using a public dataset provided by Yelp, we find that deflating raters are better at predicting restaurants that will achieve a top rating (4.5 and above) in the future. As such, these deflating raters may have an important role in restaurant discovery.


title: Learning Persistent Community Structures in Dynamic Networks via Topological Data Analysis

abstract: Dynamic community detection methods often lack effective mechanisms to ensure temporal consistency, hindering the analysis of network evolution. In this paper, we propose a novel deep graph clustering framework with temporal consistency regularization on inter-community structures, inspired by the concept of minimal network topological changes within short intervals. Specifically, to address the representation collapse problem, we first introduce MFC, a matrix factorization-based deep graph clustering algorithm that preserves node embedding. Based on static clustering results, we construct probabilistic community networks and compute their persistence homology, a robust topological measure, to assess structural similarity between them. Moreover, a novel neural network regularization TopoReg is introduced to ensure the preservation of topological similarity between inter-community structures over time intervals. Our approach enhances temporal consistency and clustering accuracy on real-world datasets with both fixed and varying numbers of communities. It is also a pioneer application of TDA in temporally persistent community detection, offering an insightful contribution to field of network analysis. Code and data are available at the public git repository: https://github.com/kundtx/MFC_TopoReg


title: Efficient Bitrate Ladder Construction using Transfer Learning and Spatio-Temporal Features

abstract: Providing high-quality video with efficient bitrate is a main challenge in video industry. The traditional one-size-fits-all scheme for bitrate ladders is inefficient and reaching the best content-aware decision computationally impractical due to extensive encodings required. To mitigate this, we propose a bitrate and complexity efficient bitrate ladder prediction method using transfer learning and spatio-temporal features. We propose: (1) using feature maps from well-known pre-trained DNNs to predict rate-quality behavior with limited training data; and (2) improving highest quality rung efficiency by predicting minimum bitrate for top quality and using it for the top rung. The method tested on 102 video scenes demonstrates 94.1% reduction in complexity versus brute-force at 1.71% BD-Rate expense. Additionally, transfer learning was thoroughly studied through four networks and ablation studies.


title: SecureReg: A Combined Framework for Proactively Exposing Malicious Domain Name Registrations

abstract: Rising cyber threats, with miscreants registering thousands of new domains daily for Internet-scale attacks like spam, phishing, and drive-by downloads, emphasize the need for innovative detection methods. This paper introduces a cutting-edge approach for identifying suspicious domains at the onset of the registration process. The accompanying data pipeline generates crucial features by comparing new domains to registered domains,emphasizing the crucial similarity score. Leveraging a novel combination of Natural Language Processing (NLP) techniques, including a pretrained Canine model, and Multilayer Perceptron (MLP) models, our system analyzes semantic and numerical attributes, providing a robust solution for early threat detection. This integrated approach significantly reduces the window of vulnerability, fortifying defenses against potential threats. The findings demonstrate the effectiveness of the integrated approach and contribute to the ongoing efforts in developing proactive strategies to mitigate the risks associated with illicit online activities through the early identification of suspicious domain registrations.


title: Decision Making in Non-Stationary Environments with Policy-Augmented Search

abstract: Sequential decision-making under uncertainty is present in many important problems. Two popular approaches for tackling such problems are reinforcement learning and online search (e.g., Monte Carlo tree search). While the former learns a policy by interacting with the environment (typically done before execution), the latter uses a generative model of the environment to sample promising action trajectories at decision time. Decision-making is particularly challenging in non-stationary environments, where the environment in which an agent operates can change over time. Both approaches have shortcomings in such settings -- on the one hand, policies learned before execution become stale when the environment changes and relearning takes both time and computational effort. Online search, on the other hand, can return sub-optimal actions when there are limitations on allowed runtime. In this paper, we introduce \textit{Policy-Augmented Monte Carlo tree search} (PA-MCTS), which combines action-value estimates from an out-of-date policy with an online search using an up-to-date model of the environment. We prove theoretical results showing conditions under which PA-MCTS selects the one-step optimal action and also bound the error accrued while following PA-MCTS as a policy. We compare and contrast our approach with AlphaZero, another hybrid planning approach, and Deep Q Learning on several OpenAI Gym environments. Through extensive experiments, we show that under non-stationary settings with limited time constraints, PA-MCTS outperforms these baselines.


title: Learning-Augmented K-Means Clustering Using Dimensional Reduction

abstract: Learning augmented is a machine learning concept built to improve the performance of a method or model, such as enhancing its ability to predict and generalize data or features, or testing the reliability of the method by introducing noise and other factors. On the other hand, clustering is a fundamental aspect of data analysis and has long been used to understand the structure of large datasets. Despite its long history, the k-means algorithm still faces challenges. One approach, as suggested by Ergun et al,is to use a predictor to minimize the sum of squared distances between each data point and a specified centroid. However, it is known that the computational cost of this algorithm increases with the value of k, and it often gets stuck in local minima. In response to these challenges, we propose a solution to reduce the dimensionality of the dataset using Principal Component Analysis (PCA). It is worth noting that when using k values of 10 and 25, the proposed algorithm yields lower cost results compared to running it without PCA. "Principal component analysis (PCA) is the problem of fitting a low-dimensional affine subspace to a set of data points in a high-dimensional space. PCA is well-established in the literature and has become one of the most useful tools for data modeling, compression, and visualization."


title: Principal stratum in the moduli space of real-normalized differentials with a single pole

abstract: Meromorphic differentials on Riemann surfaces are said to be real-normalized if all their periods are real. Moduli spaces of real-normalized differentials on Riemann surfaces of given genus with prescribed orders of their poles and residues admit stratification by orders of zeroes of the differentials. Subsets of real-normalized differentials with the fixed polarized module of periods compose isoperiodic subspaces, which also admit this stratification. In this work we prove the connectedness of the principal stratum for the isoperiodic subspaces in the space of real-normalized differentials with a single pole of order two when all the periods are incommesurable.


title: The Coexistence of Infection Spread Patterns in the Global Dynamics of COVID-19 Dissemination

abstract: The novel coronavirus SARS-CoV-2, commonly referred to as COVID-19, triggered the global pandemic. Although the nature of the international spread of infection is an important issue, extracting diffusion networks from observations is challenging because of its inherent complexity. In this paper, we investigate the process of infection worldwide, including time delays, based on global infection case data collected from January 3, 2020 to December 31, 2022. We approach the data with a complex Hilbert principal component analysis, which can consider not only the concurrent relationships between elements, but also the leading and lagging relationships. Then, we examine the interactions among countries by considering six factors: geography, population, GDP, stringency of countermeasures, vaccination rates, and government type. The results show two primary trends occurring in 2020 and in 2021-2022 and they interchange with each other. Specifically, European, highly populated, and democratic countries, i.e., countries with high mobility rates, show leading trends in 2020. In contrast, African and nondemocratic countries show leading trends in 2021-2022, followed by countries with high vaccination rates and advanced countermeasures. The results reveal that, although factors that increase infection risk lead to certain trends at the beginning of the pandemic, these trends dynamically changes over time due to socioeconomic factors, especially the introduction of countermeasures. The findings suggest that international efforts to promote countermeasures in developing countries can contribute to pandemic containment.


title: 3DMIT: 3D Multi-modal Instruction Tuning for Scene Understanding

abstract: The remarkable potential of multi-modal large language models (MLLMs) in comprehending both vision and language information has been widely acknowledged. However, the scarcity of 3D scenes-language pairs in comparison to their 2D counterparts, coupled with the inadequacy of existing approaches in understanding of 3D scenes by LLMs, poses a significant challenge. In response, we collect and construct an extensive dataset comprising 75K instruction-response pairs tailored for 3D scenes. This dataset addresses tasks related to 3D VQA, 3D grounding, and 3D conversation. To further enhance the integration of 3D spatial information into LLMs, we introduce a novel and efficient prompt tuning paradigm, 3DMIT. This paradigm eliminates the alignment stage between 3D scenes and language and extends the instruction prompt with the 3D modality information including the entire scene and segmented objects. We evaluate the effectiveness of our method across diverse tasks in the 3D scene domain and find that our approach serves as a strategic means to enrich LLMs' comprehension of the 3D world. Our code is available at https://github.com/staymylove/3DMIT.


title: The Giant Molecular Cloud G148.24+00.41: Gas Properties, Kinematics, and Cluster Formation at the Nexus of Filamentary Flows

abstract: Filamentary flows toward the centre of molecular clouds have been recognized as a crucial process in the formation and evolution of stellar clusters. In this paper, we present a comprehensive observational study that investigates the gas properties and kinematics of the Giant Molecular Cloud G148.24+00.41 using the observations of CO (1-0) isotopologues. We find that the cloud is massive (10$^5$ M$_\odot$) and is one of the most massive clouds of the outer Galaxy. We identified six likely velocity coherent filaments in the cloud having length, width, and mass in the range of 14$-$38 pc, 2.5$-$4.2 pc, and (1.3$-$6.9) $\times$ 10$^3$ M$_\odot$, respectively. We find that the filaments are converging towards the central area of the cloud, and the longitudinal accretion flows along the filaments are in the range of $\sim$ 26$-$264 M$_\odot$ Myr$^{-1}$. The cloud has fragmented into 7 clumps having mass in the range of $\sim$ 260$-$2100 M$_\odot$ and average size around $\sim$ 1.4 pc, out of which the most massive clump is located at the hub of the filamentary structures, near the geometric centre of the cloud. Three filaments are found to be directly connected to the massive clump and transferring matter at a rate of $\sim$ 675 M$_\odot$ Myr$^{-1}$. The clump hosts a near-infrared cluster. Our results show that large-scale filamentary accretion flows towards the central region of the collapsing cloud is an important mechanism for supplying the matter necessary to form the central high-mass clump and subsequent stellar cluster.


title: Hi-Map: Hierarchical Factorized Radiance Field for High-Fidelity Monocular Dense Mapping

abstract: In this paper, we introduce Hi-Map, a novel monocular dense mapping approach based on Neural Radiance Field (NeRF). Hi-Map is exceptional in its capacity to achieve efficient and high-fidelity mapping using only posed RGB inputs. Our method eliminates the need for external depth priors derived from e.g., a depth estimation model. Our key idea is to represent the scene as a hierarchical feature grid that encodes the radiance and then factorizes it into feature planes and vectors. As such, the scene representation becomes simpler and more generalizable for fast and smooth convergence on new observations. This allows for efficient computation while alleviating noise patterns by reducing the complexity of the scene representation. Buttressed by the hierarchical factorized representation, we leverage the Sign Distance Field (SDF) as a proxy of rendering for inferring the volume density, demonstrating high mapping fidelity. Moreover, we introduce a dual-path encoding strategy to strengthen the photometric cues and further boost the mapping quality, especially for the distant and textureless regions. Extensive experiments demonstrate our method's superiority in geometric and textural accuracy over the state-of-the-art NeRF-based monocular mapping methods.


title: The 4-adic complexity of quaternary sequences with low autocorrelation and high linear complexity

abstract: Recently, Jiang et al. proposed several new classes of quaternary sequences with low autocorrelation and high linear complexity by using the inverse Gray mapping (JAMC, \textbf{69} (2023): 689--706). In this paper, we estimate the 4-adic complexity of these quaternary sequences. Our results show that these sequences have large 4-adic complexity to resist the attack of the rational approximation algorithm.


title: The Dawn After the Dark: An Empirical Study on Factuality Hallucination in Large Language Models

abstract: In the era of large language models (LLMs), hallucination (i.e., the tendency to generate factually incorrect content) poses great challenge to trustworthy and reliable deployment of LLMs in real-world applications. To tackle the LLM hallucination, three key questions should be well studied: how to detect hallucinations (detection), why do LLMs hallucinate (source), and what can be done to mitigate them (mitigation). To address these challenges, this work presents a systematic empirical study on LLM hallucination, focused on the the three aspects of hallucination detection, source and mitigation. Specially, we construct a new hallucination benchmark HaluEval 2.0, and designs a simple yet effective detection method for LLM hallucination. Furthermore, we zoom into the different training or utilization stages of LLMs and extensively analyze the potential factors that lead to the LLM hallucination. Finally, we implement and examine a series of widely used techniques to mitigate the hallucinations in LLMs. Our work has led to several important findings to understand the hallucination origin and mitigate the hallucinations in LLMs. Our code and data can be accessed at https://github.com/RUCAIBox/HaluEval-2.0.


title: A Robbins--Monro Sequence That Can Exploit Prior Information For Faster Convergence

abstract: We propose a new method to improve the convergence speed of the Robbins-Monro algorithm by introducing prior information about the target point into the Robbins-Monro iteration. We achieve the incorporation of prior information without the need of a -- potentially wrong -- regression model, which would also entail additional constraints. We show that this prior-information Robbins-Monro sequence is convergent for a wide range of prior distributions, even wrong ones, such as Gaussian, weighted sum of Gaussians, e.g., in a kernel density estimate, as well as bounded arbitrary distribution functions greater than zero. We furthermore analyse the sequence numerically to understand its performance and the influence of parameters. The results demonstrate that the prior-information Robbins-Monro sequence converges faster than the standard one, especially during the first steps, which are particularly important for applications where the number of function measurements is limited, and when the noise of observing the underlying function is large. We finally propose a rule to select the parameters of the sequence.

categories: cs.LG cs.NA math.NA math.OC math.PR math.ST stat.ME stat.ML stat.TH


title: Sharp Hardy inequalities involving distance functions from submanifolds of Riemannian manifolds

abstract: We establish various Hardy inequalities involving the distance function from submanifolds of Riemannian manifolds, where the natural weights are expressed in terms of bounds of the mean curvature of the submanifold and sectional/Ricci curvature of the ambient Riemannian manifold. Our approach is based on subtle Heintze-Karcher-type Laplace comparisons of the distance function and on a D'Ambrosio-Dipierro-type weak divergence formula for suitable vector fields, providing Barbatis-Filippas-Tertikas-type Hardy inequalities in the curved setting. Under very mild assumptions, we also establish the sharpness and non-existence of extremal functions within the Hardy inequalities and - depending on the geometry of the ambient manifold - their extensibility to various function spaces. Several examples are provided by showing the applicability of our approach; in particular, well-known Hardy inequalities appear as limit cases of our new inequalities.


title: Constructing massive superstring vertex operators from massless vertex operators using the pure spinor formalism

abstract: The vertex operator for the first massive states of the open superstring is constructed in terms of d=10 super Yang-Mills superfields using the OPE's of massless vertex operators in the pure spinor formalism.


title: Random Linear Systems with Quadratic Constraints: from Random Matrix Theory to replicas and back

abstract: I present here a pedagogical introduction to the works by Rashel Tublin and Yan V. Fyodorov on random linear systems with quadratic constraints, using tools from Random Matrix Theory and replicas. These notes illustrate and complement the material presented at the Summer School organised within the Puglia Summer Trimester 2023 in Bari (Italy). Consider a system of $M$ linear equations in $N$ unknowns, $\sum_{j=1}^N A_{kj}x_j=b_k$ for $k=1,\ldots,M$, subject to the constraint that the solutions live on the $N$-sphere, $x_1^2+\ldots + x_N^2=N$. Assume that both the coefficients $A_{ij}$ and the parameters $b_i$ be independent Gaussian random variables with zero mean. Using two different approaches -- based on Random Matrix Theory and on a replica calculation -- it is possible to compute whether a large linear system subject to a quadratic constraint is typically solvable or not, as a function of the ratio $\alpha=M/N$ and the variance $\sigma^2$ of the $b_i$'s. This is done by defining a quadratic loss function $H({\bf x})=\frac{1}{2}\sum_{k=1}^M\left[\sum_{j=1}^NA_{kj} x_j-b_k\right]^2$ and computing the statistics of its minimal value on the sphere, $E_{min}=\min_{||\bf x||^2=N}H({\bf x})$, which is zero if the system is compatible, and larger than zero if it is incompatible. One finds that there exists a compatibility threshold $0<\alpha_c<1$, such that systems with $\alpha>\alpha_c$ are typically incompatible. This means that even weakly under-complete linear systems could become typically incompatible if forced to additionally obey a quadratic constraint.


title: On the stopping time of the Collatz map in $\mathbb{F}_2[x]$

abstract: We study the stopping time of the Collatz map for a polynomial $f \in \mathbb{F}_2[x]$, and bound it by $O({\rm deg} (f)^{1.5})$, improving upon the quadratic bound proven by Hicks, Mullen, Yucas and Zavislak. We also prove the existence arithmetic sequences of unbounded length in the stopping times of certain sequences of polynomials, a phenomenon observed in the classical Collatz map.


title: Some Remarks on the Vector-Valued Variable Exponent Lebesgue Spaces $\ell^{q(\cdot)} (L^{p(\cdot)})$

abstract: In this paper, we investigate the geometric properties of the variable mixed Lebesgue-sequence space $\ell^{q(\cdot)} (L^{p(\cdot)})$ as a Banach space. We show that, if $ 1<q_-,p_-,q_+,p_+<\infty $, then $\ell^{q(\cdot)} (L^{p(\cdot)})$ is strictly convex. We also prove that when $ 1\le q_-,p_-,q_+,p_+<\infty, $ the norm convergence implies measure convergence and the approximation identity holds in the space $ \ell^1(L^{\p\slash\q}) $.


title: Viscosity bounds in liquids with different structure and bonding types

abstract: Recently, it was realised that liquid viscosity has a lower bound which is nearly constant for all liquids and is governed by fundamental physical constants. This was supported by experimental data in noble and molecular liquids. Here, we perform large-scale molecular dynamics simulations to ascertain this bound in two other important liquid types: the ionic molten salt system LiF and metallic Pb. We find that these ionic and metallic systems similarly have lower viscosity bounds corresponding to the minimum of kinematic viscosity of about 10$^{-7}$ $\frac{{\rm m}^2}{\rm s}$. We show that this agrees with experimental data in other systems with different structures and bonding types, including noble, molecular, metallic and covalent liquids. This expands the universality of viscosity bounds into the main system types known.


title: Two formulas for certain double and multiple polylogarithms in two variables

abstract: We give a weighted sum formula for the double polylogarithm in two variables, from which we can recover the classical weighted sum formulas for double zeta values, double $T$-values, and some double $L$-values. Also presented is a connection-type formula for a two-variable multiple polylogarithm, which specializes to previously known single-variable formulas. This identity can also be regarded as a generalization of the renowned five-term relation for the dilogarithm.


title: Understanding Representation Learnability of Nonlinear Self-Supervised Learning

abstract: Self-supervised learning (SSL) has empirically shown its data representation learnability in many downstream tasks. There are only a few theoretical works on data representation learnability, and many of those focus on final data representation, treating the nonlinear neural network as a ``black box". However, the accurate learning results of neural networks are crucial for describing the data distribution features learned by SSL models. Our paper is the first to analyze the learning results of the nonlinear SSL model accurately. We consider a toy data distribution that contains two features: the label-related feature and the hidden feature. Unlike previous linear setting work that depends on closed-form solutions, we use the gradient descent algorithm to train a 1-layer nonlinear SSL model with a certain initialization region and prove that the model converges to a local minimum. Furthermore, different from the complex iterative analysis, we propose a new analysis process which uses the exact version of Inverse Function Theorem to accurately describe the features learned by the local minimum. With this local minimum, we prove that the nonlinear SSL model can capture the label-related feature and hidden feature at the same time. In contrast, the nonlinear supervised learning (SL) model can only learn the label-related feature. We also present the learning processes and results of the nonlinear SSL and SL model via simulation experiments.


title: End-to-End Anti-Backdoor Learning on Images and Time Series

abstract: Backdoor attacks present a substantial security concern for deep learning models, especially those utilized in applications critical to safety and security. These attacks manipulate model behavior by embedding a hidden trigger during the training phase, allowing unauthorized control over the model's output during inference time. Although numerous defenses exist for image classification models, there is a conspicuous absence of defenses tailored for time series data, as well as an end-to-end solution capable of training clean models on poisoned data. To address this gap, this paper builds upon Anti-Backdoor Learning (ABL) and introduces an innovative method, End-to-End Anti-Backdoor Learning (E2ABL), for robust training against backdoor attacks. Unlike the original ABL, which employs a two-stage training procedure, E2ABL accomplishes end-to-end training through an additional classification head linked to the shallow layers of a Deep Neural Network (DNN). This secondary head actively identifies potential backdoor triggers, allowing the model to dynamically cleanse these samples and their corresponding labels during training. Our experiments reveal that E2ABL significantly improves on existing defenses and is effective against a broad range of backdoor attacks in both image and time series domains.


title: Distributed Identification of Stable Large-Scale Isomorphic Nonlinear Networks Using Partial Observations

abstract: Distributed parameter identification for large-scale multi-agent networks encounters challenges due to nonlinear dynamics and partial observations. Simultaneously, ensuring the stability is crucial for the robust identification of dynamic networks, especially under data and model uncertainties. To handle these challenges, this paper proposes a particle consensus-based expectation maximization (EM) algorithm. The E-step proposes a distributed particle filtering approach, using local observations from agents to yield global consensus state estimates. The M-step constructs a likelihood function with an a priori contraction-stabilization constraint for the parameter estimation of isomorphic agents. Performance analysis and simulation results of the proposed method confirm its effectiveness in identifying parameters for stable nonlinear networks.


title: Understanding Large-Language Model (LLM)-powered Human-Robot Interaction

abstract: Large-language models (LLMs) hold significant promise in improving human-robot interaction, offering advanced conversational skills and versatility in managing diverse, open-ended user requests in various tasks and domains. Despite the potential to transform human-robot interaction, very little is known about the distinctive design requirements for utilizing LLMs in robots, which may differ from text and voice interaction and vary by task and context. To better understand these requirements, we conducted a user study (n = 32) comparing an LLM-powered social robot against text- and voice-based agents, analyzing task-based requirements in conversational tasks, including choose, generate, execute, and negotiate. Our findings show that LLM-powered robots elevate expectations for sophisticated non-verbal cues and excel in connection-building and deliberation, but fall short in logical communication and may induce anxiety. We provide design implications both for robots integrating LLMs and for fine-tuning LLMs for use with robots.


title: MiniScope: Automated UI Exploration and Privacy Inconsistency Detection of MiniApps via Two-phase Iterative Hybrid Analysis

abstract: The advent of MiniApps, operating within larger SuperApps, has revolutionized user experiences by offering a wide range of services without the need for individual app downloads. However, this convenience has raised significant privacy concerns, as these MiniApps often require access to sensitive data, potentially leading to privacy violations. Our research addresses the critical gaps in the analysis of MiniApps' privacy practices, especially focusing on WeChat MiniApps in the Android ecosystem. Despite existing privacy regulations and platform guidelines, there is a lack of effective mechanisms to safeguard user privacy fully. We introduce MiniScope, a novel two-phase hybrid analysis approach, specifically designed for the MiniApp environment. This approach overcomes the limitations of existing static analysis techniques by incorporating dynamic UI exploration for complete code coverage and accurate privacy practice identification. Our methodology includes modeling UI transition states, resolving cross-package callback control flows, and automated iterative UI exploration. This allows for a comprehensive understanding of MiniApps' privacy practices, addressing the unique challenges of sub-package loading and event-driven callbacks. Our empirical evaluation of over 120K MiniApps using MiniScope demonstrates its effectiveness in identifying privacy inconsistencies. The results reveal significant issues, with 5.7% of MiniApps over-collecting private data and 33.4% overclaiming data collection. These findings emphasize the urgent need for more precise privacy monitoring systems and highlight the responsibility of SuperApp operators to enforce stricter privacy measures.


title: Hidden charmonium decays of spin-2 partner of $X(3872)$

abstract: The Belle collaboration recently reported a promising candidate for the spin-2 $D^*\bar{D}^*$ partner of the $X(3872)$, called the $X_2$ for short, having a mass of $(4014.3 \pm 4.0 \pm 1.5)~\mathrm{MeV}$ and a width of $(4 \pm 11 \pm 6)~\mathrm{MeV} $. Assuming the $X_2$ as a pure molecule of the $D^*\bar{D}^*$, we calculated in detail the hidden charmonium decays of the $X_2 \to J/\psi V$ and $X_2\to\eta_cP$ via the intermediate meson loops, where $V = \rho^0\,,\omega$ and $P= \pi^0\,,\eta\,,\eta'$. The results indicate that the decay widths are strongly dependent on the $X_2$ mass. At present center value of the mass $4014.3~\mathrm{MeV}$, the width for the $X_2\to J/\psi\rho^0$ is predicted to be a few tens of keV, while it is on the order of $10^{2\text{-}3}~\mathrm{keV}$ for the $X_2\to J/ \psi\omega$; the predicted width for the $X_2\to \eta_c \pi^0$ is about a few keV, while the widths for $X_2\to\eta_c\eta$ and $\eta_c\eta'$ are around a few tens and tenths of keV, respectively. We also investigated the dependence of the ratios between these widths on the $X_2$ mass and on the $\eta$-$\eta'$ mixing angle, which may be good quantities for experiments. We hope that the present calculations would be checked experimentally in the future.


title: MetaISP -- Exploiting Global Scene Structure for Accurate Multi-Device Color Rendition

abstract: Image signal processors (ISPs) are historically grown legacy software systems for reconstructing color images from noisy raw sensor measurements. Each smartphone manufacturer has developed its ISPs with its own characteristic heuristics for improving the color rendition, for example, skin tones and other visually essential colors. The recent interest in replacing the historically grown ISP systems with deep-learned pipelines to match DSLR's image quality improves structural features in the image. However, these works ignore the superior color processing based on semantic scene analysis that distinguishes mobile phone ISPs from DSLRs. Here, we present MetaISP, a single model designed to learn how to translate between the color and local contrast characteristics of different devices. MetaISP takes the RAW image from device A as input and translates it to RGB images that inherit the appearance characteristics of devices A, B, and C. We achieve this result by employing a lightweight deep learning technique that conditions its output appearance based on the device of interest. In this approach, we leverage novel attention mechanisms inspired by cross-covariance to learn global scene semantics. Additionally, we use the metadata that typically accompanies RAW images and estimate scene illuminants when they are unavailable.


title: MirrorDiffusion: Stabilizing Diffusion Process in Zero-shot Image Translation by Prompts Redescription and Beyond

abstract: Recently, text-to-image diffusion models become a new paradigm in image processing fields, including content generation, image restoration and image-to-image translation. Given a target prompt, Denoising Diffusion Probabilistic Models (DDPM) are able to generate realistic yet eligible images. With this appealing property, the image translation task has the potential to be free from target image samples for supervision. By using a target text prompt for domain adaption, the diffusion model is able to implement zero-shot image-to-image translation advantageously. However, the sampling and inversion processes of DDPM are stochastic, and thus the inversion process often fail to reconstruct the input content. Specifically, the displacement effect will gradually accumulated during the diffusion and inversion processes, which led to the reconstructed results deviating from the source domain. To make reconstruction explicit, we propose a prompt redescription strategy to realize a mirror effect between the source and reconstructed image in the diffusion model (MirrorDiffusion). More specifically, a prompt redescription mechanism is investigated to align the text prompts with latent code at each time step of the Denoising Diffusion Implicit Models (DDIM) inversion to pursue a structure-preserving reconstruction. With the revised DDIM inversion, MirrorDiffusion is able to realize accurate zero-shot image translation by editing optimized text prompts and latent code. Extensive experiments demonstrate that MirrorDiffusion achieves superior performance over the state-of-the-art methods on zero-shot image translation benchmarks by clear margins and practical model stability.


title: Resolvent Estimates for the Stokes Operator in Bounded and Exterior $C^1$ Domains

abstract: We establish resolvent estimates in $L^q$ spaces for the Stokes operator in a bounded $C^1$ domain $\Omega$ in $\mathbb{R}^d$. As a corollary, it follows that the Stokes operator generates a bounded analytic semigroup in $L^q(\Omega; \mathbb{C}^d)$ for any $1< q< \infty$ and $d\ge 2$. The case of an exterior $C^1$ domain is also studied.


title: An intelligent sociotechnical systems (iSTS) framework: Toward a sociotechnically-based hierarchical human-centered AI approach

abstract: Insights: - The human-centered AI (HCAI) approach and the sociotechnical systems (STS) theory share the same goal: ensuring that new technologies such as AI best serve humans in a sociotechnical environment. - HCAI practice needs to fully embrace sociotechnical systems thinking, while traditional STS needs to evolve to address the emerging characteristics of AI technology. - We propose a conceptual framework for intelligent sociotechnical systems (iSTS) to enhance traditional STS theory in the AI era. - Based on iSTS, we further propose a sociotechnical-based hierarchical HCAI approach as a paradigmatic extension to existing HCAI practice, further advancing HCAI practice.


title: Bound star clusters observed in a lensed galaxy 460 Myr after the Big Bang

abstract: The Cosmic Gems arc is among the brightest and highly magnified galaxies observed at redshift $z\sim10.2$. However, it is an intrinsically UV faint galaxy, in the range of those now thought to drive the reionization of the Universe. Hitherto the smallest features resolved in a galaxy at a comparable redshift are between a few hundreds and a few tens of parsecs. Here we report JWST observations of the Cosmic Gems. The light of the galaxy is resolved into five star clusters located in a region smaller than 70 parsec. They exhibit minimal dust attenuation and low metallicity, ages younger than 50 Myr and intrinsic masses of $\sim10^6$ M$_{\odot}$. Their lensing-corrected sizes are approximately 1 pc, resulting in stellar surface densities near $10^5$~M$_{\odot}$/pc$^2$, three orders of magnitude higher than typical young star clusters in the local universe. Despite the uncertainties inherent to the lensing model, they are consistent with being gravitationally bound stellar systems, i.e., proto-globular clusters. We conclude that star cluster formation and feedback likely contributed to shape the properties of galaxies during the epoch of reionization. [Abridged]


title: Switchable Photovoltaic Effect in Ferroelectric CsPbBr3 Nanocrystals

abstract: Ferroelectric all-inorganic halide perovskites nanocrystals with both spontaneous polarizations and visible light absorption are promising candidates for designing functional ferroelectric photovoltaic devices. Three dimensional halide perovskite nanocrystals have the potential of being ferroelectric, yet it remains a challenge to realize ferroelectric photovoltaic devices which can be operated in absence of an external electric field. Here we report that a popular all-inorganic halide perovskite nanocrystal, CsPbBr3, exhibits ferroelectricity driven photovoltaic effect under visible light in absence of an external electric field. The ferroelectricity in CsPbBr3 nanocrystals originates from the stereochemical activity in Pb (II) lone pair that promotes the distortion of PbBr6 octahedra. Furthermore, application of an external electric field allows the photovoltaic effect to be enhanced and the spontaneous polarization to be switched with the direction of the electric field. Robust fatigue performance, flexibility and prolonged photoresponse under continuous illumination are potentially realized in the zero-bias conditions. These finding establishes all-inorganic halide perovskites nanocrystals as potential candidates for designing novel photoferroelectric devices by coupling optical functionalities and ferroelectric responses.


title: On 1-bend Upward Point-set Embeddings of $st$-digraphs

abstract: We study the upward point-set embeddability of digraphs on one-sided convex point sets with at most 1 bend per edge. We provide an algorithm to compute a 1-bend upward point-set embedding of outerplanar $st$-digraphs on arbitrary one-sided convex point sets. We complement this result by proving that for every $n \geq 18$ there exists a $2$-outerplanar $st$-digraph $G$ with $n$ vertices and a one-sided convex point set $S$ so that $G$ does not admit a 1-bend upward point-set embedding on $S$.


title: On the Influence of ''Red Leak''of Light Filters on the Brightness Estimates of Stars of Late Spectral Types Illustrated by the Observations of Rapid Variability of Symbiotic Stars

abstract: The results of modeling the dependence of the red leak of photometric filters on various factors (color index V-R, luminosity class, interstellar reddening, airmass and PWV) during observations of stars are presented. The error arising from not taking into account the red leak in the case of filters used on the 0.6-m telescope of the CMO SAI can amount to 0.6-0.8 mag for late stars. Algorithms for reducing observational data are presented for filters U and B. The results of observations of the rapid variability of two symbiotic stars CH Cyg and SU Lyn with cold components of very late spectral types are presented. For CH Cyg, rapid variability was detected on both observation dates. Taking into account the red leak effect, the amplitude in the B band was 0.10 mag on November 6, 2019 and 0.19 mag on December 15, 2022, with a characteristic variability time of about 20 minutes. For SU Lyn, no rapid brightness variability was detected in the B band on February 2, 2023 (with an accuracy of 0.003 mag).


title: Reflected Schr\"odinger Bridge for Constrained Generative Modeling

abstract: Diffusion models have become the go-to method for large-scale generative models in real-world applications. These applications often involve data distributions confined within bounded domains, typically requiring ad-hoc thresholding techniques for boundary enforcement. Reflected diffusion models (Lou23) aim to enhance generalizability by generating the data distribution through a backward process governed by reflected Brownian motion. However, reflected diffusion models may not easily adapt to diverse domains without the derivation of proper diffeomorphic mappings and do not guarantee optimal transport properties. To overcome these limitations, we introduce the Reflected Schrodinger Bridge algorithm: an entropy-regularized optimal transport approach tailored for generating data within diverse bounded domains. We derive elegant reflected forward-backward stochastic differential equations with Neumann and Robin boundary conditions, extend divergence-based likelihood training to bounded domains, and explore natural connections to entropic optimal transport for the study of approximate linear convergence - a valuable insight for practical training. Our algorithm yields robust generative modeling in diverse domains, and its scalability is demonstrated in real-world constrained generative modeling through standard image benchmarks.


title: Autonomous Crowdsensing: Operating and Organizing Crowdsensing for Sensing Automation

abstract: The precise characterization and modeling of Cyber-Physical-Social Systems (CPSS) requires more comprehensive and accurate data, which imposes heightened demands on intelligent sensing capabilities. To address this issue, Crowdsensing Intelligence (CSI) has been proposed to collect data from CPSS by harnessing the collective intelligence of a diverse workforce. Our first and second Distributed/Decentralized Hybrid Workshop on Crowdsensing Intelligence (DHW-CSI) have focused on principles and high-level processes of organizing and operating CSI, as well as the participants, methods, and stages involved in CSI. This letter reports the outcomes of the latest DHW-CSI, focusing on Autonomous Crowdsensing (ACS) enabled by a range of technologies such as decentralized autonomous organizations and operations, large language models, and human-oriented operating systems. Specifically, we explain what ACS is and explore its distinctive features in comparison to traditional crowdsensing. Moreover, we present the ``6A-goal" of ACS and propose potential avenues for future research.


title: FedTGP: Trainable Global Prototypes with Adaptive-Margin-Enhanced Contrastive Learning for Data and Model Heterogeneity in Federated Learning

abstract: Recently, Heterogeneous Federated Learning (HtFL) has attracted attention due to its ability to support heterogeneous models and data. To reduce the high communication cost of transmitting model parameters, a major challenge in HtFL, prototype-based HtFL methods are proposed to solely share class representatives, a.k.a, prototypes, among heterogeneous clients while maintaining the privacy of clients' models. However, these prototypes are naively aggregated into global prototypes on the server using weighted averaging, resulting in suboptimal global knowledge which negatively impacts the performance of clients. To overcome this challenge, we introduce a novel HtFL approach called FedTGP, which leverages our Adaptive-margin-enhanced Contrastive Learning (ACL) to learn Trainable Global Prototypes (TGP) on the server. By incorporating ACL, our approach enhances prototype separability while preserving semantic meaning. Extensive experiments with twelve heterogeneous models demonstrate that our FedTGP surpasses state-of-the-art methods by up to 9.08% in accuracy while maintaining the communication and privacy advantages of prototype-based HtFL. Our code is available at https://github.com/TsingZ0/FedTGP.


title: Stable Marriage with One-Sided Preference

abstract: Many countries around the world, including Korea, use the school choice lottery system. However, this method has a problem in that many students are assigned to less-preferred schools based on the lottery results. In addition, the task of finding a good assignment with ties often has a time complexity of NP, making it a very difficult problem to improve the quality of the assignment. In this paper, we prove that the problem of finding a stable matching that maximizes the student-oriented preference utility in a two-sided market with one-sided preference can be solved in polynomial time, and we verify through experiments that the quality of assignment is improved. The main contributions of this paper are as follows. We found that stable student-oriented allocation in a two-sided market with one-sided preferences is the same as stable allocation in a two-sided market with symmetric preferences. In addition, we defined a method to quantify the quality of allocation from a preference utilitarian perspective. Based on the above two, it was proven that the problem of finding a stable match that maximizes the preference utility in a two-sided market with homogeneous preferences can be reduced to an allocation problem. In this paper, through an experiment, we quantitatively verified that optimal student assignment assigns more students to schools of higher preference, even in situations where many students are assigned to schools of low preference using the existing assignment method.


title: Generalization of the Apollonius theorem for simplices and related problems

abstract: The Apollonius theorem gives the length of a median of a triangle in terms of the lengths of its sides. The straightforward generalization of this theorem obtained for m-simplices in the n-dimensional Euclidean space for n greater than or equal to m is given. Based on this, generalizations of properties related to the medians of a triangle are presented. In addition, applications of the generalized Apollonius' theorem and the related to the medians results, are given for obtaining: (a) the minimal spherical surface that encloses a given simplex or a given bounded set, (b) the thickness of a simplex that it provides a measure for the quality or how well shaped a simplex is, and (c) the convergence and error estimates of the root-finding bisection method applied on simplices.


title: Convergence Rate Maximization for Split Learning-based Control of EMG Prosthetic Devices

abstract: Split Learning (SL) is a promising Distributed Learning approach in electromyography (EMG) based prosthetic control, due to its applicability within resource-constrained environments. Other learning approaches, such as Deep Learning and Federated Learning (FL), provide suboptimal solutions, since prosthetic devices are extremely limited in terms of processing power and battery life. The viability of implementing SL in such scenarios is caused by its inherent model partitioning, with clients executing the smaller model segment. However, selecting an inadequate cut layer hinders the training process in SL systems. This paper presents an algorithm for optimal cut layer selection in terms of maximizing the convergence rate of the model. The performance evaluation demonstrates that the proposed algorithm substantially accelerates the convergence in an EMG pattern recognition task for improving prosthetic device control.


title: Time-Fractional Porous Medium Type Equations. Sharp Time Decay and Regularization

abstract: We consider a class of porous medium type of equations with Caputo time derivative. The prototype problem reads as $\Dc u=-\A u^m$ and is posed on a bounded Euclidean domain $\Omega\subset\mathbb{R}^N$ with zero Dirichlet boundary conditions. The operator $\A$ falls within a wide class of either local or nonlocal operators, and the nonlinearity is allowed to be of degenerate or singular type, namely, $0<m<1$ and $m>1$. This equation is the most general form of a variety of models used to describe anomalous diffusion processes with memory effects, and finds application in various fields, including visco-elastic materials, signal processing, biological systems and geophysical science. We show existence of unique solution and new $L^p-L^\infty$ smoothing effects. The comparison principle, which we provide in the most general setting, serves as a crucial tool in the proof and provides a novel monotonicity formula. Consequently, we establish that the regularizing effects from the diffusion are stronger than the memory effects introduced by the fractional time derivative. Moreover, the solution attains the boundary conditions pointwise. Finally, we prove that the solution does not vanish in finite time if $0<m<1$, unlike the case with the classical time derivative. Indeed, we provide a sharp rate of decay for any $L^p$-norm of the solution for any $m>0$. Our findings indicate that memory effects weaken the spatial diffusion and mitigate the difference between slow and fast diffusion.


title: RAID Organizations for Improved Reliability and Performance: A Not Entirely Unbiased Tutorial (1st revision)

abstract: RAID proposal advocated replacing large disks with arrays of PC disks, but as the capacity of small disks increased 100-fold in 1990s the production of large disks was discontinued. Storage dependability is increased via replication or erasure coding. Cloud storage providers store multiple copies of data obviating for need for further redundancy. Varitaions of RAID based on local recovery codes, partial MDS reduce recovery cost. NAND flash Solid State Disks - SSDs have low latency and high bandwidth, are more reliable, consume less power and have a lower TCO than Hard Disk Drives, which are more viable for hyperscalers.


title: Challenges of Data-Driven Simulation of Diverse and Consistent Human Driving Behaviors

abstract: Building simulation environments for developing and testing autonomous vehicles necessitates that the simulators accurately model the statistical realism of the real-world environment, including the interaction with other vehicles driven by human drivers. To address this requirement, an accurate human behavior model is essential to incorporate the diversity and consistency of human driving behavior. We propose a mathematical framework for designing a data-driven simulation model that simulates human driving behavior more realistically than the currently used physics-based simulation models. Experiments conducted using the NGSIM dataset validate our hypothesis regarding the necessity of considering the complexity, diversity, and consistency of human driving behavior when aiming to develop realistic simulators.


title: A New Parallel Cooperative Landscape Smoothing Algorithm and Its Applications on TSP and UBQP

abstract: Combinatorial optimization problem (COP) is difficult to solve because of the massive local optimal solutions in his solution space. Various methods have been put forward to smooth the solution space of COPs, including homotopic convex (HC) transformation for the traveling salesman problem (TSP). This paper first extends the HC transformation approach to the unconstrained binary quadratic programming (UBQP). We theoretically prove the effectiveness of the proposed HC transformation method on smoothing the landscape of the UBQP. Subsequently, we introduce an iterative algorithmic framework incorporating HC transformation, referred as landscape smoothing iterated local search (LSILS). Our experimental analyses, conducted on various UBQP instances show the effectiveness of LSILS. Furthermore, this paper proposes a parallel cooperative variant of LSILS, denoted as PC-LSILS and apply it to both the UBQP and the TSP. Our experimental findings highlight that PC-LSILS improves the smoothing performance of the HC transformation, and further improves the overall performance of the algorithm.


title: Using Large Language Models to Assess Tutors' Performance in Reacting to Students Making Math Errors

abstract: Research suggests that tutors should adopt a strategic approach when addressing math errors made by low-efficacy students. Rather than drawing direct attention to the error, tutors should guide the students to identify and correct their mistakes on their own. While tutor lessons have introduced this pedagogical skill, human evaluation of tutors applying this strategy is arduous and time-consuming. Large language models (LLMs) show promise in providing real-time assessment to tutors during their actual tutoring sessions, yet little is known regarding their accuracy in this context. In this study, we investigate the capacity of generative AI to evaluate real-life tutors' performance in responding to students making math errors. By analyzing 50 real-life tutoring dialogues, we find both GPT-3.5-Turbo and GPT-4 demonstrate proficiency in assessing the criteria related to reacting to students making errors. However, both models exhibit limitations in recognizing instances where the student made an error. Notably, GPT-4 tends to overidentify instances of students making errors, often attributing student uncertainty or inferring potential errors where human evaluators did not. Future work will focus on enhancing generalizability by assessing a larger dataset of dialogues and evaluating learning transfer. Specifically, we will analyze the performance of tutors in real-life scenarios when responding to students' math errors before and after lesson completion on this crucial tutoring skill.


title: Reflections on Inductive Thematic Saturation as a potential metric for measuring the validity of an inductive Thematic Analysis with LLMs

abstract: This paper presents a set of reflections on saturation and the use of Large Language Models (LLMs) for performing Thematic Analysis (TA). The paper suggests that initial thematic saturation (ITS) could be used as a metric to assess part of the transactional validity of TA with LLM, focusing on the initial coding. The paper presents the initial coding of two datasets of different sizes, and it reflects on how the LLM reaches some form of analytical saturation during the coding. The procedure proposed in this work leads to the creation of two codebooks, one comprising the total cumulative initial codes and the other the total unique codes. The paper proposes a metric to synthetically measure ITS using a simple mathematical calculation employing the ratio between slopes of cumulative codes and unique codes. The paper contributes to the initial body of work exploring how to perform qualitative analysis with LLMs.


title: Interpreting Adaptive Gradient Methods by Parameter Scaling for Learning-Rate-Free Optimization

abstract: We address the challenge of estimating the learning rate for adaptive gradient methods used in training deep neural networks. While several learning-rate-free approaches have been proposed, they are typically tailored for steepest descent. However, although steepest descent methods offer an intuitive approach to finding minima, many deep learning applications require adaptive gradient methods to achieve faster convergence. In this paper, we interpret adaptive gradient methods as steepest descent applied on parameter-scaled networks, proposing learning-rate-free adaptive gradient methods. Experimental results verify the effectiveness of this approach, demonstrating comparable performance to hand-tuned learning rates across various scenarios. This work extends the applicability of learning-rate-free methods, enhancing training with adaptive gradient methods.


title: Galilei particles revisited

abstract: We revisit the classifications of classical and quantum galilean particles: that is, we fully classify homogeneous symplectic manifolds and unitary irreducible projective representations of the Galilei group. Equivalently, these are coadjoint orbits and unitary irreducible representations of the Bargmann group, the universal central extension of the Galilei group. We provide an action principle in each case, discuss the nonrelativistic limit, as well as exhibit, whenever possible, the unitary irreducible representations in terms of fields on Galilei spacetime. Motivated by a forthcoming study of planons we pay close attention to the mobility of the less familiar massless Galilei particles.


title: $L_{2+}$ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming

abstract: This paper is concerned with the analysis of the $L_{2}$ induced norm of continuous-time LTI systems where the input signals are restricted to be nonnegative. This induced norm is referred to as the $L_{2+}$ induced norm in this paper. It has been shown very recently that the $L_{2+}$ induced norm is particularly useful for the stability analysis of nonlinear feedback systems constructed from linear systems and static nonlinearities where the nonlinear elements only provide nonnegative signals. For the upper bound computation of the $L_{2+}$ induced norm, an approach with copositive programming has also been proposed. It is nonetheless true that this approach becomes effective only for multi-input systems, and for single-input systems this approach does not bring any improvement over the trivial upper bound, the standard $L_2$ norm. To overcome this difficulty, we newly introduce positive filters to increase the number of positive signals. This enables us to enlarge the size of the copositive multipliers so that we can obtain better (smaller) upper bounds with copositive programming.


title: Electroweak parameters from mixed SU(2) Yang-Mills Thermodynamics

abstract: Based on the thermal phase structure of pure SU(2) quantum Yang-Mills theory, we describe the electron at rest as an extended particle, a so-called blob of radius $r_0$ which is comparable to the Bohr radius $a_0$. This blob is of vanishing pressure and traps an electric-magnetic dually interpreted BPS monopole within its bulk at a temperature of $T_0=7.95$ keV. Utilizing a spherical mirror-charge construction, we approximate the blob's charge at a value of the electromagnetic fine-structure constant $\alpha$ of $\alpha^{-1}\sim 134$ for soft external probes. It is shown that the blob does not exhibit an electric dipole or quadrupole moment. We also calculate the mixing angle $\theta_{\rm W}\sim 30^{\circ}$ belonging to the deconfining phases of two SU(2) gauge theories of very distinct Yang-Mills scales ($\Lambda_{\rm e}=3.6 $ keV and $\Lambda_{\rm CMB}\sim 10^{-4} $eV) which establish the blob's stable bulk thermodynamics. The core radius of the monopole is about 1 % of $r_0$.


title: Artificial Intelligence for Operations Research: Revolutionizing the Operations Research Process

abstract: The rapid advancement of artificial intelligence (AI) techniques has opened up new opportunities to revolutionize various fields, including operations research (OR). This survey paper explores the integration of AI within the OR process (AI4OR) to enhance its effectiveness and efficiency across multiple stages, such as parameter generation, model formulation, and model optimization. By providing a comprehensive overview of the state-of-the-art and examining the potential of AI to transform OR, this paper aims to inspire further research and innovation in the development of AI-enhanced OR methods and tools. The synergy between AI and OR is poised to drive significant advancements and novel solutions in a multitude of domains, ultimately leading to more effective and efficient decision-making.


title: Deep learning algorithms for FBSDEs with jumps: Applications to option pricing and a MFG model for smart grids

abstract: In this paper, we introduce various machine learning solvers for (coupled) forward-backward systems of stochastic differential equations (FBSDEs) driven by a Brownian motion and a Poisson random measure. We provide a rigorous comparison of the different algorithms and demonstrate their effectiveness in various applications, such as cases derived from pricing with jumps and mean-field games. In particular, we show the efficiency of the deep-learning algorithms to solve a coupled multi-dimensional FBSDE system driven by a time-inhomogeneous jump process with stochastic intensity, which describes the Nash equilibria for a specific mean-field game (MFG) problem for which we also provide the complete theoretical resolution. More precisely, we develop an extension of the MFG model for smart grids introduced in Alasseur, Campi, Dumitrescu and Zeng (Annals of Operations Research, 2023) to the case when the random jump times correspond to the jump times of a doubly Poisson process. We first provide an existence result of an equilibria and derive its semi-explicit characterization in terms of a system of FBSDEs in the linear-quadratic setting. We then compare the MFG solution to the optimal strategy of a central planner and provide several numerical illustrations using the deep-learning solvers presented in the first part of the paper.


title: SeqNAS: Neural Architecture Search for Event Sequence Classification

abstract: Neural Architecture Search (NAS) methods are widely used in various industries to obtain high quality taskspecific solutions with minimal human intervention. Event Sequences find widespread use in various industrial applications including churn prediction customer segmentation fraud detection and fault diagnosis among others. Such data consist of categorical and real-valued components with irregular timestamps. Despite the usefulness of NAS methods previous approaches only have been applied to other domains images texts or time series. Our work addresses this limitation by introducing a novel NAS algorithm SeqNAS specifically designed for event sequence classification. We develop a simple yet expressive search space that leverages commonly used building blocks for event sequence classification including multihead self attention convolutions and recurrent cells. To perform the search we adopt sequential Bayesian Optimization and utilize previously trained models as an ensemble of teachers to augment knowledge distillation. As a result of our work we demonstrate that our method surpasses state of the art NAS methods and popular architectures suitable for sequence classification and holds great potential for various industrial applications.


title: Quantum Noise Limited Phased Arrays for Single-Electron Cyclotron Radiation Emission Spectroscopy

abstract: Neutrino oscillation experiments show that neutrinos have mass; however, the absolute mass scale is exceedingly difficult to measure and is currently unknown. A promising approach is to measure the energies of the electrons released during the radioactive decay of tritium. The energies of interest are within a few eV of the 18.6 keV end point, and so are mildly relativistic. By capturing the electrons in a static magnetic field and measuring the frequency of the cyclotron radiation emitted the initial energy can be determined, but end-point events are infrequent, the observing times short, and the signal to noise ratios low. To achieve a resolution of $<$ 10 meV, single-electron emission spectra need to be recorded over large fields of view with highly sensitive receivers. The principles of Cylotron Radiation Emission Spectroscopy (CRES) have already been demonstrated by Project 8, and now there is considerable interest in increasing the FoV to $>$ 0.1 m$^3$. We consider a range of issues relating to the design and optimisation of inward-looking quantum-noise-limited microwave receivers for single-electron CRES, and present a single framework for understanding signal, noise and system-level behaviour. Whilst there is a great deal of literature relating to the design of outward-looking phased arrays for applications such as radar and telecommunications, there is very little coverage of the new issues that come into play when designing ultra-sensitive inward-looking phased arrays for volumetric spectroscopy and imaging.


title: Neuronal Temporal Filters as Normal Mode Extractors

abstract: To generate actions in the face of physiological delays, the brain must predict the future. Here we explore how prediction may lie at the core of brain function by considering a neuron predicting the future of a scalar time series input. Assuming that the dynamics of the lag vector (a vector composed of several consecutive elements of the time series) are locally linear, Normal Mode Decomposition decomposes the dynamics into independently evolving (eigen-)modes allowing for straightforward prediction. We propose that a neuron learns the top mode and projects its input onto the associated subspace. Under this interpretation, the temporal filter of a neuron corresponds to the left eigenvector of a generalized eigenvalue problem. We mathematically analyze the operation of such an algorithm on noisy observations of synthetic data generated by a linear system. Interestingly, the shape of the temporal filter varies with the signal-to-noise ratio (SNR): a noisy input yields a monophasic filter and a growing SNR leads to multiphasic filters with progressively greater number of phases. Such variation in the temporal filter with input SNR resembles that observed experimentally in biological neurons.


title: Condition numbers for real eigenvalues of real elliptic ensemble: weak non-normality at the edge

abstract: Sensitivity of an eigenvalue $\lambda_i$ to the perturbation of matrix elements is controlled by the eigenvalue condition number defined as $\kappa_i = \sqrt{\left< L_i | L_i\right> \left< R_i|R_i \right> }$, where $\left<L_i\right|$ and $\left|R_i\right>$ are left and right eigenvectors to the eigenvalue $\lambda_i$. In Random Matrix Theory the squared eigenvalue condition number is also known as the eigenvector self-overlap. In this work we calculate the asymptotics of the joint probability density function of the real eigenvalue and the square of the corresponding eigenvalue condition number for the real elliptic ensemble in the double scaling regime of almost Hermiticity and close to the edge of the spectrum. As a byproduct, we also calculate the one-parameter deformation of the Scorer's function.


title: Interpersonal Relationship Analysis with Dyadic EEG Signals via Learning Spatial-Temporal Patterns

abstract: Interpersonal relationship quality is pivotal in social and occupational contexts. Existing analysis of interpersonal relationships mostly rely on subjective self-reports, whereas objective quantification remains challenging. In this paper, we propose a novel social relationship analysis framework using spatio-temporal patterns derived from dyadic EEG signals, which can be applied to quantitatively measure team cooperation in corporate team building, and evaluate interpersonal dynamics between therapists and patients in psychiatric therapy. First, we constructed a dyadic-EEG dataset from 72 pairs of participants with two relationships (stranger or friend) when watching emotional videos simultaneously. Then we proposed a deep neural network on dyadic-subject EEG signals, in which we combine the dynamic graph convolutional neural network for characterizing the interpersonal relationships among the EEG channels and 1-dimension convolution for extracting the information from the time sequence. To obtain the feature vectors from two EEG recordings that well represent the relationship of two subjects, we integrate deep canonical correlation analysis and triplet loss for training the network. Experimental results show that the social relationship type (stranger or friend) between two individuals can be effectively identified through their EEG data.


title: TeLeS: Temporal Lexeme Similarity Score to Estimate Confidence in End-to-End ASR

abstract: Confidence estimation of predictions from an End-to-End (E2E) Automatic Speech Recognition (ASR) model benefits ASR's downstream and upstream tasks. Class-probability-based confidence scores do not accurately represent the quality of overconfident ASR predictions. An ancillary Confidence Estimation Model (CEM) calibrates the predictions. State-of-the-art (SOTA) solutions use binary target scores for CEM training. However, the binary labels do not reveal the granular information of predicted words, such as temporal alignment between reference and hypothesis and whether the predicted word is entirely incorrect or contains spelling errors. Addressing this issue, we propose a novel Temporal-Lexeme Similarity (TeLeS) confidence score to train CEM. To address the data imbalance of target scores while training CEM, we use shrinkage loss to focus on hard-to-learn data points and minimise the impact of easily learned data points. We conduct experiments with ASR models trained in three languages, namely Hindi, Tamil, and Kannada, with varying training data sizes. Experiments show that TeLeS generalises well across domains. To demonstrate the applicability of the proposed method, we formulate a TeLeS-based Acquisition (TeLeS-A) function for sampling uncertainty in active learning. We observe a significant reduction in the Word Error Rate (WER) as compared to SOTA methods.


title: New Lower Bounds for the Schur-Siegel-Smyth Trace Problem

abstract: We derive and implement a new way to find lower bounds on the smallest limiting trace-to-degree ratio of totally positive algebraic integers and improve the previously best-known bound to 1.798249. Our method adds new constraints to Smyth's linear programming method to decrease the variables required in the new problem of interest. This allows for faster convergence recovering Schur's bound in the simplest case and Siegel's bound in the second simplest case of our new family of bounds. We also prove the existence of a unique optimal solution to our newly phrased problem and express the optimal solution in terms of polynomials. Lastly, we solve this new problem numerically with a gradient descent algorithm to attain the new bound 1.798249.


title: VLLaVO: Mitigating Visual Gap through LLMs

abstract: Recent advances achieved by deep learning models rely on the independent and identically distributed assumption, hindering their applications in real-world scenarios with domain shifts. To tackle this issue, cross-domain learning aims at extracting domain-invariant knowledge to reduce the domain shift between training and testing data. However, in visual cross-domain learning, traditional methods concentrate solely on the image modality, disregarding the potential benefits of incorporating the text modality. In this work, we propose VLLaVO, combining Vision language models and Large Language models as Visual cross-dOmain learners. VLLaVO uses vision-language models to convert images into detailed textual descriptions. A large language model is then finetuned on textual descriptions of the source/target domain generated by a designed instruction template. Extensive experimental results under domain generalization and unsupervised domain adaptation settings demonstrate the effectiveness of the proposed method.


title: Preferential orientation of floaters drifting in water waves

abstract: Elongated floaters drifting in propagating water waves slowly rotate towards a preferential state of orientation. Short and heavy floaters tend to align longitudinally, along the direction of wave propagation, whereas long and light floaters align transversely, parallel to the wave crests and troughs. We investigate this phenomenon for homogeneous parallelepiped floaters by combining laboratory experiments with numerical simulations and asymptotic theory. For floaters small with respect to wavelength and for low amplitude waves, we show that the floater orientation is controlled by the non-dimensional number $F = k L_x^2 / \beta L_z$, with $k$ is the wavenumber, $\beta$ the floater-to-water density ratio, and $L_x$ and $L_z$ the floater length and thickness. Theory places the longitudinal-transverse transition at the critical value $F_c = 60$, in fair agreement with the experiments. Using a simplified physical model, we elucidate the physical origin of the preferential orientation. Through its motion, the floater probes the velocity gradients along its surface. Next to a small mean displacement (Stokes drift), this results in a net torque which, for short floaters, always favors the longitudinal orientation. This net torque arises from a phase correlation between the instantaneous buoyancy torque and the instantaneous yaw angle of the floater, a mechanism analogous to the Kapitza pendulum. The transverse equilibrium of longer floaters has a different origin and arises from the variation of the submersion depth along their long axis. This varying submersion significantly increases the torque in the trough positions, when the tips are more submersed, and always pushes towards the transverse orientation.


title: Near-Earth Object Observations using Synthetic Tracking

abstract: Synthetic tracking (ST) has emerged as a potent technique for observing fast-moving near-Earth objects (NEOs), offering enhanced detection sensitivity and astrometric accuracy by avoiding trailing loss. This approach also empowers small telescopes to use prolonged integration times to achieve high sensitivity for NEO surveys and follow-up observations. In this study, we present the outcomes of ST observations conducted with Pomona College's 1 m telescope at the Table Mountain Facility and JPL's robotic telescopes at the Sierra Remote Observatory. The results showcase astrometric accuracy statistics comparable to stellar astrometry, irrespective of an object's rate of motion, and the capability to detect faint asteroids beyond 20.5th magnitude using 11-inch telescopes. Furthermore, we detail the technical aspects of data processing, including the correction of differential chromatic refraction in the atmosphere and accurate timing for image stacking, which contribute to achieving precise astrometry. We also provide compelling examples that showcase the robustness of ST even when asteroids closely approach stars or bright satellites cause disturbances. Moreover, we illustrate the proficiency of ST in recovering NEO candidates with highly uncertain ephemerides. As a glimpse of the potential of NEO surveys utilizing small robotic telescopes with ST, we present significant statistics from our NEO survey conducted for testing purposes. These findings underscore the promise and effectiveness of ST as a powerful tool for observing fast-moving NEOs, offering valuable insights into their trajectories and characteristics. Overall, the adoption of ST stands to revolutionize fast-moving NEO observations for planetary defense and studying these celestial bodies.


title: An Incrementally Expanding Approach for Updating PageRank on Dynamic Graphs

abstract: PageRank is a popular centrality metric that assigns importance to the vertices of a graph based on its neighbors and their score. Efficient parallel algorithms for updating PageRank on dynamic graphs is crucial for various applications, especially as dataset sizes have reached substantial scales. This technical report presents our Dynamic Frontier approach. Given a batch update of edge deletion and insertions, it progressively identifies affected vertices that are likely to change their ranks with minimal overhead. On a server equipped with a 64-core AMD EPYC-7742 processor, our Dynamic Frontier PageRank outperforms Static, Naive-dynamic, and Dynamic Traversal PageRank by 7.8x, 2.9x, and 3.9x respectively - on uniformly random batch updates of size 10^-7 |E| to 10^-3 |E|. In addition, our approach improves performance at an average rate of 1.8x for every doubling of threads.


title: RustNeRF: Robust Neural Radiance Field with Low-Quality Images

abstract: Recent work on Neural Radiance Fields (NeRF) exploits multi-view 3D consistency, achieving impressive results in 3D scene modeling and high-fidelity novel-view synthesis. However, there are limitations. First, existing methods assume enough high-quality images are available for training the NeRF model, ignoring real-world image degradation. Second, previous methods struggle with ambiguity in the training set due to unmodeled inconsistencies among different views. In this work, we present RustNeRF for real-world high-quality NeRF. To improve NeRF's robustness under real-world inputs, we train a 3D-aware preprocessing network that incorporates real-world degradation modeling. We propose a novel implicit multi-view guidance to address information loss during image degradation and restoration. Extensive experiments demonstrate RustNeRF's advantages over existing approaches under real-world degradation. The code will be released.


title: The Iwasawa invariants of $\mathbb{Z}_p^{\,d}$-covers of links

abstract: Let $p$ be a prime number and let $d\in \mathbb{Z}_{>0}$. In this paper, following the analogy between knots and primes, we study the $p$-torsion growth in a compatible system of $(\mathbb{Z}/p^n\mathbb{Z})^d$-covers of 3-manifolds and establish several analogues of Cuoco--Monsky's multivariable versions of Iwasawa's class number formula. Our main goal is to establish the Cuoco--Monsky type formula for branched covers of links in rational homology 3-spheres. In addition, we prove the precise formula over integral homology 3-spheres prompted by Greenberg's conjecture. We also obtain results on reduced Alexander polynomials and on the Betti number periodicity. Furthermore, we investigate the twisted Whitehead links in $S^3$ and point out that the Iwasawa $\mu$-invariant of a $\mathbb{Z}_p^{\,2}$-cover can be an arbitrary non-negative integer. We also calculate the Iwasawa $\mu$ and $\lambda$-invariants of the Alexander polynomials of all links in Rolfsen's table.


title: Towards the "puzzle" of Chromium dimer Cr$_2$: predicting the Born-Oppenheimer rovibrational spectrum

abstract: The experimentally-observed non-trivial electronic structure of Cr$_2$ dimer has made the calculation of the potential energy curve a theoretical challenge in the last decades. By matching the perturbation theory at small internuclear distances $R$, the multipole expansion at large distances $R$ (supposedly both of asymptotic nature) and by adding a few RKR turning points, extracted from experimental data, the analytic form for the potential energy curve for the ground state $X^1\Sigma^+$ of the Cr$_2$ dimer is found for the whole range of internuclear distances $R$. This has the form of a two-point Pade approximant and provides an accuracy of 3-4 decimal digits in 29 experimental vibrational energies. The resulting ground state $X^1\Sigma^+$ potential curve supports 19694 rovibrational states with a maximal vibrational number $\nu_\text{max}=104$ at zero angular momentum and with a maximal angular momentum $L_\text{max}=312$ with energies $> 10^{-4}$ Hartree, and additionally 218 weakly-bound states (close to the dissociation limit) with energies $< 10^{-4}$ Hartree.

categories: physics.chem-ph physics.atm-clus physics.atom-ph quant-ph


title: Completeness in local positive logic

abstract: We develop the basic model theory of local positive logic, a new logic that mixes positive logic (where negation is not allowed) and local logic (where models omit types of infinite distant pairs). We study several basic model theoretic notions such as compactness, positive closedness (existential closedness) and completeness (irreducibility).


title: The X-ray high-energy cutoff in Compact Symmetric Object Mrk 348

abstract: Compact radio AGN are thought to be young radio active galactic nuclei (AGN) at the early stage of AGN evolution, thus are ideal laboratory to study the high-energy emission throughout the evolution of radio AGN. In this work, we report for the first time the detection of the high-energy cutoff ($E_{\rm cut}$), a direct indicator of thermal coronal radiation, of X-ray emission in Mrk 348 ($z$ = 0.015), a young radio galaxy classified as compact symmetric object. With a 100 ks NuSTAR exposure, we find that the high-energy cutoff ($E_{\rm cut}$ ) is firmly detected ($218^{+124}_{-62}$ keV). Fitting with various Comptonization models indicates the presence of a hot corona with temperature $kT_{\rm e}$ = 35 -- 40 keV. These strongly support the corona origin for its hard X-ray emission. The comparison in the $E_{\rm cut}$ -- spectra index $\Gamma$ plot of Mrk 348 with normal large-scale radio galaxies (mostly FR II) yields no difference between them. This suggests the corona properties in radio sources may not evolve over time (i.e., from the infant stage to mature stage), which is to-be-confirmed with future sample studies of young radio AGN.


title: Group Activity Recognition using Unreliable Tracked Pose

abstract: Group activity recognition in video is a complex task due to the need for a model to recognise the actions of all individuals in the video and their complex interactions. Recent studies propose that optimal performance is achieved by individually tracking each person and subsequently inputting the sequence of poses or cropped images/optical flow into a model. This helps the model to recognise what actions each person is performing before they are merged to arrive at the group action class. However, all previous models are highly reliant on high quality tracking and have only been evaluated using ground truth tracking information. In practice it is almost impossible to achieve highly reliable tracking information for all individuals in a group activity video. We introduce an innovative deep learning-based group activity recognition approach called Rendered Pose based Group Activity Recognition System (RePGARS) which is designed to be tolerant of unreliable tracking and pose information. Experimental results confirm that RePGARS outperforms all existing group activity recognition algorithms tested which do not use ground truth detection and tracking information.


title: Size Minimization For Multi-Output AND-Functions

abstract: Recent improvements in adder optimization could be achieved by optimizing the AND-trees occurring within the constructed circuits. The overlap of such trees and its potential for pure size optimization has not been taken into account though. Motivated by this, we examine the fundamental problem of minimizing the size of a circuit for multiple AND-functions on intersecting variable sets. Our formulation generalizes the overlapping \AND-trees within adder optimization but is in NP, in contrast to general Boolean circuit optimization which is in $\Sigma_2^p$ (and thus suspected not to be in NP). While restructuring the AND- or XOR-trees simultaneously, we optimize the total number of gates needed for all functions to be computed. We show that this problem is APX-hard already for functions of few variables and present efficient approximation algorithms for the case in which the Boolean functions depend on at most 3 or 4 variables each, achieving guarantees of $\frac 43$ and $1.9$, respectively. To conclude, we give a polynomial approximation algorithm with guarantee $\frac 23k$ for AND-functions of up to $k$ variables. To achieve these results, the key technique is to determine how much overlap among the variable sets makes tree construction cheap and how little makes the optimum solution large.


title: Charge-breaking domain walls separating neutral vacua in multi-Higgs models

abstract: The scalar potential of a multi-Higgs model can possess a rich structure of minima and saddle points, which evolves in an intricate way as the parameters change. In the hot early Universe, it could trigger multi-step phase transitions, with exotic intermediate phases and peculiar domain wall configurations. Here, we provide a glimpse into this richness with the example of the three-Higgs-doublet model with the symmetry group $\Sigma(36)$, either exact or softly broken. We present its phase diagram tracking not only the global minimum but all of its extrema. In particular, we reveal parameter space regions in which the deepest saddle point is charge breaking. This naturally leads to phase transitions between neutral vacua which involve expanding and colliding charge-breaking bubble walls. We also comment on opportunities of multi-step phase transitions, on charge-breaking intermediate phases, and on phase transitions between different charge-breaking vacua. We illustrate the general discussion with two benchmark models, one of which possesses competing saddle points and allows for emergence of bubbles of the same true vacuum but with bubble walls of different nature. The intriguing cosmological implications of all these possibilities deserve dedicated study.


title: Finite Hilbert systems for Weak Kleene logics

abstract: Multiple-conclusion Hilbert-style systems allow us to finitely axiomatize every logic defined by a finite matrix. Having obtained such axiomatizations for Paraconsistent Weak Kleene and Bochvar-Kleene logics, we modify them by replacing the multiple-conclusion rules with carefully selected single-conclusion ones. In this way we manage to introduce the first finite Hilbert-style single-conclusion axiomatizations for these logics.


title: Millikelvin confocal microscope with free-space access and high-frequency electrical control

abstract: Cryogenic confocal microscopy is a powerful method for studying solid state quantum devices such as single photon sources and optically controlled qubits. While the vast majority of such studies have been conducted at temperatures of a few Kelvin, experiments involving fragile quantum effects often require lower operating temperatures. To also allow for electrical dynamic control, microwave connectivity is required. For polarization-sensitive studies, free space optical access is advantageous compared to fiber coupling. Here we present a confocal microscope in a dilution refrigerator providing all the above features at temperatures below 100 mK. The installed high frequency cabling meets the requirements for state of the art spin qubit experiments. As another unique advantage of our system, the sample fitting inside a large puck can be exchanged while keeping the cryostat cold with minimal realignment. Assessing the performance of the instrument, we demonstrate confocal imaging, sub-nanosecond modulation of the emission wavelength of a suitable sample and an electron temperature of 76 mK. While the instrument was constructed primarily with the development of optical interfaces to electrically controlled qubits in mind, it can be used for many experiments involving quantum transport, solid state quantum optics and microwave-optical transducers.


title: Autonomous Navigation in Complex Environments

abstract: This paper explores the application of CNN-DNN network fusion to construct a robot navigation controller within a simulated environment. The simulated environment is constructed to model a subterranean rescue situation, such that an autonomous agent is tasked with finding a goal within an unknown cavernous system. Imitation learning is used to train the control algorithm to use LiDAR and camera data to navigate the space and find the goal. The trained model is then tested for robustness using Monte-Carlo.


title: Adaptive Randomization Methods for Sequential Multiple Assignment Randomized Trials (SMARTs) via Thompson Sampling

abstract: Response-adaptive randomization (RAR) has been studied extensively in conventional, single-stage clinical trials, where it has been shown to yield ethical and statistical benefits, especially in trials with many treatment arms. However, RAR and its potential benefits are understudied in sequential multiple assignment randomized trials (SMARTs), which are the gold-standard trial design for evaluation of multi-stage treatment regimes. We propose a suite of RAR algorithms for SMARTs based on Thompson Sampling (TS), a widely used RAR method in single-stage trials in which treatment randomization probabilities are aligned with the estimated probability that the treatment is optimal. We focus on two common objectives in SMARTs: (i) comparison of the regimes embedded in the trial, and (ii) estimation of an optimal embedded regime. We develop valid post-study inferential procedures for treatment regimes under the proposed algorithms. This is nontrivial, as (even in single-stage settings) RAR can lead to nonnormal limiting distributions of estimators. Our algorithms are the first for RAR in multi-stage trials that account for nonregularity in the estimand. Empirical studies based on real-world SMARTs show that TS can improve in-trial subject outcomes without sacrificing efficiency for post-trial comparisons.


title: Prethermalization in an open quantum system coupled to a spatially correlated Bosonic bath

abstract: A nearly-integrable isolated quantum many-body system reaches a quasi-stationary prethermal state before a late thermalization. Here, we revisit a particular example in the settings of an open quantum system. We consider a collection of non-interacting atoms coupled to a spatially correlated bosonic bath characterized by a bath correlation length. Our result implies that the integrability of the system depends on such a correlation length. If this length is much larger than the distance between the atoms, such a system behaves as a nearly integrable open quantum system. We study the properties of the emerging prethermal state for this case, i.e., the state's lifetime, the extensive numbers of existing quasi-conserved quantities, the emergence of the generalized Gibbs state, and the scaling of von Neumann entropy, etc. We find that for the prethermal state, the maximum growth of entropy is logarithmic with the number of atoms, whereas such growth is linear for the final steady state, which is the Gibbs state in this case. Finally, we discuss how such prethermal states can have significant applications in quantum entanglement storage devices.


title: Homogenization of Smoluchowski-type equations with transmission boundary conditions

abstract: In this work, we prove a two-scale homogenization result for a set of diffusion-coagulation Smoluchowski-type equations with transmission boundary conditions. This system is meant to describe the aggregation and diffusion of pathological tau proteins in the cerebral tissue, a process associated with the onset and evolution of a large variety of tauopathies (such as Alzheimer's disease). We prove the existence, positivity and boundedness of solutions to the model equations derived at the microscale (that is the scale of single neurons). Then, we study the convergence of the homogenization process to the solution of a macro-model asymptotically consistent with the microscopic one.


title: Analysis and Validation of Image Search Engines in Histopathology

abstract: Searching for similar images in archives of histology and histopathology images is a crucial task that may aid in patient matching for various purposes, ranging from triaging and diagnosis to prognosis and prediction. Whole slide images (WSIs) are highly detailed digital representations of tissue specimens mounted on glass slides. Matching WSI to WSI can serve as the critical method for patient matching. In this paper, we report extensive analysis and validation of four search methods bag of visual words (BoVW), Yottixel, SISH, RetCCL, and some of their potential variants. We analyze their algorithms and structures and assess their performance. For this evaluation, we utilized four internal datasets ($1269$ patients) and three public datasets ($1207$ patients), totaling more than $200,000$ patches from $38$ different classes/subtypes across five primary sites. Certain search engines, for example, BoVW, exhibit notable efficiency and speed but suffer from low accuracy. Conversely, search engines like Yottixel demonstrate efficiency and speed, providing moderately accurate results. Recent proposals, including SISH, display inefficiency and yield inconsistent outcomes, while alternatives like RetCCL prove inadequate in both accuracy and efficiency. Further research is imperative to address the dual aspects of accuracy and minimal storage requirements in histopathological image search.


title: Prospects for testing CPT and Lorentz symmetry with deuterium ground-state Zeeman-hyperfine transitions

abstract: This work presents a model for testing Lorentz and CPT symmetry through sidereal-variation studies of the hyperfine-Zeeman deuterium ground-state transition frequencies. It represents an advancement over previous models by using a well-established deuteron wave-function parametrization to calculate contributions from nucleon Lorentz-violating operators toward the Lorentz-violating frequency shift. Furthermore, this work extends the analysis beyond the zeroth-boost order previously considered. This study centers on deuterium's potential for testing Lorentz-violating nonminimal terms. Specifically, it compares the prospects of an ongoing deuterium experiment with the current best limits on nonminimal coefficients. The conclusion drawn is that the deuterium experiment holds the potential to enhance and establish first-time limits on nonminimal proton, neutron, and electron SME coefficients, marking it as a valuable experiment in the current worldwide systematic search for Lorentz and CPT violation.