title: A Generative Machine Learning Model for Material Microstructure 3D Reconstruction and Performance Evaluation

abstract: The reconstruction of 3D microstructures from 2D slices is considered to hold significant value in predicting the spatial structure and physical properties of materials.The dimensional extension from 2D to 3D is viewed as a highly challenging inverse problem from the current technological perspective.Recently,methods based on generative adversarial networks have garnered widespread attention.However,they are still hampered by numerous limitations,including oversimplified models,a requirement for a substantial number of training samples,and difficulties in achieving model convergence during training.In light of this,a novel generative model that integrates the multiscale properties of U-net with and the generative capabilities of GAN has been proposed.Based on this,the innovative construction of a multi-scale channel aggregation module,a multi-scale hierarchical feature aggregation module and a convolutional block attention mechanism can better capture the properties of the material microstructure and extract the image information.The model's accuracy is further improved by combining the image regularization loss with the Wasserstein distance loss.In addition,this study utilizes the anisotropy index to accurately distinguish the nature of the image,which can clearly determine the isotropy and anisotropy of the image.It is also the first time that the generation quality of material samples from different domains is evaluated and the performance of the model itself is compared.The experimental results demonstrate that the present model not only shows a very high similarity between the generated 3D structures and real samples but is also highly consistent with real data in terms of statistical data analysis.


title: On Uniqueness of a Solution to the Boundary Initial Value Problem

abstract: A first-order ordinary differential equation, solved with respect to derivative, is considered. It's right-hand side is defined and continuous on the set, consisting of a connected open subset of a two-dimensional Euclidean space and a part of its boundary. In the papers, dated by 2020, problems related to the existence or absence of the solution to the BIVP -- Initial Value Problem set at the boundary point -- were researched using different approaches. Such formulation of the Initial Value Problem is different from the formulation, established in the classic theory, where it is set at an interior point. This paper is devoted to solving problems related to uniqueness or non-uniqueness of the BIVP solutions. New definitions, related to uniqueness, absent in the formulation of the IIVP -- Initial Value Problem set at the interior point of the equation's domain -- are introduced. The theorems about the formal, local and global uniqueness of the BIVP solutions are proven. The differences between BIVP and IIVP are shown. For example, non-equivalence of the definitions of the formal, local and global uniqueness' for BIVP and IIVP is demonstrated, This non-equivalence leads to the appearance of hidden non-uniqueness points along with uniqueness and non-uniqueness points. Suggested theory is supposed to fill in the blanks in an existing literature, related to the problems of existence and uniqueness of the BIVP solutions.


title: BETA-UAV: Blockchain-based Efficient Authentication for Secure UAV Communication

abstract: Unmanned aerial vehicles (UAV), an emerging architecture that embodies flying ad-hoc networks, face critical privacy and security challenges, mainly when engaged in data-sensitive missions. Therefore, message authentication is a crucial security feature in drone communications. This paper presents a Blockchain-based Efficient, and Trusted Authentication scheme for UAV communication, BETA-UAV, which exploits the inherent properties of blockchain technology concerning memorability and is immutable to record communication sessions via transactions using a smart contract. The smart contract in BETA-UAV allows participants to publish and call transactions from the blockchain network. Furthermore, transaction addresses are proof of freshness and trustworthiness for subsequent transmissions. Furthermore, we investigated their ability to resist active attacks, such as impersonation, replaying, and modification. In addition, we evaluate the gas costs associated with the functions of the smart contract by implementing a BETA-UAV on the Ethereum public blockchain. A comparison of the computation and communication overheads shows that the proposed approach can save significant costs over traditional techniques.


title: Linguistic Intelligence in Large Language Models for Telecommunications

abstract: Large Language Models (LLMs) have emerged as a significant advancement in the field of Natural Language Processing (NLP), demonstrating remarkable capabilities in language generation and other language-centric tasks. Despite their evaluation across a multitude of analytical and reasoning tasks in various scientific domains, a comprehensive exploration of their knowledge and understanding within the realm of natural language tasks in the telecommunications domain is still needed. This study, therefore, seeks to evaluate the knowledge and understanding capabilities of LLMs within this domain. To achieve this, we conduct an exhaustive zero-shot evaluation of four prominent LLMs-Llama-2, Falcon, Mistral, and Zephyr. These models require fewer resources than ChatGPT, making them suitable for resource-constrained environments. Their performance is compared with state-of-the-art, fine-tuned models. To the best of our knowledge, this is the first work to extensively evaluate and compare the understanding of LLMs across multiple language-centric tasks in this domain. Our evaluation reveals that zero-shot LLMs can achieve performance levels comparable to the current state-of-the-art fine-tuned models. This indicates that pretraining on extensive text corpora equips LLMs with a degree of specialization, even within the telecommunications domain. We also observe that no single LLM consistently outperforms others, and the performance of different LLMs can fluctuate. Although their performance lags behind fine-tuned models, our findings underscore the potential of LLMs as a valuable resource for understanding various aspects of this field that lack large annotated data.


title: Debiased Model-based Interactive Recommendation

abstract: Existing model-based interactive recommendation systems are trained by querying a world model to capture the user preference, but learning the world model from historical logged data will easily suffer from bias issues such as popularity bias and sampling bias. This is why some debiased methods have been proposed recently. However, two essential drawbacks still remain: 1) ignoring the dynamics of the time-varying popularity results in a false reweighting of items. 2) taking the unknown samples as negative samples in negative sampling results in the sampling bias. To overcome these two drawbacks, we develop a model called \textbf{i}dentifiable \textbf{D}ebiased \textbf{M}odel-based \textbf{I}nteractive \textbf{R}ecommendation (\textbf{iDMIR} in short). In iDMIR, for the first drawback, we devise a debiased causal world model based on the causal mechanism of the time-varying recommendation generation process with identification guarantees; for the second drawback, we devise a debiased contrastive policy, which coincides with the debiased contrastive learning and avoids sampling bias. Moreover, we demonstrate that the proposed method not only outperforms several latest interactive recommendation algorithms but also enjoys diverse recommendation performance.


title: DART: Depth-Enhanced Accurate and Real-Time Background Matting

abstract: Matting with a static background, often referred to as ``Background Matting" (BGM), has garnered significant attention within the computer vision community due to its pivotal role in various practical applications like webcasting and photo editing. Nevertheless, achieving highly accurate background matting remains a formidable challenge, primarily owing to the limitations inherent in conventional RGB images. These limitations manifest in the form of susceptibility to varying lighting conditions and unforeseen shadows. In this paper, we leverage the rich depth information provided by the RGB-Depth (RGB-D) cameras to enhance background matting performance in real-time, dubbed DART. Firstly, we adapt the original RGB-based BGM algorithm to incorporate depth information. The resulting model's output undergoes refinement through Bayesian inference, incorporating a background depth prior. The posterior prediction is then translated into a "trimap," which is subsequently fed into a state-of-the-art matting algorithm to generate more precise alpha mattes. To ensure real-time matting capabilities, a critical requirement for many real-world applications, we distill the backbone of our model from a larger and more versatile BGM network. Our experiments demonstrate the superior performance of the proposed method. Moreover, thanks to the distillation operation, our method achieves a remarkable processing speed of 33 frames per second (fps) on a mid-range edge-computing device. This high efficiency underscores DART's immense potential for deployment in mobile applications}


title: Cooperation and Control in Delegation Games

abstract: Many settings of interest involving humans and machines -- from virtual personal assistants to autonomous vehicles -- can naturally be modelled as principals (humans) delegating to agents (machines), which then interact with each other on their principals' behalf. We refer to these multi-principal, multi-agent scenarios as delegation games. In such games, there are two important failure modes: problems of control (where an agent fails to act in line their principal's preferences) and problems of cooperation (where the agents fail to work well together). In this paper we formalise and analyse these problems, further breaking them down into issues of alignment (do the players have similar preferences?) and capabilities (how competent are the players at satisfying those preferences?). We show -- theoretically and empirically -- how these measures determine the principals' welfare, how they can be estimated using limited observations, and thus how they might be used to help us design more aligned and cooperative AI systems.


title: Role of strong correlation and spin-orbit coupling in $\textrm{LuB}_{4}$: a first principle study

abstract: The recent observation of magnetization plateaus in rare-earth metallic tetraborides has drawn a lot of attention to this class of materials. In this work, we investigate the electronic structure of one such canonical system $\textrm{LuB}_{4}$, using first-principle density functional theory, together with strong Coulomb correlation and spin-orbit coupling (SOC) effects. The electronic band structures show that $\textrm{LuB}_{4}$ is a non-magnetic correlated metal with completely filled $4f$ shell. The projected density of states (DOS) shows a continuum at the Fermi level (FL), arising mainly from hybridized Lu $d$ and B $p$ orbitals, along with some discrete peaks, well separated from the continuum. These peaks arise mainly due to core-level Lu $s$, $p$ and $4f$ atomic orbitals. Upon inclusion of SOC, the discrete peak arising due to Lu $p$ is split into two peaks with $j = 1/2$, $j = 3/2$ while the peak arising due to Lu $4f$ orbitals splits into two peaks with $j = 5/2$ and $j = 7/2$. These peaks will give rise to multiplet structure in core level X-ray photo-emission spectroscopy. Inclusion of strong correlation effects pushes the Lu $4f$ peak away from the FL while the qualitative features remain intact.


title: Parameter-efficient Prompt Learning for 3D Point Cloud Understanding

abstract: This paper presents a parameter-efficient prompt tuning method, named PPT, to adapt a large multi-modal model for 3D point cloud understanding. Existing strategies are quite expensive in computation and storage, and depend on time-consuming prompt engineering. We address the problems from three aspects. Firstly, a PromptLearner module is devised to replace hand-crafted prompts with learnable contexts to automate the prompt tuning process. Then, we lock the pre-trained backbone instead of adopting the full fine-tuning paradigm to substantially improve the parameter efficiency. Finally, a lightweight PointAdapter module is arranged near target tasks to enhance prompt tuning for 3D point cloud understanding. Comprehensive experiments are conducted to demonstrate the superior parameter and data efficiency of the proposed method.Meanwhile, we obtain new records on 4 public datasets and multiple 3D tasks, i.e., point cloud recognition, few-shot learning, and part segmentation. The implementation is available at https://github.com/auniquesun/PPT.


title: A New Secure Memory System for Efficient Data Protection and Access Pattern Obfuscation

abstract: As the reliance on secure memory environments permeates across applications, memory encryption is used to ensure memory security. However, most effective encryption schemes, such as the widely used AES-CTR, inherently introduce extra overheads, including those associated with counter storage and version number integrity checks. Moreover, encryption only protects data content, and it does not fully address the memory access pattern leakage. While Oblivious RAM (ORAM) aims to obscure these patterns, its high performance costs hinder practical applications. We introduce Secure Scattered Memory (SSM), an efficient scheme provides a comprehensive security solution that preserves the confidentiality of data content without traditional encryption, protects access patterns, and enables efficient integrity verification. Moving away from traditional encryption-centric methods, SSM offers a fresh approach to protecting data content while eliminating counter-induced overheads. Moreover, SSM is designed to inherently obscure memory access patterns, thereby significantly enhancing the confidentiality of memory data. In addition, SSM incorporates lightweight, thus integrated mechanisms for integrity assurance, protecting against data tampering. We also introduce SSM+, an extension that adapts Path ORAM to offer even greater security guarantees for both data content and memory access patterns, demonstrating its flexibility and efficiency. Experimental results show that SSM incurs only a 10% performance overhead compared to non-protected memory and offers a 15% improvement over AES-CTR mode memory protection. Notably, SSM+ provides an 20% improvement against Path ORAM integrated with Intel SGX under the highest security guarantees.


title: Highly efficient interaction of a tubular-lattice hollow-core fiber and flexural acoustic waves: design, characterization and analysis

abstract: The modulation efficiency of a tubular-lattice hollow-core fiber (HCF) by means of flexural acoustic waves is investigated in detail for the first time. The main acousto-optic properties of the HCF are evaluated employing 2D and 3D models based on the finite element method. The induced coupling of the fundamental and first higher-order modes is simulated in the wavelength range from 743 to 1355 nm. Significant acoustic (amplitude, period, strain, energy) and optical parameters (effective index, beat length, birefringence, coupling coefficient) are analyzed. The simulations are compared to experimental results, indicating higher modulation performance in HCFs compared to standard optical fibers. In addition, useful insights into the design and fabrication of all-fiber acousto-optic devices based on HCFs are provided, enabling potential application in tunable spectral filters and mode-locked fiber lasers.


title: Reward Design for Justifiable Sequential Decision-Making

abstract: Equipping agents with the capacity to justify made decisions using supporting evidence represents a cornerstone of accountable decision-making. Furthermore, ensuring that justifications are in line with human expectations and societal norms is vital, especially in high-stakes situations such as healthcare. In this work, we propose the use of a debate-based reward model for reinforcement learning agents, where the outcome of a zero-sum debate game quantifies the justifiability of a decision in a particular state. This reward model is then used to train a justifiable policy, whose decisions can be more easily corroborated with supporting evidence. In the debate game, two argumentative agents take turns providing supporting evidence for two competing decisions. Given the proposed evidence, a proxy of a human judge evaluates which decision is better justified. We demonstrate the potential of our approach in learning policies for prescribing and justifying treatment decisions of septic patients. We show that augmenting the reward with the feedback signal generated by the debate-based reward model yields policies highly favored by the judge when compared to the policy obtained solely from the environment rewards, while hardly sacrificing any performance. Moreover, in terms of the overall performance and justifiability of trained policies, the debate-based feedback is comparable to the feedback obtained from an ideal judge proxy that evaluates decisions using the full information encoded in the state. This suggests that the debate game outputs key information contained in states that is most relevant for evaluating decisions, which in turn substantiates the practicality of combining our approach with human-in-the-loop evaluations. Lastly, we showcase that agents trained via multi-agent debate learn to propose evidence that is resilient to refutations and closely aligns with human preferences.


title: Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs

abstract: We consider the two categories of termination problems of quantum programs with nondeterminism: 1) Is an input of a program terminating with probability one under all schedulers? If not, how can a scheduler be synthesized to evidence the nontermination? 2) Are all inputs terminating with probability one under their respective schedulers? If yes, a further question asks whether there is a scheduler that forces all inputs to be terminating with probability one together with how to synthesize it; otherwise, how can an input be provided to refute the universal termination? For the effective verification of the first category, we over-approximate the reachable set of quantum program states by the reachable subspace, whose algebraic structure is a linear space. On the other hand, we study the set of divergent states from which the program terminates with probability zero under some scheduler. The divergent set has an explicit algebraic structure. Exploiting them, we address the decision problem by a necessary and sufficient condition, i.e. the disjointness of the reachable subspace and the divergent set. Furthermore, the scheduler synthesis is completed in exponential time. For the second category, we reduce the decision problem to the existence of invariant subspace, from which the program terminates with probability zero under all schedulers. The invariant subspace is characterized by linear equations. The states on that invariant subspace are evidence of the nontermination. Furthermore, the scheduler synthesis is completed by seeking a pattern of finite schedulers that forces all inputs to be terminating with positive probability. The repetition of that pattern yields the desired universal scheduler that forces all inputs to be terminating with probability one. All the problems in the second category are shown to be solved in polynomial time.


title: Pricing of geometric Asian options in the Volterra-Heston model

abstract: Geometric Asian options are a type of options where the payoff depends on the geometric mean of the underlying asset over a certain period of time. This paper is concerned with the pricing of such options for the class of Volterra-Heston models, covering the rough Heston model. We are able to derive semi-closed formulas for the prices of geometric Asian options with fixed and floating strikes for this class of stochastic volatility models. These formulas require the explicit calculation of the conditional joint Fourier transform of the logarithm of the stock price and the logarithm of the geometric mean of the stock price over time. Linking our problem to the theory of affine Volterra processes, we find a representation of this Fourier transform as a suitably constructed stochastic exponential, which depends on the solution of a Riccati-Volterra equation. Finally we provide a numerical study for our results in the rough Heston model.


title: Young wall models for the level 1 highest weight and Fock space crystals of $U_q(E_6^{(2)})$ and $U_q(F_4^{(1)})$

abstract: In this paper we construct Young wall models for the level $1$ highest weight and Fock space crystals of quantum affine algebras in types $E_6^{(2)}$ and $F_4^{(1)}$. Our starting point in each case is a combinatorial realization for a certain level $1$ perfect crystal in terms of Young columns. Then using energy functions and affine energy functions we define the notions of reduced and proper Young walls, which model the highest weight and Fock space crystals respectively.


title: Swarm Body: Embodied Swarm Robots

abstract: The human brain's plasticity allows for the integration of artificial body parts into the human body. Leveraging this, embodied systems realize intuitive interactions with the environment. We introduce a novel concept: embodied swarm robots. Swarm robots constitute a collective of robots working in harmony to achieve a common objective, in our case, serving as functional body parts. Embodied swarm robots can dynamically alter their shape, density, and the correspondences between body parts and individual robots. We contribute an investigation of the influence on embodiment of swarm robot-specific factors derived from these characteristics, focusing on a hand. Our paper is the first to examine these factors through virtual reality (VR) and real-world robot studies to provide essential design considerations and applications of embodied swarm robots. Through quantitative and qualitative analysis, we identified a system configuration to achieve the embodiment of swarm robots.


title: Steerable current-driven emission of spin waves in magnetic vortex pairs

abstract: The efficient excitation of spin waves is a key challenge in the realization of magnonic devices. We demonstrate the current-driven generation of spin waves in antiferromagnetically coupled magnetic vortices. We employ time-resolved scanning transmission X-ray microscopy (TR-STXM) to directly image the emission of spin waves upon the application of an alternating current flowing directly through the magnetic stack. Micromagnetic simulations allow us to identify the origin of the excitation to be the current-driven Oersted field, which in the present system proves to be orders of magnitude more efficient than the commonly used excitation via stripline antennas. Our numerical studies also reveal that the spin-transfer torque can lead to the emission of spin waves as well, yet only at much higher current amplitudes. By using magnetostrictive materials, we futhermore demonstrate that the direction of the magnon propagation can be steered by increasing the excitation amplitude, which modifies the underlying magnetization profile through an additional anisotropy in the magnetic layers. The demonstrated methods allow for the efficient and tunable excitation of spin waves, marking a significant advance in the generation and control of spin waves in magnonic devices.


title: Multiple Instance Learning for Glioma Diagnosis using Hematoxylin and Eosin Whole Slide Images: An Indian Cohort Study

abstract: The effective management of brain tumors relies on precise typing, subtyping, and grading. This study advances patient care with findings from rigorous multiple instance learning experimentations across various feature extractors and aggregators in brain tumor histopathology. It establishes new performance benchmarks in glioma subtype classification across multiple datasets, including a novel dataset focused on the Indian demographic (IPD- Brain), providing a valuable resource for existing research. Using a ResNet-50, pretrained on histopathology datasets for feature extraction, combined with the Double-Tier Feature Distillation (DTFD) feature aggregator, our approach achieves state-of-the-art AUCs of 88.08 on IPD-Brain and 95.81 on the TCGA-Brain dataset, respectively, for three-way glioma subtype classification. Moreover, it establishes new benchmarks in grading and detecting IHC molecular biomarkers (IDH1R132H, TP53, ATRX, Ki-67) through H&E stained whole slide images for the IPD-Brain dataset. The work also highlights a significant correlation between the model decision-making processes and the diagnostic reasoning of pathologists, underscoring its capability to mimic professional diagnostic procedures.


title: Prompt Perturbation Consistency Learning for Robust Language Models

abstract: Large language models (LLMs) have demonstrated impressive performance on a number of natural language processing tasks, such as question answering and text summarization. However, their performance on sequence labeling tasks such as intent classification and slot filling (IC-SF), which is a central component in personal assistant systems, lags significantly behind discriminative models. Furthermore, there is a lack of substantive research on the robustness of LLMs to various perturbations in the input prompts. The contributions of this paper are three-fold. First, we show that fine-tuning sufficiently large LLMs can produce IC-SF performance comparable to discriminative models. Next, we systematically analyze the performance deterioration of those fine-tuned models due to three distinct yet relevant types of input perturbations - oronyms, synonyms, and paraphrasing. Finally, we propose an efficient mitigation approach, Prompt Perturbation Consistency Learning (PPCL), which works by regularizing the divergence between losses from clean and perturbed samples. Our experiments demonstrate that PPCL can recover on average 59% and 69% of the performance drop for IC and SF tasks, respectively. Furthermore, PPCL beats the data augmentation approach while using ten times fewer augmented data samples.


title: Tree decompositions meet induced matchings: beyond Max Weight Independent Set

abstract: For a tree decomposition $\mathcal{T}$ of a graph $G$, by $\mu(\mathcal{T})$ we denote the size of a largest induced matching in $G$ all of whose edges intersect one bag of $\mathcal{T}$. Induced matching treewidth of a graph $G$ is the minimum value of $\mu(\mathcal{T})$ over all tree decompositions $\mathcal{T}$ of $G$. Yolov [SODA 2018] proved that Max Weight Independent Set can be solved in polynomial time for graphs of bounded induced matching treewidth. In this paper we explore what other problems are tractable in such classes of graphs. As our main result, we give a polynomial-time algorithm for Min Weight Feedback Vertex Set. We also provide some positive results concerning packing induced subgraphs, which in particular imply a PTAS for the problem of finding a largest induced subgraph of bounded treewidth. These results suggest that in graphs of bounded induced matching treewidth, one could find in polynomial time a maximum-weight induced subgraph of bounded treewidth satisfying a given CMSO$_2$ formula. We conjecture that such a result indeed holds and prove it for graphs of bounded tree-independence number, which form a rich and important family of subclasses of graphs of bounded induced matching treewidth. We complement these algorithmic results with a number of complexity and structural results concerning induced matching treewidth.


title: Krylov Complexity in $2d$ CFTs with SL$(2,\mathbb{R})$ deformed Hamiltonians

abstract: In this study, we analyze Krylov Complexity in two-dimensional conformal field theories subjected to deformed SL$(2,\mathbb{R})$ Hamiltonians. In the vacuum state, we find that the K-complexity exhibits a universal phase structure. The phase structure involves the K-complexity exhibiting an oscillatory behaviour in the non-heating phase, which contrasts with the exponential growth observed in the heating phase, while it displays polynomial growth at the phase boundary. Furthermore, we extend our analysis to compute the K-complexity of a light operator in excited states, considering both large-c CFT and free field theory. In the free field theory, we find a state-independent phase structure of K-complexity. However, in the large-c CFT, the behavior varies, with the K-Complexity once again displaying exponential growth in the heating phase and polynomial growth at the phase boundary. Notably, the precise exponent governing this growth depends on the heaviness of the state under examination. In the non-heating phase, we observe a transition in K-complexity behavior from oscillatory to exponential growth, akin to findings in [1], as it represents a special case within the non-heating phase.


title: Entanglement islands and cutoff branes from path-integral optimization

abstract: Recently it was proposed that, the AdS/BCFT correspondence can be simulated by a holographic Weyl transformed CFT$_2$, where the cut-off brane plays the role of the Karch-Randall (KR) brane \cite{Basu:2022crn}. In this paper, we focus on the Weyl transformation that optimizes the path integral computation of the reduced density matrix for a single interval in a holographic CFT$_2$. When we take the limit that one of the endpoint of the interval goes to infinity (a half line), such a holographic Weyl transformed CFT$_2$ matches the AdS/BCFT configuration for a BCFT with one boundary. Without taking the limit, the induced cutoff brane becomes a circle passing through the two endpoints of the interval. We assume that the cutoff brane also plays the same role as the KR brane in AdS/BCFT, hence the path-integral-optimized purification for the interval is in the island phase. This explains the appearance of negative mutual information observed in \cite{Camargo:2022mme}. We check that, the entanglement entropy and the balanced partial entanglement entropy (BPE) calculated via the island formulas, exactly match with the RT formula and the entanglement wedge cross-section (EWCS), which are allowed to anchor on the cutoff brane.


title: An $O(n \log n)$-Time Approximation Scheme for Geometric Many-to-Many Matching

abstract: Geometric matching is an important topic in computational geometry and has been extensively studied over decades. In this paper, we study a geometric-matching problem, known as geometric many-to-many matching. In this problem, the input is a set $S$ of $n$ colored points in $\mathbb{R}^d$, which implicitly defines a graph $G = (S,E(S))$ where $E(S) = \{(p,q): p,q \in S \text{ have different colors}\}$, and the goal is to compute a minimum-cost subset $E^* \subseteq E(S)$ of edges that cover all points in $S$. Here the cost of $E^*$ is the sum of the costs of all edges in $E^*$, where the cost of a single edge $e$ is the Euclidean distance (or more generally, the $L_p$-distance) between the two endpoints of $e$. Our main result is a $(1+\varepsilon)$-approximation algorithm with an optimal running time $O_\varepsilon(n \log n)$ for geometric many-to-many matching in any fixed dimension, which works under any $L_p$-norm. This is the first near-linear approximation scheme for the problem in any $d \geq 2$. Prior to this work, only the bipartite case of geometric many-to-many matching was considered in $\mathbb{R}^1$ and $\mathbb{R}^2$, and the best known approximation scheme in $\mathbb{R}^2$ takes $O_\varepsilon(n^{1.5} \cdot \mathsf{poly}(\log n))$ time.


title: ListT5: Listwise Reranking with Fusion-in-Decoder Improves Zero-shot Retrieval

abstract: We propose ListT5, a novel reranking approach based on Fusion-in-Decoder (FiD) that handles multiple candidate passages at both train and inference time. We also introduce an efficient inference framework for listwise ranking based on m-ary tournament sort with output caching. We evaluate and compare our model on the BEIR benchmark for zero-shot retrieval task, demonstrating that ListT5 (1) outperforms the state-of-the-art RankT5 baseline with a notable +1.3 gain in the average NDCG@10 score, (2) has an efficiency comparable to pointwise ranking models and surpasses the efficiency of previous listwise ranking models, and (3) overcomes the lost-in-the-middle problem of previous listwise rerankers. Our code, model checkpoints, and the evaluation framework are fully open-sourced at \url{https://github.com/soyoung97/ListT5}.


title: Intelligent Attractors for Singularly Perturbed Dynamical Systems

abstract: Singularly perturbed dynamical systems, commonly known as fast-slow systems, play a crucial role in various applications such as plasma physics. They are closely related to reduced order modeling, closures, and structure-preserving numerical algorithms for multiscale modeling. A powerful and well-known tool to address these systems is the Fenichel normal form, which significantly simplifies fast dynamics near slow manifolds through a transformation. However, the Fenichel normal form is difficult to realize in conventional numerical algorithms. In this work, we explore an alternative way of realizing it through structure-preserving machine learning. Specifically, a fast-slow neural network (FSNN) is proposed for learning data-driven models of singularly perturbed dynamical systems with dissipative fast timescale dynamics. Our method enforces the existence of a trainable, attracting invariant slow manifold as a hard constraint. Closed-form representation of the slow manifold enables efficient integration on the slow time scale and significantly improves prediction accuracy beyond the training data. We demonstrate the FSNN on several examples that exhibit multiple timescales, including the Grad moment system from hydrodynamics, two-scale Lorentz96 equations for modeling atmospheric dynamics, and Abraham-Lorentz dynamics modeling radiation reaction of electrons in a magnetic field.


title: CDM and SIDM Interpretations of the Strong Gravitational Lensing Object JWST-ER1

abstract: van Dokkum et al. (arXiv:2309.07969) reported the discovery of JWST-ER1, a strong lensing object at redshift $z\approx2$, using data from the James Webb Space Telescope. The lens mass within the Einstein ring is $5.9$ times higher than the expected stellar mass from a Chabrier initial mass function, indicating a high dark matter density. In this work, we show that a cold dark matter halo, influenced by gas-driven adiabatic contraction, can account for the observed lens mass. We interpret the measurement of JWST-ER1 in the self-interacting dark matter scenario and show that the cross section per particle mass $\sigma/m\approx0.1~{\rm cm^2/g}$ is generally favored. Intriguingly, $\sigma/m\approx0.1~{\rm cm^2/g}$ can also be consistent with the strong lensing observations of early-type galaxies at redshift $z\approx0.2$, where adiabatic contraction is not observed overall.


title: Additive results of group inverses in Banach algebras

abstract: In this paper, we present new presentations of group inverse for the sum of two group invertible elements in a Banach algebra. We then apply these results to block complex matrices. The group invertibility of certain block complex matrices is thereby obtained.


title: A Note on Gamma Function and Convolution

abstract: In this note we explore the relationship between the operation of convolution of functions and the Eulerian integrals. This approach allow us to obtain some expressions for the convolution of a certain class of functions in terms of the Gamma Function as well as to derive some well known properties of the Gamma Function by using the concept and properties of the convolution.


title: First Hitting Times on a Quantum Computer: Tracking vs. Local Monitoring, Topological Effects, and Dark States

abstract: We investigate a quantum walk on a ring represented by a directed triangle graph with complex edge weights and monitored at a constant rate until the quantum walker is detected. To this end, the first hitting time statistics is recorded using unitary dynamics interspersed stroboscopically by measurements, which is implemented on IBM quantum computers with a midcircuit readout option. Unlike classical hitting times, the statistical aspect of the problem depends on the way we construct the measured path, an effect that we quantify experimentally. First, we experimentally verify the theoretical prediction that the mean return time to a target state is quantized, with abrupt discontinuities found for specific sampling times and other control parameters, which has a well-known topological interpretation. Second, depending on the initial state, system parameters, and measurement protocol, the detection probability can be less than one or even zero, which is related to dark-state physics. Both, return-time quantization and the appearance of the dark states are related to degeneracies in the eigenvalues of the unitary time evolution operator. We conclude that, for the IBM quantum computer under study, the first hitting times of monitored quantum walks are resilient to noise. Yet, a finite number of measurements leads to broadening effects, which modify the topological quantization and chiral effects of the asymptotic theory with an infinite number of measurements. Our results point the way for the development of novel quantum walk algorithms that exploit measurement-induced effects on quantum computers.


title: BalanceDN: Load-Balancing Allocation of Interest for Fast Discovery in Content Centric Networks

abstract: In Named Data Networking (NDN), data is identified by unique names instead of IP addresses, and routers use the names of the content to forward Interest packets towards the producers of the requested content. However, the current content search mechanism in NDN is complex and slow. This mechanism not only creates congestion but also hinders practical deployment due to its slowness and cumbersome nature. To address this issue, we propose a methodology, called BalanceDN, that distributes content through the network such that sought content can be found quickly. BalanceDN uses a distributed allocation of resolvers as those used by the domain name system but differs in how content is distributed. Our approach avoids flooding the network with pending interest requests and also eliminates the need for blind search when the location of content is unknown. We tested our approach on ndnSIM; a simulation platform for NDN. The results show that the proposed routing scheme utilizes far fewer network resources compared to the NDN network when retrieving content. The proposed scheme accomplishes this performance gain by leveraging a load-balanced hashing mechanism to distribute and locate the name of the content on the distributed nameserver lookup service nodes.


title: New stairways to the stars. Birth and evolution of two pioneering Usenet newsgroups in astrophysics (1983-1994)

abstract: The foundation of two pioneering Usenet newsgroups in astrophysics - still existent today - and some of the main milestones in their history have been tracked from the origins at Princeton University in 1983 to 1994. To this aim, in line with authoritative recommendations from the discipline of web history, different kinds of sources have been retrieved and combined: mainly, online archives of Usenet newsgroups and human sources. The latter have included on one side the kind contribution provided by four astrophysicists, two of which had a role in the maintaining of these newsgroups, through individual interviews; on the other side that from the sixty-seven researchers who answered a purpose-built questionnaire submitted within the Italian National Institute for Astrophysics in May 2023.


title: Investigations on a Riemannian manifold with a semi-symmetric non-metric connection and gradient solitons

abstract: This article carries out the investigation of a three-dimensional Riemannian manifold $N^3$ endowed with a semi-symmetric type non-metric connection. Firstly, we construct a non-trivial example to prove the existence of a semi-symmetric type non-metric connection on $N^{3}$. It is established that a $N^3$ with the semi-symmetric type non-metric connection, whose metric is a gradient Ricci soliton, is a manifold of constant sectional curvature with respect to the semi-symmetric type non-metric connection. Moreover, we prove that if the Riemannian metric of $N^3$ with the semi-symmetric type non-metric connection is a gradient Yamabe soliton, then either $N^{3}$ is a manifold of constant scalar curvature or the gradient Yamabe soliton is trivial with respect to the semi-symmetric type non-metric connection. We also characterize the manifold $N^3$ with a semi-symmetric type non-metric connection whose metrics are Einstein solitons and $m$-quasi Einstein solitons of gradient type, respectively.


title: Unified Interpretation of Muon g-2 anomaly, 95 GeV Diphoton, and $b\bar{b}$ Excesses in the General Next-to-Minimal Supersymmetric Standard Model

abstract: We investigate three intriguing anomalies within the framework of the General Next-to-Minimal Supersymmetric Standard Model. These anomalies include a significant deviation of the experimental results for the muon anomalous magnetic moment from its Standard Model prediction, with a confidence level of $5.1\sigma$; a joint observation by the CMS and ATLAS collaborations of a diphoton excess with a local significance of $3.1 \sigma$ in the invariant mass distribution around 95.4 GeV; and a reported excess in the $b\bar{b}$ production at LEP with a local significance of $2.3 \sigma$. Through analytical and numerical analyses, we provide unified interpretations across an extensive parameter space that remain consistent with current experimental restrictions from data on the Higgs boson at 125 GeV, B-physics measurements, dark matter observables, as well as existing searches for supersymmetry and extra Higgs bosons. We attribute the muon anomaly to loops involving muon-smuon-neutralino and muon-sneutrino-chargino interactions, while attributing the diphoton and $b \bar{b}$ excesses to the resonant production of a singlet-dominated scalar. These proposed solutions are poised for experimental tests at the high-luminosity LHC and future linear colliders.


title: A family of maps and a vector field on plane polygons

abstract: We study, theoretically and experimentally, a 1-parameter family of transformations and their limiting vector field on the space of plane polygons. These transformations are discrete analogs of completely integrable transformation on closed plane curves, known as the bicycle correspondence, that is a geometric realization of the B\"acklund transformation of the planar filament equation. For odd-gons, we construct a symplectic form on the quotient space by parallel translations and show that the transformations are symplectic, and the vector field is Hamiltonian. In the case of triangles, we prove complete integrability of the respective vector field and provide evidence for the conjecture that the transformations are integrable as well.


title: On the Redistribution of Maximal Extractable Value: A Dynamic Mechanism

abstract: Maximal Extractable Value (MEV) has emerged as a new frontier in the design of blockchain systems. The marriage between decentralization and finance gives the power to block producers (a.k.a., miners) not only to select and add transactions to the blockchain but, crucially, also to order them so as to extract as much financial gain as possible for themselves. Whilst this price may be unavoidable for the service provided by block producers, users of the chain may in the long run prefer to use less predatory systems. In this paper, we propose to make the MEV extraction rate part of the protocol design space. Our aim is to leverage this parameter to maintain a healthy balance between miners (who need to be compensated) and users (who need to feel encouraged to transact). Inspired by the principles introduced by EIP-1559 for transaction fees, we design a dynamic mechanism which updates the MEV extraction rate with the goal of stabilizing it at a target value. We analyse the evolution of this dynamic mechanism under various market conditions and provide formal guarantees about its long-term performance. Our results show that even when the system behavior is provably chaotic, the dynamics guarantee long-term liveness (survival) and robustness of the system. The main takeaway from our work is that the proposed system exhibits desirable behavior (near-optimal performance) even when it operates in out of equilibrium conditions that are often met in practice. Our work establishes, the first to our knowledge, dynamic framework for the integral problem of MEV sharing between extractors and users.


title: $\mathbb{E}_{\infty}$-coalgebras and $p$-adic homotopy theory

abstract: We show that for any separably closed field $k$ of characteristic $p>0$, the canonical functor from nilpotent $p$-adic spaces to $\mathbb{E}_{\infty}$-coalgebras over $k$ (given by singular chains with coefficients in $k$) is fully faithful. We also identify the essential image of simply connected spaces inside coalgebras. This dualizes and removes finiteness assumptions from a theorem of Mandell.


title: Existance of octupole correlation in 116Sn

abstract: The negative parity states in 116Sn have been investigated in terms of octupole correlation. The same is probed by using the Indian National Gamma Array (INGA) facility at Variable Energy Cyclotron Centre, Kolkata using the reaction, 114Cd({\alpha},2n) 116Sn at 34 MeV energy. Three new {\gamma}-transitions relevant to the present investigation are reported and the spin-parities of the associated levels are assigned based on the DCO-ratios and polarisation measurements. The interband transitions between the positive parity ground band and the negative parity band are newly observed and the corresponding extracted ratio of transition probability, B(E1)/B(E2) indicated the existence of octupole correlation in these nuclei. The enhanced transition rates for E1 and E3 transitions between these opposite parity bands and corroboration of soft octupole deformation ultimately aid the onset of octupole excitation in this isotope.


title: NaVid: Video-based VLM Plans the Next Step for Vision-and-Language Navigation

abstract: Vision-and-language navigation (VLN) stands as a key research problem of Embodied AI, aiming at enabling agents to navigate in unseen environments following linguistic instructions. In this field, generalization is a long-standing challenge, either to out-of-distribution scenes or from Sim to Real. In this paper, we propose NaVid, a video-based large vision language model (VLM), to mitigate such a generalization gap. NaVid makes the first endeavor to showcase the capability of VLMs to achieve state-of-the-art level navigation performance without any maps, odometers, or depth inputs. Following human instruction, NaVid only requires an on-the-fly video stream from a monocular RGB camera equipped on the robot to output the next-step action. Our formulation mimics how humans navigate and naturally gets rid of the problems introduced by odometer noises, and the Sim2Real gaps from map or depth inputs. Moreover, our video-based approach can effectively encode the historical observations of robots as spatio-temporal contexts for decision making and instruction following. We train NaVid with 510k navigation samples collected from continuous environments, including action-planning and instruction-reasoning samples, along with 763k large-scale web data. Extensive experiments show that NaVid achieves state-of-the-art performance in simulation environments and the real world, demonstrating superior cross-dataset and Sim2Real transfer. We thus believe our proposed VLM approach plans the next step for not only the navigation agents but also this research field.


title: RAUCA: A Novel Physical Adversarial Attack on Vehicle Detectors via Robust and Accurate Camouflage Generation

abstract: Adversarial camouflage is a widely used physical attack against vehicle detectors for its superiority in multi-view attack performance. One promising approach involves using differentiable neural renderers to facilitate adversarial camouflage optimization through gradient back-propagation. However, existing methods often struggle to capture environmental characteristics during the rendering process or produce adversarial textures that can precisely map to the target vehicle, resulting in suboptimal attack performance. Moreover, these approaches neglect diverse weather conditions, reducing the efficacy of generated camouflage across varying weather scenarios. To tackle these challenges, we propose a robust and accurate camouflage generation method, namely RAUCA. The core of RAUCA is a novel neural rendering component, Neural Renderer Plus (NRP), which can accurately project vehicle textures and render images with environmental characteristics such as lighting and weather. In addition, we integrate a multi-weather dataset for camouflage generation, leveraging the NRP to enhance the attack robustness. Experimental results on six popular object detectors show that RAUCA consistently outperforms existing methods in both simulation and real-world settings.


title: Impact of projective curvature tensor in $f\left(R,G\right)$, $f\left(R,T\right)$ and $f\left(R,L_{m}\right)$-gravity

abstract: This article concerns with the characterization of a spacetime and modified gravity, such as $f\left(R,G\right)$, $f\left(R,T\right)$ and $f\left(R,L_{m}\right)$-gravity equipped with the projective curvature tensor. We establish that a projectively flat perfect fluid spacetime represents dark energy era. Also, we prove that a projectively flat perfect fluid spacetime is either locally isometric to Minkowski spacetime or a de-Sitter spacetime. Furthermore, it is shown that a perfect fluid spacetime permitting harmonic projective curvature tensor becomes a generalized Robertson-Walker spacetime and is of Petrov type $I$, $D$ or $O$. Lastly, we investigate the effect of projectively flat perfect fluid spacetime solutions in $f\left(R,G\right)$, $f\left(R,T\right)$ and $f\left(R,L_{m}\right)$-gravity, respectively. We also investigate the spacetime as a $f\left(R,G\right)$-gravity solution of and use the flat Friedmann-Robertson-Walker metric to establish a relation among jerk, snap, and deceleration parameters. Numerous energy conditions are studied in terms of Ricci scalar with the model $f\left(R,G\right)=\exp(R)+\alpha \left(6G\right)^{\beta}$. For this model, the strong energy condition is violated but the weak, dominant and null energy conditions are fulfilled, which is in excellent accordance with current observational investigations that show the universe is now accelerating.


title: Protocols for Quantum Weak Coin Flipping

abstract: Weak coin flipping is an important cryptographic primitive -- it is the strongest known secure two-party computation primitive that classically becomes secure only under certain assumptions (e.g. computational hardness), while quantumly there exist protocols that achieve arbitrarily close to perfect security. This breakthrough result was established by Mochon in 2007 [arXiv:0711.4114]. However, his proof relied on the existence of certain unitary operators which was established by a non-constructive argument. Consequently, explicit protocols have remained elusive. In this work, we give exact constructions of related unitary operators. These, together with a new formalism, yield a family of protocols approaching perfect security thereby also simplifying Mochon's proof of existence. We illustrate the construction of explicit weak coin flipping protocols by considering concrete examples (from the aforementioned family of protocols) that are more secure than all previously known protocols.


title: Radiative $E1$ transitions between $^3P_1$ and $^3S_1$ quarkonium states

abstract: In this work we study the E1 decay processes, $^3P_1$ $\rightarrow$ $^3S_1\gamma$, and $^3S_1$ $\rightarrow$ $^3P_1\gamma$ in the framework of Bethe-Salpeter equation and calculate their decay widths. We have used algebraic forms of Salpeter wave functions obtained through analytic solutions of mass spectral equations for ground and excited states of $^3S_1$, and $^3P_1$ equal mass quarkonia in approximate harmonic oscillator basis to do analytic calculations of their decay widths. These decay widths have been compared with data and other models.


title: ELAA Near-Field Localization and Sensing with Partial Blockage Detection

abstract: High-frequency communication systems bring extremely large aperture arrays (ELAA) and large bandwidths, integrating localization and (bi-static) sensing functions without extra infrastructure. Such systems are likely to operate in the near-field (NF), where the performance of localization and sensing is degraded if a simplified far-field channel model is considered. However, when taking advantage of the additional geometry information in the NF, e.g., the encapsulated information in the wavefront, localization and sensing performance can be improved. In this work, we formulate a joint synchronization, localization, and sensing problem in the NF. Considering the array size could be much larger than an obstacle, the effect of partial blockage (i.e., a portion of antennas are blocked) is investigated, and a blockage detection algorithm is proposed. The simulation results show that blockage greatly impacts performance for certain positions, and the proposed blockage detection algorithm can mitigate this impact by identifying the blocked antennas.


title: FedMM: Federated Multi-Modal Learning with Modality Heterogeneity in Computational Pathology

abstract: The fusion of complementary multimodal information is crucial in computational pathology for accurate diagnostics. However, existing multimodal learning approaches necessitate access to users' raw data, posing substantial privacy risks. While Federated Learning (FL) serves as a privacy-preserving alternative, it falls short in addressing the challenges posed by heterogeneous (yet possibly overlapped) modalities data across various hospitals. To bridge this gap, we propose a Federated Multi-Modal (FedMM) learning framework that federatedly trains multiple single-modal feature extractors to enhance subsequent classification performance instead of existing FL that aims to train a unified multimodal fusion model. Any participating hospital, even with small-scale datasets or limited devices, can leverage these federated trained extractors to perform local downstream tasks (e.g., classification) while ensuring data privacy. Through comprehensive evaluations of two publicly available datasets, we demonstrate that FedMM notably outperforms two baselines in accuracy and AUC metrics.


title: Characterizations of a spacetime of quasi-constant sectional curvature and $\mathcal{F}(\mathcal{R})$-gravity

abstract: The main aim of this article is to investigate a spacetime of quasi-constant sectional curvature. At first, the existence of such a spacetime is established by several examples. We have shown that a spacetime of quasi-constant sectional curvature agrees with the present state of the universe and it represents a Robertson Walker spacetime. Moreover, if the spacetime is Ricci semi-symmetric or Ricci symmetric, then either the spacetime represents a spacetime of constant sectional curvature, or the spacetime represents phantom era. Also, we prove that a Ricci symmetric spacetime of quasi-constant sectional curvature represents a static spacetime and the spacetime under consideration is of Petrov type I, D or O. Finally, we concentrate on a quasi-constant sectional curvature spacetime solution in $\mathcal{F}(\mathcal{R})$-gravity. As a result, various energy conditions are studied and analysed our obtained outcomes in terms of a $\mathcal{F}(\mathcal{R})$-gravity model.


title: Path constrained unbalanced optimal transport

abstract: Dynamical formulations of optimal transport (OT) frame the task of comparing distributions as a variational problem which searches for a path between distributions minimizing a kinetic energy functional. In applications, it is frequently natural to require paths of distributions to satisfy additional conditions. Inspired by this, we introduce a model for dynamical OT which incorporates constraints on the space of admissible paths into the framework of unbalanced OT, where the source and target measures are allowed to have a different total mass. Our main results establish, for several general families of constraints, the existence of solutions to the variational problem which defines this path constrained unbalanced optimal transport framework. These results are primarily concerned with distributions defined on a Euclidean space, but we extend them to distributions defined over parallelizable Riemannian manifolds as well. We also consider metric properties of our framework, showing that, for certain types of constraints, our model defines a metric on the relevant space of distributions. This metric is shown to arise as a geodesic distance of a Riemannian metric, obtained through an analogue of Otto's submersion in the classical OT setting.


title: MATHWELL: Generating Age-Appropriate Educational Math Word Problems

abstract: Math word problems are critical K-8 educational tools, but writing them is time-consuming and requires domain expertise. We suggest that language models can support K-8 math education by automatically generating problems. To be educational, generated problems must be 1) solvable, 2) accurate, and 3) appropriate. Existing datasets are unlabeled for these criteria, making them ill-suited for training problem generators. To address this gap, we use domain expert annotation to curate a high-quality synthetic training dataset for this task. We show the value of this data by using it to iteratively finetune Llama-2 (70B) to create MATHWELL, a K-8 word problem generator. Domain experts find MATHWELL has a 40% higher share of problems that have executable solutions and meet all criteria than existing open-source models, with 74% of its problems with executable solutions being solvable, accurate, and appropriate. MATHWELL achieves 94.9% of GPT-4 Turbo's performance on this task while outputting problems written at a more appropriate reading level for K-8 students. MATHWELL's performance despite being trained by finetuning only highlights the quality of our synthetic data for training age-appropriate word problem generators. We release our model, data, and annotations.


title: SportQA: A Benchmark for Sports Understanding in Large Language Models

abstract: A deep understanding of sports, a field rich in strategic and dynamic content, is crucial for advancing Natural Language Processing (NLP). This holds particular significance in the context of evaluating and advancing Large Language Models (LLMs), given the existing gap in specialized benchmarks. To bridge this gap, we introduce SportQA, a novel benchmark specifically designed for evaluating LLMs in the context of sports understanding. SportQA encompasses over 70,000 multiple-choice questions across three distinct difficulty levels, each targeting different aspects of sports knowledge from basic historical facts to intricate, scenario-based reasoning tasks. We conducted a thorough evaluation of prevalent LLMs, mainly utilizing few-shot learning paradigms supplemented by chain-of-thought (CoT) prompting. Our results reveal that while LLMs exhibit competent performance in basic sports knowledge, they struggle with more complex, scenario-based sports reasoning, lagging behind human expertise. The introduction of SportQA marks a significant step forward in NLP, offering a tool for assessing and enhancing sports understanding in LLMs.


title: Communication as a driver of change

abstract: Chapter 2 explores the pivotal role of communication as a catalyst for change and its profound influence on human behavior. The focus is on understanding diverse forms of communication and human interaction that propel both individual and collective transformations. Emphasizing the potency of effective communication, the chapter unveils its capacity to unlock dormant mechanisms and unleash untapped potential within individuals. The goal is to illuminate the significant impact of communication in shaping our world and fostering positive change. Chapter 3 discusses the challenges encountered during change processes, providing practical strategies and exploring innovative ways to overcome obstacles - by blending psychological insights, communication strategies, and sociological perspectives.


title: Field-based Molecule Generation

abstract: This work introduces FMG, a field-based model for drug-like molecule generation. We show how the flexibility of this method provides crucial advantages over the prevalent, point-cloud based methods, and achieves competitive molecular stability generation. We tackle optical isomerism (enantiomers), a previously omitted molecular property that is crucial for drug safety and effectiveness, and thus account for all molecular geometry aspects. We demonstrate how previous methods are invariant to a group of transformations that includes enantiomer pairs, leading them invariant to the molecular R and S configurations, while our field-based generative model captures this property.


title: HIR-Diff: Unsupervised Hyperspectral Image Restoration Via Improved Diffusion Models

abstract: Hyperspectral image (HSI) restoration aims at recovering clean images from degraded observations and plays a vital role in downstream tasks. Existing model-based methods have limitations in accurately modeling the complex image characteristics with handcraft priors, and deep learning-based methods suffer from poor generalization ability. To alleviate these issues, this paper proposes an unsupervised HSI restoration framework with pre-trained diffusion model (HIR-Diff), which restores the clean HSIs from the product of two low-rank components, i.e., the reduced image and the coefficient matrix. Specifically, the reduced image, which has a low spectral dimension, lies in the image field and can be inferred from our improved diffusion model where a new guidance function with total variation (TV) prior is designed to ensure that the reduced image can be well sampled. The coefficient matrix can be effectively pre-estimated based on singular value decomposition (SVD) and rank-revealing QR (RRQR) factorization. Furthermore, a novel exponential noise schedule is proposed to accelerate the restoration process (about 5$\times$ acceleration for denoising) with little performance decrease. Extensive experimental results validate the superiority of our method in both performance and speed on a variety of HSI restoration tasks, including HSI denoising, noisy HSI super-resolution, and noisy HSI inpainting. The code is available at https://github.com/LiPang/HIRDiff.


title: Local moment matching with Erlang mixtures under automatic roughness penalization

abstract: We consider the class of Erlang mixtures for the task of density estimation on the positive real line when the only available information is given as local moments, a histogram with potentially higher order moments in some bins. By construction, the obtained moment problem is ill-posed and requires regularization. Several penalties can be used for such a task, such as a lasso penalty for sparsity of the representation, but we focus here on a simplified roughness penalty from the P-splines literature. We show that the corresponding hyperparameter can be selected without cross-validation through the computation of the so-called effective dimension of the estimator, which makes the estimator practical and adapted to these summarized information settings. The flexibility of the local moments representations allows interesting additions such as the enforcement of Value-at-Risk and Tail Value-at-Risk constraints on the resulting estimator, making the procedure suitable for the estimation of heavy-tailed densities.


title: An Invitation to Analytic Group Theory

abstract: This book is concerned with analytic approaches of studying groups and their actions. Much attention is devoted to the study of amenability and Kazhdan's property (T), which are perhaps the most important analytic properties of a group, but we also discuss other analytic notions. We tried to introduce tricks, ideas and lemmas that repeatedly turn out to be useful in various situations. Our main guideline was to expose the beauty of the theory and to present many different aspects of it while keeping the text short, simple and accessible, sometimes at the expense of diving deep or providing thorough expositions. Hopefully this book could serve as a smooth entry to Analytic Group Theory.


title: Perfect fluid spacetimes and $k$-almost yamabe solitons

abstract: In this article, we presumed that a perfect fluid is the source of the gravitational field while analyzing the solutions to the Einstein field equations. With this new and creative approach, here we study $k$-almost yamabe solitons and gradient $k$-almost yamabe solitons. First, two examples are constructed to ensure the existence of gradient $k$-almost Yamabe solitons. Then we show that if a perfect fluid spacetime admits a $k$-almost yamabe soliton, then its potential vector field is Killing if and only if the divergence of the potential vector field vanishes. Besides, we prove that if a perfect fluid spacetime permit a $k$-almost yamabe soliton ($g,k,\rho,\lambda$), then the integral curves of the vector field $\rho$ are geodesics, the spacetime becomes stationary and the isotopic pressure and energy density remain invariant under the velocity vector field $\rho$. Also, we establish that if the potential vector field is pointwise collinear with the velocity vector field and $\rho(a)=0$ where a is a scalar, then either the perfect fluid spacetime represents phantom era, or the potential function $\Phi$ is invariant under the velocity vector field $\rho$. Finally, we prove that if a perfect fluid spacetime permits a gradient $k$-almost yamabe soliton ($g,k,D\Phi,\lambda$) and $R, \lambda, k$ are invariant under $\rho$, then the vorticity of the fluid vanishes.


title: Phase Diagram and Spectroscopic Evidence of Supersolids in Quantum Ising Magnet K$_2$Co(SeO$_3$)$_2$

abstract: A supersolid is a quantum entangled state of matter that combines features of both superfluids and solids. Despite predictions of its analog in quantum magnets, the experimental realization was lacking until recent claims in triangular-lattice compounds. Here, we report the magnetic phase diagram and neutron scattering for a spin-1/2 triangular-lattice antiferromagnet, K$_2$Co(SeO$_3$)$_2$. In zero field, neutron spectroscopy reveals the gradual development of a $\sqrt3 \times sqrt3$ magnetic order associated with $Z_3$ symmetry breaking for temperatures 5 K < T < 15 K. Below 5 K, the emergence of a Goldstone mode from low-energy continuum scattering suggests that the system enters a supersolid phase characterized by the breaking of both $Z_3$ and spin rotational U(1) symmetry. In c-axis-oriented magnetic fields 1.1 T < B < 21 T, a prominent 1/3 magnetization plateau phase emerges, accompanied by a distinct high-field supersolid phase (18 T < B < 21 T). From the coherent spin wave excitations in the 1/3 magnetized plateau phase, we infer the spin Hamiltonian, which features nearest neighbor interactions with $J_z$ = 2.98(2) meV and $J_{\rm perp}$ = 0.21(3) meV. Our work demonstrates that K$_2$Co(SeO$_3$)$_2$ is a spectacular example of a spin-1/2 triangular-lattice quantum Ising antiferromagnet, documents its magnetic phase diagram highlighting two supersolid phases, and provides spectroscopic evidence of zero-field supersolidity.


title: Spec-Gaussian: Anisotropic View-Dependent Appearance for 3D Gaussian Splatting

abstract: The recent advancements in 3D Gaussian splatting (3D-GS) have not only facilitated real-time rendering through modern GPU rasterization pipelines but have also attained state-of-the-art rendering quality. Nevertheless, despite its exceptional rendering quality and performance on standard datasets, 3D-GS frequently encounters difficulties in accurately modeling specular and anisotropic components. This issue stems from the limited ability of spherical harmonics (SH) to represent high-frequency information. To overcome this challenge, we introduce Spec-Gaussian, an approach that utilizes an anisotropic spherical Gaussian (ASG) appearance field instead of SH for modeling the view-dependent appearance of each 3D Gaussian. Additionally, we have developed a coarse-to-fine training strategy to improve learning efficiency and eliminate floaters caused by overfitting in real-world scenes. Our experimental results demonstrate that our method surpasses existing approaches in terms of rendering quality. Thanks to ASG, we have significantly improved the ability of 3D-GS to model scenes with specular and anisotropic components without increasing the number of 3D Gaussians. This improvement extends the applicability of 3D GS to handle intricate scenarios with specular and anisotropic surfaces.


title: Regular resolution effectively simulates resolution

abstract: Regular resolution is a refinement of the resolution proof system requiring that no variable be resolved on more than once along any path in the proof. It is known that there exist sequences of formulas that require exponential-size proofs in regular resolution while admitting polynomial-size proofs in resolution. Thus, with respect to the usual notion of simulation, regular resolution is separated from resolution. An alternative, and weaker, notion for comparing proof systems is that of an "effective simulation," which allows the translation of the formula along with the proof when moving between proof systems. We prove that regular resolution is equivalent to resolution under effective simulations. As a corollary, we recover in a black-box fashion a recent result on the hardness of automating regular resolution.


title: Differentially Private Bayesian Persuasion

abstract: The tension between persuasion and privacy preservation is common in real-world settings. Online platforms should protect the privacy of web users whose data they collect, even as they seek to disclose information about these data to selling advertising spaces. Similarly, hospitals may share patient data to attract research investments with the obligation to preserve patients' privacy. To deal with these issues, we develop a framework to study Bayesian persuasion under differential privacy constraints, where the sender must design an optimal signaling scheme for persuasion while guaranteeing the privacy of each agent's private information in the database. To understand how privacy constraints affect information disclosure, we explore two perspectives within Bayesian persuasion: one views the mechanism as releasing a posterior about the private data, while the other views it as sending an action recommendation. The posterior-based formulation helps consider privacy-utility tradeoffs, quantifying how the tightness of privacy constraints impacts the sender's optimal utility. For any instance in a common utility function family and a wide range of privacy levels, a significant constant utility gap can be found between any two of the three conditions: $\epsilon$-differential privacy constraint, relaxation $(\epsilon,\delta)$-differential privacy constraint, and no privacy constraint. We further geometrically characterize optimal signaling schemes under different types of constraints ($\epsilon$-differential privacy, $(\epsilon,\delta)$-differential privacy and Renyi differential privacy), all of which can be seen as finding concave hulls in constrained posterior regions. Meanwhile, by taking the action-based view of persuasion, we provide polynomial-time algorithms for computing optimal differentially private signaling schemes, as long as a mild homogeneous condition is met.


title: SemEval-2024 Task 8: Weighted Layer Averaging RoBERTa for Black-Box Machine-Generated Text Detection

abstract: This document contains the details of the authors' submission to the proceedings of SemEval 2024's Task 8: Multigenerator, Multidomain, and Multilingual Black-Box Machine-Generated Text Detection Subtask A (monolingual) and B. Detection of machine-generated text is becoming an increasingly important task, with the advent of large language models (LLMs). In this paper, we lay out how using weighted averages of RoBERTa layers lets us capture information about text that is relevant to machine-generated text detection.


title: Evaluating Classification Algorithms: Exoplanet Detection using Kepler Time Series Data

abstract: This study presents a comprehensive evaluation of various classification algorithms used for the detection of exoplanets using labeled time series data from the Kepler mission. The study investigates the performance of six commonly employed algorithms, namely Random Forest, Support Vector Machine, Logistic Regression, K-Nearest Neighbors, Naive Bayes, and Decision Tree. The evaluation process involves analyzing a dataset that consists of time series measurements of star brightness, accompanied by labels indicating the presence or absence of exoplanets. To assess the effectiveness of each algorithm in accurately identifying exoplanets, performance metrics such as accuracy, precision, recall, and F1 score are employed. The results demonstrate that the Random Forest algorithm achieves the highest accuracy of 94.2\%, followed closely by the Support Vector Machine with 93.8 percent accuracy. The Logistic Regression algorithm achieves an accuracy of 91.5 percent, while the K-Nearest Neighbors, Naive Bayes, and Decision Tree algorithms achieve accuracies of 89.6\%, 87.3\%, and 85.9\% respectively. Furthermore, the precision, recall, and F1 score metrics provide insights into the strengths and weaknesses of each classifier. The Random Forest algorithm exhibits a precision of 0.92, recall of 0.95, and F1 score of 0.93, indicating a balanced performance in correctly identifying both positive and negative instances. The Support Vector Machine also demonstrates strong performance with precision, recall, and F1 score values of 0.91, 0.94, and 0.92 respectively. The evaluation demonstrates that Random Forest and Support Vector Machine algorithms are well-suited for exoplanet detection using Kepler time series data. These findings enhance our understanding of the detection process and assist in selecting suitable algorithms for future studies.


title: Automorphic density estimates and optimal Diophantine exponents

abstract: The present paper is devoted to establishing an optimal approximation exponent for the action of an irreducible uniform lattice subgroup of a product group on its proper factors. Previously optimal approximation exponents for lattice actions on homogeneous spaces were established under the assumption that the restriction of the automorphic representation to the stability group is suitably tempered. However, for irreducible lattices in semisimple algebraic groups, either this property does not hold or it amounts to an instance of the Ramanujan-Petersson-Selberg conjecture. Sarnak's Density Hypothesis and its variants bounding the multiplicities of irreducible representations occurring in the decomposition of the automorphic representation can be viewed as a weakening of the temperedness property. A refined form of this hypothesis has recently been established for uniform irreducible arithmetic congruence lattices arising from quaternion algebras. We employ this result in order to establish - unconditionally - an optimal approximation exponent for the actions of these lattices on the associated symmetric spaces. We also give a general spectral criterion for the optimality of the approximation exponent for irreducible uniform lattices in a product of arbitrary Gelfand pairs. Our methods involve utilizing the multiplicity bounds in the pre-trace formula, establishing refined estimates of the spherical transforms, and carrying out an elaborate spectral analysis that bounds the Hilbert-Schmidt norms of carefully balanced geometric convolution operators.


title: GoT: Decreasing DCC Queuing for CAM Messages

abstract: Vehicular networks use Decentralized Congestion Control (DCC) mechanisms to operate effectively, but this mechanism may introduce queuing delays. Freshness of Cooperative Awareness Messages (CAMs) is critical for their usefulness. In this letter we explore how the presence of other types of traffic additional to CAMs, even with lower priorities, has an impact on the freshness of CAM messages due to DCC queuing. Finally, we propose Generate-on-Time (GoT), which is a simple mechanism that reduces DCC queuing delays for CAM messages without introducing any downside in other performance metrics.


title: Limits of Rauzy graphs of languages with subexponential complexity

abstract: To a subshift over a finite alphabet, one can naturally associate an infinite family of finite graphs, called its Rauzy graphs. We show that for a subshift of subexponential complexity the Rauzy graphs converge to the line $\mathbf{Z}$ in the sense of Benjamini-Schramm convergence if and only if its complexity function $p(n)$ is unbounded and satisfies $\lim_n\frac{p(n+1)}{p(n)} = 1$. We then apply this criterion to many examples of well-studied dynamical systems. If the subshift is moreover uniquely ergodic then we show that the limit of labelled Rauzy graphs if it exists can be identified with the unique invariant measure. In addition we consider an example of a non uniquely ergodic system recently studied by Cassaigne and Kabor\'e and identify a continuum of invariant measures with subsequential limits of labelled Rauzy graphs.


title: One-dimensional Continuous-Time Quantum Markov Chains: qubit probabilities and measures

abstract: Quantum Markov chains (QMCs) are positive maps on a trace-class space describing open quantum dynamics on graphs. Such objects have a statistical resemblance with classical random walks, while at the same time it allows for internal (quantum) degrees of freedom. In this work we study continuous-time QMCs on the integer line, half-line and finite segments, so that we are able to obtain exact probability calculations in terms of the associated matrix-valued orthogonal polynomials and measures. The methods employed here are applicable to a wide range of settings, but we will restrict to classes of examples for which the Lindblad generators are induced by a single positive map, and such that the Stieltjes transforms of the measures and their inverses can be calculated explicitly.


title: Introduction to Variational Quantum Algorithms

abstract: This document is a pdf version of the series of blogposts about variational quantum algorithms (VQA) I originally posted on my blog Musty Thoughts. It provides an explanation of the basic variational algorithms, such as Variational Quantum Eigensolver (VQE) and Quantum Approximate Optimization Algorithm (QAOA), as well as a more general framework for VQAs. It also describes some more advanced techniques that can be used to make these algorithms more efficient, as well as the challenges associated with using them.


title: A Geometry of entanglement and entropy

abstract: This paper explores the fundamental relationship between the geometry of entanglement and von Neumann entropy, shedding light on the intricate nature of quantum correlations. We provide a comprehensive overview of entanglement, highlighting its crucial role in quantum mechanics. Our focus centers on the connection between entanglement, von Neumann entropy, a measure of the information content within quantum systems and the geometry of composite Hilbert spaces. We discuss various methods for quantifying and characterizing entanglement through a geometric perspective and elucidate how this connection unveils the nature of quantum entanglement, offering valuable insights into the underlying structure of quantum systems. This study underscores the significance of geometry as a key tool for understanding the rich landscape of quantum correlations and their implications across various domains of physics and information theory. An example of entanglement as an indispensable resource for the task of state teleportation is presented at the end.


title: Lorentz invariance and quantum mechanics

abstract: Bohmian mechanics and spontaneous collapse models are theories that overcome the quantum measurement problem. While they are naturally formulated for non-relativistic systems, it has proven difficult to formulate Lorentz invariant extensions, primarily due to the inherent non-locality, which is unavoidable due to Bell's theorem. There are trivial ways to make space-time theories Lorentz invariant, but the challenge is to achieve what Bell dubbed ``serious Lorentz invariance''. However, this notion is hard to make precise. This is reminiscent of the debate on the meaning of general invariance in Einstein's theory of general relativity. The issue there is whether the requirement of general invariance is physically vacuous (in the sense that any space-time theory can be made generally invariant) or whether it is a fundamental physical principle. Here, we want to consider two of the more promising avenues that have emerged from that debate in order to explore what serious Lorentz invariance could mean. First, we will consider Anderson's approach based on the identification of absolute objects. Second, we will consider a relativity principle for isolated subsystems. Using these criteria, we will evaluate a number of Lorentz invariant Bohmian models and a spontaneous collapse model, finding that the latter satisfies both criteria, while there are some Bohmian models that violate the criteria. However, some Bohmian models that satisfy both criteria still do not seem seriously Lorentz invariant. While these notions may hence still not capture exactly what serious Lorentz invariance ought to be, they clarify what aspects of relativity theory (in addition to locality) may need to be given up in passing from classical to quantum theory.


title: Regioselective On-Surface Synthesis of [3]Triangulene Graphene Nanoribbons

abstract: The integration of low-energy states into bottom-up engineered graphene nanoribbons (GNRs) is a robust strategy for realizing materials with tailored electronic band structure for nanoelectronics. Low-energy zero-modes (ZMs) can be introduced into nanographenes (NGs) by creating an imbalance between the two sublattices of graphene. This phenomenon is exemplified by the family of [n]triangulenes. Here, we demonstrate the synthesis of [3]triangulene-GNRs, a regioregular one-dimensional (1D) chain of [3]triangulenes linked by five-membered rings. Hybridization between ZMs on adjacent [3]triangulenes leads to the emergence of a narrow band gap, Eg = 0.7 eV, and topological end states that are experimentally verified using scanning tunneling spectroscopy (STS). Tight-binding and first-principles density functional theory (DFT) calculations within the local spin density approximation (LSDA) corroborate our experimental observations. Our synthetic design takes advantage of a selective on-surface head-to-tail coupling of monomer building blocks enabling the regioselective synthesis of [3]triangulene-GNRs. Detailed ab initio theory provides insight into the mechanism of on-surface radical polymerization, revealing the pivotal role of Au-C bond formation/breakage in driving selectivity.


title: Fusion Encoder Networks

abstract: In this paper we present fusion encoder networks (FENs): a class of algorithms for creating neural networks that map sequences to outputs. The resulting neural network has only logarithmic depth (alleviating the degradation of data as it propagates through the network) and can process sequences in linear time (or in logarithmic time with a linear number of processors). The crucial property of FENs is that they learn by training a quasi-linear number of constant-depth feed-forward neural networks in parallel. The fact that these networks have constant depth means that backpropagation works well. We note that currently the performance of FENs is only conjectured as we are yet to implement them.


title: Dual-wavelength femtosecond laser-induced low-fluence single-shot damage and ablation of silicon

abstract: A study of damage and ablation of silicon induced by two individual femtosecond laser pulses of different wavelengths, 1030 and 515 nm, is performed to address the physical mechanisms of dual-wavelength ablation and reveal possibilities for increasing the ablation efficiency. The produced ablation craters and damaged areas are analyzed as a function of time separation between the pulses and are compared with monochromatic pulses of the same total energy. Particular attention is given to low-fluence irradiation regimes when the energy densities in each pulse are below the ablation threshold and thus no shielding of the subsequent pulse by the ablation products occurs. The sequence order of pulses is demonstrated to be essential in bi-color ablation with higher material removal rates when a shorter-wavelength pulse arrives first at the surface. At long delays of 30-100 ps, the dual-wavelength ablation is found to be particularly strong with the formation of deep smooth craters. This is explained by the expansion of a hot liquid layer produced by the first pulse with a drastic decrease in the surface reflectivity at this timescale. The results provide insight into the processes of dual-wavelength laser ablation offering a better control of the energy deposition into material.


title: Symbolic Listings as Computation

abstract: We propose an algebraic model of computation which formally relates symbolic listings, complexity of Boolean functions, and low depth arithmetic circuit complexity. In this model algorithms are arithmetic formula expressing symbolic listings of YES instances of Boolean functions, and computation is executed via partial differential operators. We consider the Chow rank of an arithmetic formula as a measure of complexity and establish the Chow rank of multilinear polynomials with totally non-overlapping monomial support. We also provide Chow rank non-decreasing transformations from sets of graphs to sets of functional graphs.


title: Extension of Bressoud's generalization of Borwein's conjecture and some exact results

abstract: In this paper, we conjecture an extension to Bressoud's 1996 generalization of Borwein's famous 1990 conjecture. We then state a few infinite hierarchies of non-negative $q$-series identities which are interesting examples of our proposed conjecture and Bressoud's generalized conjecture. Finally, using certain positivity-preserving transformations for $q$-binomial coefficients, we prove the non-negativity of the infinite families.


title: On real and imaginary roots of generalised Okamoto polynomials

abstract: Recently, B. Yang and J. Yang derived a family of rational solutions to the Sasa-Satsuma equation, and showed that any of its members constitutes a partial-rogue wave provided that an associated generalised Okamoto polynomial has no real roots or no imaginary roots. In this paper, we derive exact formulas for the number of real and the number of imaginary roots of the generalised Okamoto polynomials. On the one hand, this yields a list of partial-rogue waves that satisfy the Sasa-Satsuma equation. On the other hand, it gives families of rational solutions of the fourth Painlev\'e equation that are pole-free on either the real line or the imaginary line. To obtain these formulas, we develop an algorithmic procedure to derive the qualitative distribution of singularities on the real line for real solutions of Painlev\'e equations, starting from the known distribution for a seed solution, through the action of B\"acklund transformations on the rational surfaces forming their spaces of initial conditions.


title: Modelling 1D Partially Absorbing Boundaries for Brownian Molecular Communication Channels

abstract: Molecular Communication (MC) architectures suffer from molecular build-up in the channel if they do not have appropriate reuptake mechanisms. The molecular build-up either leads to intersymbol interference (ISI) or reduces the transmission rate. To measure the molecular build-up, we derive analytic expressions for the incidence rate and absorption rate for one-dimensional MC channels where molecular dispersion obeys the Brownian Motion. We verify each of our key results with Monte Carlo simulations. Our results contribute to the development of more complicated models and analytic expressions to measure the molecular build-up and the impact of ISI in MC.


title: Nakayama-type phenomena in higher Auslander--Reiten theory

abstract: This paper surveys recent contructions in higher Auslander--Reiten theory. We focus on those which, due to their combinatorial properties, can be regarded as higher dimensional analogues of path algebras of linearly oriented type $\mathbb{A}$ quivers. These include higher dimensional analogues of Nakayama algebras, of the mesh category of type $\mathbb{Z}\mathbb{A}_\infty$ and the tubes, and of the triangulated category generated by an $m$-spherical object. For $m=2$, the latter category can be regarded as the higher cluster category of type $\mathbb{A}_\infty$ whose cluster-tilting combinatorics are controlled by the triangulations of the cylic apeirotope.


title: Optimality of weighted contracts for multi-agent contract design with a budget

abstract: We study a contract design problem between a principal and multiple agents. Each agent participates in an independent task with binary outcomes (success or failure), in which it may exert costly effort towards improving its probability of success, and the principal has a fixed budget which it can use to provide outcome-dependent rewards to the agents. Crucially, we assume the principal cares only about maximizing the agents' probabilities of success, not how much of the budget it expends. We first show that a contract is optimal for some objective if and only if it is a successful-get-everything contract. An immediate consequence of this result is that piece-rate contracts and bonus-pool contracts are never optimal in this setting. We then show that for any objective, there is an optimal priority-based weighted contract, which assigns positive weights and priority levels to the agents, and splits the budget among the highest-priority successful agents, with each such agent receiving a fraction of the budget proportional to her weight. This result provides a significant reduction in the dimensionality of the principal's optimal contract design problem and gives an interpretable and easily implementable optimal contract. Finally, we discuss an application of our results to the design of optimal contracts with two agents and quadratic costs. In this context, we find that the optimal contract assigns a higher weight to the agent whose success it values more, irrespective of the heterogeneity in the agents' cost parameters. This suggests that the structure of the optimal contract depends primarily on the bias in the principal's objective and is, to some extent, robust to the heterogeneity in the agents' cost functions.


title: Labor-based grading practices in the physics classroom

abstract: I describe the assessment framework of labor-based contract grading (LBCG). In a labor-based grading scheme, the time and effort ("labor") a student spends on an assignment determines the credit they receive; the contract component requires students to design projects with clearly-defined goals and deliverables which must be satisfied to earn credit. LBCG is intended to promote student agency and engagement, and to provide a more equitable assessment framework given that students come with a wide range of prior experiences and preparation. I illustrate the LBCG framework within the context of an upper level physics course, using a particular assignment as an example; I also provide information on student experiences and engagement.


title: Statistical Games

abstract: This work contains the mathematical exploration of a few prototypical games in which central concepts from statistics and probability theory naturally emerge. The first two kinds of games are termed Fisher and Bayesian games, which are connected to Frequentist and Bayesian statistics, respectively. Later, a more general type of game is introduced, termed Statistical game, in which a further parameter, the players' relative risk aversion, can be set. In this work, we show that Fisher and Bayesian games can be viewed as limiting cases of Statistical games. Therefore, Statistical games can be viewed as a unified framework, incorporating both Frequentist and Bayesian statistics. Furthermore, a philosophical framework is (re-)presented -- often referred to as minimax regret criterion -- as a general approach to decision making. The main motivation for this work was to embed Bayesian statistics into a broader decision-making framework, where, based on collected data, actions with consequences have to be made, which can be translated to utilities (or rewards/losses) of the decision-maker. The work starts with the simplest possible toy model, related to hypothesis testing and statistical inference. This choice has two main benefits: i.) it allows us to determine (conjecture) the behaviour of the equilibrium strategies in various limiting cases ii.) this way, we can introduce Statistical games without requiring additional stochastic parameters. The work contains game theoretical methods related to two-player, non-cooperative games to determine and prove equilibrium strategies of Fisher, Bayesian and Statistical games. It also relies on analytical tools for derivations concerning various limiting cases.

categories: math.ST cs.AI cs.GT cs.LG econ.TH stat.ML stat.TH


title: Concurrent Learning of Policy and Unknown Safety Constraints in Reinforcement Learning

abstract: Reinforcement learning (RL) has revolutionized decision-making across a wide range of domains over the past few decades. Yet, deploying RL policies in real-world scenarios presents the crucial challenge of ensuring safety. Traditional safe RL approaches have predominantly focused on incorporating predefined safety constraints into the policy learning process. However, this reliance on predefined safety constraints poses limitations in dynamic and unpredictable real-world settings where such constraints may not be available or sufficiently adaptable. Bridging this gap, we propose a novel approach that concurrently learns a safe RL control policy and identifies the unknown safety constraint parameters of a given environment. Initializing with a parametric signal temporal logic (pSTL) safety specification and a small initial labeled dataset, we frame the problem as a bilevel optimization task, intricately integrating constrained policy optimization, using a Lagrangian-variant of the twin delayed deep deterministic policy gradient (TD3) algorithm, with Bayesian optimization for optimizing parameters for the given pSTL safety specification. Through experimentation in comprehensive case studies, we validate the efficacy of this approach across varying forms of environmental constraints, consistently yielding safe RL policies with high returns. Furthermore, our findings indicate successful learning of STL safety constraint parameters, exhibiting a high degree of conformity with true environmental safety constraints. The performance of our model closely mirrors that of an ideal scenario that possesses complete prior knowledge of safety constraints, demonstrating its proficiency in accurately identifying environmental safety constraints and learning safe policies that adhere to those constraints.


title: Multi-graph Graph Matching for Coronary Artery Semantic Labeling

abstract: Coronary artery disease (CAD) stands as the leading cause of death worldwide, and invasive coronary angiography (ICA) remains the gold standard for assessing vascular anatomical information. However, deep learning-based methods encounter challenges in generating semantic labels for arterial segments, primarily due to the morphological similarity between arterial branches. To address this challenge, we model the vascular tree as a graph and propose a multi-graph graph matching (MGM) algorithm for coronary artery semantic labeling. The MGM algorithm assesses the similarity between arterials in multiple vascular tree graphs, taking into account the cycle consistency between each pair of graphs. This ensures that unannotated arterial segments are appropriately labeled by matching them with annotated segments. Through the incorporation of anatomical graph structure, radiomics features, and semantic mapping, the proposed MGM model achieves an impressive accuracy of 0.9471 for coronary artery semantic labeling. This approach presents a novel tool for coronary artery analysis using ICA videos, offering valuable insights into vascular health and pathology.


title: Multi-Object Tracking by Hierarchical Visual Representations

abstract: We propose a new visual hierarchical representation paradigm for multi-object tracking. It is more effective to discriminate between objects by attending to objects' compositional visual regions and contrasting with the background contextual information instead of sticking to only the semantic visual cue such as bounding boxes. This compositional-semantic-contextual hierarchy is flexible to be integrated in different appearance-based multi-object tracking methods. We also propose an attention-based visual feature module to fuse the hierarchical visual representations. The proposed method achieves state-of-the-art accuracy and time efficiency among query-based methods on multiple multi-object tracking benchmarks.