title: Self-Organized Construction by Minimal Surprise

abstract: For the robots to achieve a desired behavior, we can program them directly, train them, or give them an innate driver that makes the robots themselves desire the targeted behavior. With the minimal surprise approach, we implant in our robots the desire to make their world predictable. Here, we apply minimal surprise to collective construction. Simulated robots push blocks in a 2D torus grid world. In two variants of our experiment we either allow for emergent behaviors or predefine the expected environment of the robots. In either way, we evolve robot behaviors that move blocks to structure their environment and make it more predictable. The resulting controllers can be applied in collective construction by robots.


title: Over-the-Air Majority Vote Computation with Modulation on Conjugate-Reciprocal Zeros

abstract: In this study, we propose a new approach to compute the majority vote (MV) function based on modulation on conjugate-reciprocal zeros (MOCZ) and introduce three different methods. The proposed methods rely on the fact that when a linear combination of polynomials is evaluated at one of the roots of a polynomial in the combination, that polynomial does contribute to the evaluation. To utilize this property, each transmitter maps the votes to the zeros of a Huffman polynomial, and the corresponding polynomial coefficients are transmitted. The receiver evaluates the polynomial constructed by the elements of the superposed sequence at conjugate-reciprocal zero pairs and detects the MV with a direct zero-testing (DiZeT) decoder. With differential and index-based encoders, we eliminate the need for power-delay information at the receiver while improving the computation error rate (CER) performance. The proposed methods do not use instantaneous channel state information at the transmitters and receiver. Thus, they provide robustness against phase and time synchronization errors. We theoretically analyze the CERs of the proposed methods. Finally, we demonstrate their efficacy in a distributed median computation scenario in a fading channel.


title: Paintings and Drawings Aesthetics Assessment with Rich Attributes for Various Artistic Categories

abstract: Image aesthetic evaluation is a highly prominent research domain in the field of computer vision. In recent years, there has been a proliferation of datasets and corresponding evaluation methodologies for assessing the aesthetic quality of photographic works, leading to the establishment of a relatively mature research environment. However, in contrast to the extensive research in photographic aesthetics, the field of aesthetic evaluation for paintings and Drawings has seen limited attention until the introduction of the BAID dataset in March 2023. This dataset solely comprises overall scores for high-quality artistic images. Our research marks the pioneering introduction of a multi-attribute, multi-category dataset specifically tailored to the field of painting: Aesthetics of Paintings and Drawings Dataset (APDD). The construction of APDD received active participation from 28 professional artists worldwide, along with dozens of students specializing in the field of art. This dataset encompasses 24 distinct artistic categories and 10 different aesthetic attributes. Each image in APDD has been evaluated by six professionally trained experts in the field of art, including assessments for both total aesthetic scores and aesthetic attribute scores. The final APDD dataset comprises a total of 4985 images, with an annotation count exceeding 31100 entries. Concurrently, we propose an innovative approach: Art Assessment Network for Specific Painting Styles (AANSPS), designed for the assessment of aesthetic attributes in mixed-attribute art datasets. Through this research, our goal is to catalyze advancements in the field of aesthetic evaluation for paintings and drawings, while enriching the available resources and methodologies for its further development and application.


title: CVXSADes: a stochastic algorithm for constructing optimal exact regression designs with single or multiple objectives

abstract: We propose an algorithm to construct optimal exact designs (EDs). Most of the work in the optimal regression design literature focuses on the approximate design (AD) paradigm due to its desired properties, including the optimality verification conditions derived by Kiefer (1959, 1974). ADs may have unbalanced weights, and practitioners may have difficulty implementing them with a designated run size $n$. Some EDs are constructed using rounding methods to get an integer number of runs at each support point of an AD, but this approach may not yield optimal results. To construct EDs, one may need to perform new combinatorial constructions for each $n$, and there is no unified approach to construct them. Therefore, we develop a systematic way to construct EDs for any given $n$. Our method can transform ADs into EDs while retaining high statistical efficiency in two steps. The first step involves constructing an AD by utilizing the convex nature of many design criteria. The second step employs a simulated annealing algorithm to search for the ED stochastically. Through several applications, we demonstrate the utility of our method for various design problems. Additionally, we show that the design efficiency approaches unity as the number of design points increases.


title: E-TSL: A Continuous Educational Turkish Sign Language Dataset with Baseline Methods

abstract: This study introduces the continuous Educational Turkish Sign Language (E-TSL) dataset, collected from online Turkish language lessons for 5th, 6th, and 8th grades. The dataset comprises 1,410 videos totaling nearly 24 hours and includes performances from 11 signers. Turkish, an agglutinative language, poses unique challenges for sign language translation, particularly with a vocabulary where 64% are singleton words and 85% are rare words, appearing less than five times. We developed two baseline models to address these challenges: the Pose to Text Transformer (P2T-T) and the Graph Neural Network based Transformer (GNN-T) models. The GNN-T model achieved 19.13% BLEU-1 score and 3.28% BLEU-4 score, presenting a significant challenge compared to existing benchmarks. The P2T-T model, while demonstrating slightly lower performance in BLEU scores, achieved a higher ROUGE-L score of 22.09%. Additionally, we benchmarked our model using the well-known PHOENIX-Weather 2014T dataset to validate our approach.


title: Can Large Language Models Make the Grade? An Empirical Study Evaluating LLMs Ability to Mark Short Answer Questions in K-12 Education

abstract: This paper presents reports on a series of experiments with a novel dataset evaluating how well Large Language Models (LLMs) can mark (i.e. grade) open text responses to short answer questions, Specifically, we explore how well different combinations of GPT version and prompt engineering strategies performed at marking real student answers to short answer across different domain areas (Science and History) and grade-levels (spanning ages 5-16) using a new, never-used-before dataset from Carousel, a quizzing platform. We found that GPT-4, with basic few-shot prompting performed well (Kappa, 0.70) and, importantly, very close to human-level performance (0.75). This research builds on prior findings that GPT-4 could reliably score short answer reading comprehension questions at a performance-level very close to that of expert human raters. The proximity to human-level performance, across a variety of subjects and grade levels suggests that LLMs could be a valuable tool for supporting low-stakes formative assessment tasks in K-12 education and has important implications for real-world education delivery.


title: Harvesting Energy from Soil-Air Temperature Differences for Batteryless IoT Devices: A Case Study

abstract: The temperature difference between soil and air holds the potential to generate energy to power many low-power IoT devices. However, there is a lack of studies in the literature that explore the nuances of soil-air thermal energy harvesting. This paper offers a comprehensive discussion on soil-air thermal energy harvesting. We engineer a custom Soil-air Thermoelectric Generator (SoTEG) that incorporates an off-the-shelf TEG and an efficient heat transfer network. A detailed discussion of the design and analysis of SoTEG is presented along with a versatile simulation model which can be used to simulate the performance of the harvester under different ambient conditions. Investigations using the model and results gathered from experiments demonstrate that the SoTEG has a heat transfer efficiency of 34.5% with room for improvement and can power a load from temperature differences as low as 3 {\deg}C between soil and air, or 1 {\deg}C across the TEG. Power generated by SoTEG at 3 {\deg}C difference amounts to 110 {\mu}Wor a power density of 11.58mW/m2. When connected to a Power Management Unit (PMU), the combined system generates around 30 {\mu}Wat 3 {\deg}C. During a 14-day outdoor deployment in a winter month, the maximum power generated by the combined system is 337 {\mu}W when the temperature difference across the TEG is 2.75 {\deg}C. Additionally, the model analysis reveals that the weather conditions have an impact on the harvester. While Solar radiation enhances power generation, wind can either improve or diminish the harvested energy depending on whether it is day or night.


title: General harmonic measures for distance-expanding dynamical systems

abstract: Partially motivated by the study of I. Binder, N. Makarov, and S. Smirnov [BMS03] on dimension spectra of polynomial Cantor sets, we initiate the investigation on some general harmonic measures, inspired by Sullivan's dictionary, for distance-expanding dynamical systems. Let $f\colon X\to X$ be an open distance-expanding map on a compact metric space $(X,\rho)$. A Gromov hyperbolic tile graph $\Gamma$ associated to the dynamical system $(X,f)$ is constructed following the ideas from M. Bonk, D. Meyer [BM17] and P. Ha\"issinsky, K. M. Pilgrim [HP09]. We consider a class of one-sided random walks associated with $(X,f)$ on $\Gamma$. They induce a Martin boundary of the tile graph, which may be different from the hyperbolic boundary. We show that the Martin boundary of such a random walk admits a surjection to $X$. We provide a class of examples to show that the surjection may not be a homeomorphism. Such random walks also induce measures on $X$ called harmonic measures. When $\rho$ is a visual metric, we establish an equality between the fractal dimension of the harmonic measure and the asymptotic quantities of the random walk.


title: Ladder operators for generalized Zernike or disk polynomials

abstract: The aim of this work is to report on several ladder operators for generalized Zernike polynomials which are orthogonal polynomials on the unit disk $\mathbf{D}\,=\,\{(x,y)\in \mathbb{R}^2: \; x^2+y^2\leqslant 1\}$ with respect to the weight function $W_{\mu}(x,y)\,=\,(1-x^2-y^2)^{\mu}$ where $\mu>-1$. These polynomials can be expressed in terms of the univariate Jacobi polynomials and, thus, we start by deducing several ladder operators for the Jacobi polynomials. Due to the symmetry of the disk and the weight function $W_{\mu}$, it turns out that it is more convenient to use complex variables $z\,=\, x+iy$ and $\bar{z}\,=\,x-iy$. Indeed, this allows us to systematically use the univariate ladder operators to deduce analogous ones for the complex generalized Zernike polynomials. Some of these univariate and bivariate ladder operators already appear in the literature. However, to the best of our knowledge, the proofs presented here are new. Lastly, we illustrate the use of ladder operators in the study of the orthogonal structure of some Sobolev spaces.


title: Defense against Joint Poison and Evasion Attacks: A Case Study of DERMS

abstract: There is an upward trend of deploying distributed energy resource management systems (DERMS) to control modern power grids. However, DERMS controller communication lines are vulnerable to cyberattacks that could potentially impact operational reliability. While a data-driven intrusion detection system (IDS) can potentially thwart attacks during deployment, also known as the evasion attack, the training of the detection algorithm may be corrupted by adversarial data injected into the database, also known as the poisoning attack. In this paper, we propose the first framework of IDS that is robust against joint poisoning and evasion attacks. We formulate the defense mechanism as a bilevel optimization, where the inner and outer levels deal with attacks that occur during training time and testing time, respectively. We verify the robustness of our method on the IEEE-13 bus feeder model against a diverse set of poisoning and evasion attack scenarios. The results indicate that our proposed method outperforms the baseline technique in terms of accuracy, precision, and recall for intrusion detection.


title: Raney extensions of frames: algebraic aspects

abstract: We draw from Raney duality and generalize the notion of canonical extension for distributive lattices to the context of frames. This is a generalization because for distributive lattices we are in the context of coherent spaces, whereas frames represent arbitrary spaces. We introduce Raney extensions of frames, pairs $(L,C)$ where $C$ is a coframe, $L\subseteq C$ is a frame that meet-generates it, and the inclusion $L\subseteq C$ preserves the frame operations as well as the strongly exact meets. We think of these as being algebraic versions of the embedding $\Omega(X)\subseteq \mathcal{U}(X)$ of a frame of opens into a lattice of saturated sets (upper sets in the specialization order). We show that a frame may have several Raney extensions, and all satisfy a generalization of the properties of density and compactness from the theory of canonical extensions. We show that every frame $L$ has the largest and the smallest Raney extension, and that these are, respectively, the coframe of fitted sublocales $\mathsf{S}_{\mathfrak{o}}(L)$ and the opposite of the frame $\mathsf{S}_{\mathfrak{c}}(L)$ of joins of closed sublocales. We thus show that these structures have universal properties which are dual of one another. For Raney extensions $(L,C)$ and $(M,D)$, we characterize the frame morphisms $f:L\to M$ which can be extended to a morphism of Raney extensions. We apply this result to obtain a characterization of morphisms of frames $f:L\to M$ which can be lifted to frame morphisms $\mathsf{S}_{\mathfrak{c}}(L)\to \mathsf{S}_{\mathfrak{c}}(M)$. We also show that the canonical extension of a locally compact frame is the free Raney extension over it such that it is algebraic (generated by its compact elements). We give a characterization of sobriety and of strict sobriety based on a variation of the compactness property of the extension $(\Omega(X),\mathcal{U}(X))$.


title: Steered Response Power for Sound Source Localization: A Tutorial Review

abstract: In the last three decades, the Steered Response Power (SRP) method has been widely used for the task of Sound Source Localization (SSL), due to its satisfactory localization performance on moderately reverberant and noisy scenarios. Many works have analyzed and extended the original SRP method to reduce its computational cost, to allow it to locate multiple sources, or to improve its performance in adverse environments. In this work, we review over 200 papers on the SRP method and its variants, with emphasis on the SRP-PHAT method. We also present eXtensible-SRP, or X-SRP, a generalized and modularized version of the SRP algorithm which allows the reviewed extensions to be implemented. We provide a Python implementation of the algorithm which includes selected extensions from the literature.


title: Characterizing inner automorphisms and realizing outer automorphisms

abstract: We give elementary proofs of the following two theorems on automorphisms of a finite group G: (1) An automorphism of G is inner if and only if it extends to an automorphism of every finite group containing G. (2) There exists a finite group, whose outer automorphism group is isomorphic to G. The first theorem was proved by Pettet using a graph-theoretical construction of Heineken-Liebeck. A Lie-theoretical proof of the second theorem was sketched by Cornulier in a MathOverflow post. Our proofs are purely group-theoretical.


title: Polarization Purity and Dispersion Characteristics of Nested Antiresonant Nodeless Hollow-Core Optical Fiber at Near- and Mid-IR Wavelengths for Quantum Communications

abstract: Advancements in quantum communication and sensing require improved optical transmission that ensures excellent state purity and reduced losses. While free-space optical communication is often preferred, its use becomes challenging over long distances due to beam divergence, atmospheric absorption, scattering, and turbulence, among other factors. In the case of polarization encoding, traditional silica-core optical fibers, though commonly used, struggle with maintaining state purity due to stress-induced birefringence. Hollow core fibers, and in particular nested antiresonant fibers (NANF), have recently been shown to possess unparalleled polarization purity with minimal birefringence in the telecom wavelength range using continuous-wave (CW) laser light. Here, we investigate a 1-km NANF designed for wavelengths up to the 2-{\mu}m waveband. Our results show a polarization extinction ratio between ~-30 dB and ~-70 dB across the 1520 to 1620 nm range in CW operation, peaking at ~-60 dB at the 2-{\mu}m design wavelength. Our study also includes the pulsed regime, providing insights beyond previous CW studies, e.g., on the propagation of broadband quantum states of light in NANF at 2 {\mu}m, and corresponding extinction-ratio-limited quantum bit-error rates (QBER) for prepare-measure and entanglement-based quantum key distribution (QKD) protocols. Our findings highlight the potential of these fibers in emerging applications such as QKD, pointing towards a new standard in optical quantum technologies.


title: Extended State Observer for Mismatch Disturbances Using Taylor Approximation of the Integral

abstract: The development of disturbance estimators using extended state observers (ESOs) typically assumes that the system is observable. This paper introduces an improved method for systems that are initially unobservable, leveraging Taylor expansion to approximate the integral of disturbance dynamics. A new extended system is formulated based on this approximation, enabling the design of an observer that achieves exponential stability of the error dynamics. The proposed method's efficacy is demonstrated through a practical example, highlighting its potential for robust disturbance estimation in dynamic systems.


title: Analysis about Theoretical Foundations for Method to Enhancing ASR Performance using OCR Word Frequency Differences

abstract: As interest in large language models (LLMs) grows, the importance of accuracy in automatic speech recognition (ASR) has become more pronounced. This is particularly true for lectures that include specialized terminology, where the success rate of traditional ASR models tends to be low, posing a challenging problem. A method to improve ASR performance for specialized terminology using the word frequency difference approach has been proposed. Through experiments and data analysis, we investigate whether this proposal effectively addresses the issue. Additionally, we introduce the power law as the theoretical foundation for the relative frequency


title: RepAugment: Input-Agnostic Representation-Level Augmentation for Respiratory Sound Classification

abstract: Recent advancements in AI have democratized its deployment as a healthcare assistant. While pretrained models from large-scale visual and audio datasets have demonstrably generalized to this task, surprisingly, no studies have explored pretrained speech models, which, as human-originated sounds, intuitively would share closer resemblance to lung sounds. This paper explores the efficacy of pretrained speech models for respiratory sound classification. We find that there is a characterization gap between speech and lung sound samples, and to bridge this gap, data augmentation is essential. However, the most widely used augmentation technique for audio and speech, SpecAugment, requires 2-dimensional spectrogram format and cannot be applied to models pretrained on speech waveforms. To address this, we propose RepAugment, an input-agnostic representation-level augmentation technique that outperforms SpecAugment, but is also suitable for respiratory sound classification with waveform pretrained models. Experimental results show that our approach outperforms the SpecAugment, demonstrating a substantial improvement in the accuracy of minority disease classes, reaching up to 7.14%.


title: Graded quasi-Baer $\ast$-ring characterization of Steinberg algebras

abstract: Given a graded ample, Hausdorff groupoid $G$, and an involutive field $K$, we consider the Steinberg algebra $A_K(G)$. We obtain necessary and sufficient conditions on $G$ under which the annihilator of any graded ideal of $A_K(G)$ is generated by a homogeneous projection. This property is called graded quasi-Baer $\ast$. We use the Steinberg algebra model to characterize graded quasi-Baer $\ast$ Leavitt path algebras.


title: Zeroes of Rankin-Selberg $L$-functions and the trace formula

abstract: We express the contribution of certain maximal parabolic Eisenstein series to the spectral side of the Arthur--Selberg trace formula for GL$(n)$ in terms of zeroes of Rankin--Selberg $L$-functions, generalizing previous results for GL(2) and Hecke $L$-functions. As applications, we prove a lower bound for the sum of these zeroes, and a base change relation between the zeroes in the case $n=2$ for cyclic extensions of prime degree.


title: Spectro-photometry of Phobos simulants: I. Detectability of hydrated minerals and organic bands

abstract: Previous observations of Phobos and Deimos, the moons of Mars, have improved our understanding of these small bodies. However, their formation and composition remain poorly constrained. Physical and spectral properties suggest that Phobos may be a weakly thermal-altered captured asteroid but the dynamical properties of the martian system suggest a formation by giant collision similar to the Earth moon. In 2027, the JAXA's MMX mission aims to address these outstanding questions. We undertook measurements with a new simulant called OPPS (Observatory of Paris Phobos Simulant) which closely matches Phobos spectra in the visible to the mid-infrared range. The simulant was synthesized using a mixture of olivine, saponite, anthracite, and coal. Since observation geometry is a crucial aspect of planetary surface remote sensing exploration, we evaluated the parameters obtained by modeling the phase curves -- obtained through laboratory measurements -- of two different Phobos simulants (UTPS-TB and OPPS) using Hapke IMSA model. Our results show that the photometric properties of Phobos simulants are not fully consistent with those of Tagish Lake, Allende, or the NWA 4766 shergottite. We also investigated the detection of volatiles/organic compounds and hydrated minerals, as the presence of such components is expected on Phobos in the hypothesis of a captured primitive asteroid. The results indicate that a significant amount of organic compounds is required for the detection of C-H bands at 3.4 $\mu$m. In contrast, the 2.7 $\mu$m absorption band, due to hydrated minerals, is much deeper and easier to detect than C-H organic features at the same concentration levels. Posing limits on detectability of some possible key components of Phobos surface will be pivotal to prepare and interpret future observations of the MIRS spectrometer onboard MMX mission.


title: MedAdapter: Efficient Test-Time Adaptation of Large Language Models towards Medical Reasoning

abstract: Despite their improved capabilities in generation and reasoning, adapting large language models (LLMs) to the biomedical domain remains challenging due to their immense size and corporate privacy. In this work, we propose MedAdapter, a unified post-hoc adapter for test-time adaptation of LLMs towards biomedical applications. Instead of fine-tuning the entire LLM, MedAdapter effectively adapts the original model by fine-tuning only a small BERT-sized adapter to rank candidate solutions generated by LLMs. Experiments demonstrate that MedAdapter effectively adapts both white-box and black-box LLMs in biomedical reasoning, achieving average performance improvements of 25.48% and 11.31%, respectively, without requiring extensive computational resources or sharing data with third parties. MedAdapter also yields superior performance when combined with train-time adaptation, highlighting a flexible and complementary solution to existing adaptation methods. Faced with the challenges of balancing model performance, computational resources, and data privacy, MedAdapter provides an efficient, privacy-preserving, cost-effective, and transparent solution for adapting LLMs to the biomedical domain.


title: Old and new powerful tools for the normal ordering problem and noncommutative binomials

abstract: In this paper, we derive formal general formulas for noncommutative exponentiation and the exponential function, while also revisiting an unrecognized, and yet powerful theorem. These tools are subsequently applied to derive counterparts for the exponential identity $e^{A+B} = e^A e^B$ and the binomial theorem $(A+B)^n = \sum \binom{n}{k} A^k B^{n-k}$ when the commutator $[B, A]$ is either an arbitrary quadratic polynomial or a monomial in $A$ or $B$. Analogous formulas are found when the commutator is bivariate. Furthermore, we introduce a novel operator bridging between the normal and antinormal forms.


title: Anomalous electronic energy relaxation and soft phonons in the Dirac semimetal Cd$_3$As$_2$

abstract: We have used a combination of linear response time-domain THz spectroscopy (TDTS) and high-field non-linear THz spectroscopy to separately probe the electronic momentum and energy relaxation rates respectively of the Dirac semimetal Cd$_3$As$_2$. We find, consistent with prior measurements, that Cd$_3$As$_2$ has an enormous nonlinearities in the THz frequency range. We extract the momentum relaxation rate of Cd$_3$As$_2$ using Drude fits to the optical conductivity. We also conduct THz range 2D coherent spectroscopy. The dominant response is a pump-probe signal, which allow us to separately extract the energy relaxation rate. We find that the rate of energy relaxation decreases down to the lowest measured temperatures. We connect this to Cd$_3$As$_2$ anomalous lattice dynamics, evidence for which is found in its low thermal conductivity and soft phonons in Raman scattering. The lack of a peak in the energy relaxation rate as a function of T can be connected to the linear in T dependence of the current relaxation e.g. the phonon scattering is elastic down to the lowest measured temperatures approximately 120 K.


title: Parameter-Efficient Fine-Tuning with Discrete Fourier Transform

abstract: Low-rank adaptation~(LoRA) has recently gained much interest in fine-tuning foundation models. It effectively reduces the number of trainable parameters by incorporating low-rank matrices $A$ and $B$ to represent the weight change, i.e., $\Delta W=BA$. Despite LoRA's progress, it faces storage challenges when handling extensive customization adaptations or larger base models. In this work, we aim to further compress trainable parameters by enjoying the powerful expressiveness of the Fourier transform. Specifically, we introduce FourierFT, which treats $\Delta W$ as a matrix in the spatial domain and learns only a small fraction of its spectral coefficients. With the trained spectral coefficients, we implement the inverse discrete Fourier transform to recover $\Delta W$. Empirically, our FourierFT method shows comparable or better performance with fewer parameters than LoRA on various tasks, including natural language understanding, natural language generation, instruction tuning, and image classification. For example, when performing instruction tuning on the LLaMA2-7B model, FourierFT surpasses LoRA with only 0.064M trainable parameters, compared to LoRA's 33.5M. Our code is released at \url{https://github.com/Chaos96/fourierft}.


title: Exploring prompts to elicit memorization in masked language model-based named entity recognition

abstract: Training data memorization in language models impacts model capability (generalization) and safety (privacy risk). This paper focuses on analyzing prompts' impact on detecting the memorization of 6 masked language model-based named entity recognition models. Specifically, we employ a diverse set of 400 automatically generated prompts, and a pairwise dataset where each pair consists of one person's name from the training set and another name out of the set. A prompt completed with a person's name serves as input for getting the model's confidence in predicting this name. Finally, the prompt performance of detecting model memorization is quantified by the percentage of name pairs for which the model has higher confidence for the name from the training set. We show that the performance of different prompts varies by as much as 16 percentage points on the same model, and prompt engineering further increases the gap. Moreover, our experiments demonstrate that prompt performance is model-dependent but does generalize across different name sets. A comprehensive analysis indicates how prompt performance is influenced by prompt properties, contained tokens, and the model's self-attention weights on the prompt.


title: Safe Reinforcement Learning with Learned Non-Markovian Safety Constraints

abstract: In safe Reinforcement Learning (RL), safety cost is typically defined as a function dependent on the immediate state and actions. In practice, safety constraints can often be non-Markovian due to the insufficient fidelity of state representation, and safety cost may not be known. We therefore address a general setting where safety labels (e.g., safe or unsafe) are associated with state-action trajectories. Our key contributions are: first, we design a safety model that specifically performs credit assignment to assess contributions of partial state-action trajectories on safety. This safety model is trained using a labeled safety dataset. Second, using RL-as-inference strategy we derive an effective algorithm for optimizing a safe policy using the learned safety model. Finally, we devise a method to dynamically adapt the tradeoff coefficient between reward maximization and safety compliance. We rewrite the constrained optimization problem into its dual problem and derive a gradient-based method to dynamically adjust the tradeoff coefficient during training. Our empirical results demonstrate that this approach is highly scalable and able to satisfy sophisticated non-Markovian safety constraints.


title: A hydrodynamic analog of critical phenomena: an uncountably infinite number of universality classes

abstract: Critical phenomena, in which various physical quantities exhibit power laws, have been widely observed in nature and played a central role in physics. They generated the concept of universality class, which origin is elucidated by the renormalization group (RG) theory and which has guided the recent development of physics. Accordingly, identifying a rich variety of universality class is a major issue in modern physics. Here, we report that a daily phenomenon, similar to a drop falling from a faucet, possesses a strikingly close analogy with critical phenomena, with this version remarkably revealing the existence of an uncountably infinite number of universality classes. The key for our present findings is the confinement of a system into a thin cell, in which we observe the dynamics of air-liquid interface formed by entrained air into viscous liquid by a solid disk. The entrained air eventually detaches from the disk with or without breakup involving change in topology. While the time development of the interface shape is self-similar with characteristic length scales exhibiting power laws as in the case of non-confined previous studies, we here found that the observed self-similar shape corresponds to a solution to the governing equations, which we show a stable fixed point of the RG flow by combining a RG analysis and the dynamical system description (DSD) developed for singular dynamics in applied mathematics. We thus demonstrate a striking analogy with critical phenomena, showing critical exponents that define a universality class depend on "continuous numbers" characterizing the confinement. This is in contrast with the conventional critical phenomena, in which a class is defined by "discrete numbers." Our results open a new avenue for our understanding of critical phenomena, RG, and DSD, which impacts on the study of singular dynamics widely observed in nature.


title: On the performativity of SDG classifications in large bibliometric databases

abstract: Large bibliometric databases, such as Web of Science, Scopus, and OpenAlex, facilitate bibliometric analyses, but are performative, affecting the visibility of scientific outputs and the impact measurement of participating entities. Recently, these databases have taken up the UN's Sustainable Development Goals (SDGs) in their respective classifications, which have been criticised for their diverging nature. This work proposes using the feature of large language models (LLMs) to learn about the "data bias" injected by diverse SDG classifications into bibliometric data by exploring five SDGs. We build a LLM that is fine-tuned in parallel by the diverse SDG classifications inscribed into the databases' SDG classifications. Our results show high sensitivity in model architecture, classified publications, fine-tuning process, and natural language generation. The wide arbitrariness at different levels raises concerns about using LLM in research practice.


title: DVMSR: Distillated Vision Mamba for Efficient Super-Resolution

abstract: Efficient Image Super-Resolution (SR) aims to accelerate SR network inference by minimizing computational complexity and network parameters while preserving performance. Existing state-of-the-art Efficient Image Super-Resolution methods are based on convolutional neural networks. Few attempts have been made with Mamba to harness its long-range modeling capability and efficient computational complexity, which have shown impressive performance on high-level vision tasks. In this paper, we propose DVMSR, a novel lightweight Image SR network that incorporates Vision Mamba and a distillation strategy. The network of DVMSR consists of three modules: feature extraction convolution, multiple stacked Residual State Space Blocks (RSSBs), and a reconstruction module. Specifically, the deep feature extraction module is composed of several residual state space blocks (RSSB), each of which has several Vision Mamba Moudles(ViMM) together with a residual connection. To achieve efficiency improvement while maintaining comparable performance, we employ a distillation strategy to the vision Mamba network for superior performance. Specifically, we leverage the rich representation knowledge of teacher network as additional supervision for the output of lightweight student networks. Extensive experiments have demonstrated that our proposed DVMSR can outperform state-of-the-art efficient SR methods in terms of model parameters while maintaining the performance of both PSNR and SSIM. The source code is available at https://github.com/nathan66666/DVMSR.git


title: Explainable Malware Detection with Tailored Logic Explained Networks

abstract: Malware detection is a constant challenge in cybersecurity due to the rapid development of new attack techniques. Traditional signature-based approaches struggle to keep pace with the sheer volume of malware samples. Machine learning offers a promising solution, but faces issues of generalization to unseen samples and a lack of explanation for the instances identified as malware. However, human-understandable explanations are especially important in security-critical fields, where understanding model decisions is crucial for trust and legal compliance. While deep learning models excel at malware detection, their black-box nature hinders explainability. Conversely, interpretable models often fall short in performance. To bridge this gap in this application domain, we propose the use of Logic Explained Networks (LENs), which are a recently proposed class of interpretable neural networks providing explanations in the form of First-Order Logic (FOL) rules. This paper extends the application of LENs to the complex domain of malware detection, specifically using the large-scale EMBER dataset. In the experimental results we show that LENs achieve robustness that exceeds traditional interpretable methods and that are rivaling black-box models. Moreover, we introduce a tailored version of LENs that is shown to generate logic explanations with higher fidelity with respect to the model's predictions.


title: High Order Reasoning for Time Critical Recommendation in Evidence-based Medicine

abstract: In time-critical decisions, human decision-makers can interact with AI-enabled situation-aware software to evaluate many imminent and possible scenarios, retrieve billions of facts, and estimate different outcomes based on trillions of parameters in a fraction of a second. In high-order reasoning, "what-if" questions can be used to challenge the assumptions or pre-conditions of the reasoning, "why-not" questions can be used to challenge on the method applied in the reasoning, "so-what" questions can be used to challenge the purpose of the decision, and "how-about" questions can be used to challenge the applicability of the method. When above high-order reasoning questions are applied to assist human decision-making, it can help humans to make time-critical decisions and avoid false-negative or false-positive types of errors. In this paper, we present a model of high-order reasoning to offer recommendations in evidence-based medicine in a time-critical fashion for the applications in ICU. The Large Language Model (LLM) is used in our system. The experiments demonstrated the LLM exhibited optimal performance in the "What-if" scenario, achieving a similarity of 88.52% with the treatment plans of human doctors. In the "Why-not" scenario, the best-performing model tended to opt for alternative treatment plans in 70% of cases for patients who died after being discharged from the ICU. In the "So-what" scenario, the optimal model provided a detailed analysis of the motivation and significance of treatment plans for ICU patients, with its reasoning achieving a similarity of 55.6% with actual diagnostic information. In the "How-about" scenario, the top-performing LLM demonstrated a content similarity of 66.5% in designing treatment plans transferring for similar diseases. Meanwhile, LLMs managed to predict the life status of patients after their discharge from the ICU with an accuracy of 70%.


title: AC-MAMBASEG: An adaptive convolution and Mamba-based architecture for enhanced skin lesion segmentation

abstract: Skin lesion segmentation is a critical task in computer-aided diagnosis systems for dermatological diseases. Accurate segmentation of skin lesions from medical images is essential for early detection, diagnosis, and treatment planning. In this paper, we propose a new model for skin lesion segmentation namely AC-MambaSeg, an enhanced model that has the hybrid CNN-Mamba backbone, and integrates advanced components such as Convolutional Block Attention Module (CBAM), Attention Gate, and Selective Kernel Bottleneck. AC-MambaSeg leverages the Vision Mamba framework for efficient feature extraction, while CBAM and Selective Kernel Bottleneck enhance its ability to focus on informative regions and suppress background noise. We evaluate the performance of AC-MambaSeg on diverse datasets of skin lesion images including ISIC-2018 and PH2; then compare it against existing segmentation methods. Our model shows promising potential for improving computer-aided diagnosis systems and facilitating early detection and treatment of dermatological diseases. Our source code will be made available at: https://github.com/vietthanh2710/AC-MambaSeg.


title: The influence of dark excitons on the electroabsorption spectrum of polyacetylene

abstract: This study revisits the electroabsorption (EA) spectrum of polyacetylene, as functions of the electric field strength, isomerization degree, and light polarization states. The EA spectrum of $cis$-$(CH)_x$ reveals an oscillatory feature that follows the Stark shift-related first derivative of the materials absorption spectrum that contains v(0-1) and v(0-2) sidebands of the excited $C=C$ stretching vibration that agrees well with the Raman spectrum. EA spectrum of $trans $-$(CH)_x$ does not match the first derivative of the materials absorption spectrum, and the phonon sideband frequency does not agree with the RS spectrum. EA spectrum of $trans $-$(CH)_x$ reveals a band below the first allowed $1B_u$ exciton. We interpret this feature as due to the electric field activated even-parity dark (forbidden) exciton, namely $mA_g$ ($m >1$), showing that the nonluminescent $trans $-$(CH)_x$ is due to the reverse order of the excited states, where a dark $mA_g$ exciton lies below the allowed $1B_u$ exciton. This agrees with the unusual phonon sideband in $trans $-$(CH)_x$ absorption, since the excited state attenuation caused by the fast internal conversion from $1B_u$ to $mA_g$ influences the apparent frequency that determines the phonon sideband. Consequently, from the EA and RS spectra we estimate the $1B_u$ lifetime in $trans $-$(CH)_x$ to be $\sim 30$ fs. Integrated EA spectrum of $trans $-$(CH)_x$ shows a traditional Huang-Rhys type series with a relaxation parameter, $S \sim 0.5$. This indicates that the EA spectrum of the $trans $ isomer is also determined by a Stark shift related to the first derivative of the absorption spectrum, but preferentially for the longest chains in the films chain lengths distribution. This is due to the $N^3$ response of the non-linear susceptibility, $\chi^{(3)}$ ($\sim$EA), dependence on the chain length having $N$ monomers.


title: Efficient discrimination between real and complex quantum theories

abstract: We improve the test to show the impossibility of a quantum theory based on real numbers by a larger ratio of complex-to-real bound on a Bell-type parameter. In contrast to previous theoretical and experimental proposals the test requires three setting for the parties $A$ and $C$, but also six settings for the middle party $B$, assuming separability of the sources. The bound for this symmetric configuration imposed on a real theory is $14.88$ whilst the complex maximum is $18$. This large theoretical difference enables us to demonstrate the concomitant experimental violation on IBM quantum computer via a designed quantum network, obtaining as a result $15.44$ at more than $80$ standard deviations above the real bound.


title: Background risk model in presence of heavy tails under dependence

abstract: We study the background risk model under a various forms of dependence and some distribution classes of heavy tails. First, we study the asymptotic behavior of tail expectation of a portfolios with unequal heavytailedness, of non-random sums and randomly stopped sums, under some dependence structure which contains the independence as a special case. Further we investigate the asymptotic behavior of a pair of randomly weighted sums, generalizing the dependence structure among random vector components, our results contains the finite ruin probability in bi-dimensional discrete time risk model with unequal heavytailedness. Next, we carry out asymptotic analysis of the tail distortion risk measures in background risk model under various forms of dependence, with multivariate regularly varying risk distributions in each portfolio.


title: Product formulas for the Higher Bessel functions

abstract: We consider the generating function $\Phi^{(N)}$ for the reciprocals $N$-th power of factorials. We show a connection of product formulas for such series with the periods for certain families of algebraic hypersurfaces. For these families we describe their singular loci. We show that these singular loci are given by zeros of the Buchstaber-Rees polynomials, which define $N$-valued group laws. We describe a generalized Frobenius method and use it to obtain special expansions for multiplication kernels in the sense of Kontsevich. Using these expansions we provide some experimental results that connect $N$-Bessel kernels and the hierarchies of the palindromic unimodal polynomials. We study the properties of such polynomials and conjecture positivity of their roots. We also discuss the connection with Kloosterman motives as a version of the mirror duality.


title: Pathwise uniform convergence of a full discretization for a three-dimensional stochastic Allen-Cahn equation with multiplicative noise

abstract: This paper analyzes a full discretization of a three-dimensional stochastic Allen-Cahn equation with multiplicative noise. The discretization uses the Euler scheme for temporal discretization and the finite element method for spatial discretization. A key contribution of this work is the introduction of a novel stability estimate for a discrete stochastic convolution, which plays a crucial role in establishing pathwise uniform convergence estimates for fully discrete approximations of nonlinear stochastic parabolic equations. By using this stability estimate in conjunction with the discrete stochastic maximal $L^p$-regularity estimate, the study derives a pathwise uniform convergence rate that encompasses general general spatial $L^q$-norms. Moreover, the theoretical convergence rate is verified by numerical experiments.


title: Fault-tolerant Consensus in Anonymous Dynamic Network

abstract: This paper studies the feasibility of reaching consensus in an anonymous dynamic network. In our model, $n$ anonymous nodes proceed in synchronous rounds. We adopt a hybrid fault model in which up to $f$ nodes may suffer crash or Byzantine faults, and the dynamic message adversary chooses a communication graph for each round. We introduce a stability property of the dynamic network -- $(T,D)$-dynaDegree for $T \geq 1$ and $n-1 \geq D \geq 1$ -- which requires that for every $T$ consecutive rounds, any fault-free node must have incoming directed links from at least $D$ distinct neighbors. These links might occur in different rounds during a $T$-round interval. $(1,n-1)$-dynaDegree means that the graph is a complete graph in every round. $(1,1)$-dynaDegree means that each node has at least one incoming neighbor in every round, but the set of incoming neighbor(s) at each node may change arbitrarily between rounds. We show that exact consensus is impossible even with $(1,n-2)$-dynaDegree. For an arbitrary $T$, we show that for crash-tolerant approximate consensus, $(T,\lfloor n/2 \rfloor)$-dynaDegree and $n > 2f$ are together necessary and sufficient, whereas for Byzantine approximate consensus, $(T,\lfloor (n+3f)/2 \rfloor)$-dynaDegree and $n > 5f$ are together necessary and sufficient.


title: TSP Escapes the $O(2^n n^2)$ Curse

abstract: The dynamic programming solution to the traveling salesman problem due to Bellman, and independently Held and Karp, runs in time $O(2^n n^2)$, with no improvement in the last sixty years. We break this barrier for the first time by designing an algorithm that runs in deterministic time $2^n n^2 / 2^{\Omega(\sqrt{\log n})}$. We achieve this by strategically remodeling the dynamic programming recursion as a min-plus matrix product, for which faster-than-na\"ive algorithms exist.


title: Cosmological sector of Loop Quantum Gravity: a Yang-Mills approach

abstract: In this manuscript, we address the issue of the loss of SU(2) internal symmetry in Loop Quantum Cosmology and its relationship with Loop Quantum Gravity. Drawing inspiration from Yang-Mills theory and employing the framework of fiber bundle theory, we successfully identify a cosmological sector for General Relativity in Ashtekar variables, which preserves the SU(2) structure of the theory and the diffeomorphism gauge symmetry. Additionally, we proceed to quantize it using the machinery of Loop Quantum Gravity, uncovering that the resulting spin-network states exhibit distinctive symmetry properties and encompass the usual states of Loop Quantum Cosmology.


title: Non-cyclicity and polynomials in Dirichlet-type spaces of the unit ball

abstract: We give a description of the intersection of the zero set with the unit sphere of a zero-free polynomial in the unit ball of $\mathbb{C}^n$. This description leads to the formulation of a conjecture regarding the characterization of polynomials that are cyclic in Dirichlet-type spaces in the unit ball of $\mathbb{C}^n$. Furthermore, we answer partially ascertaining whether an arbitrary polynomial is not cyclic.


title: Tuning parameter selection in econometrics

abstract: I review some of the main methods for selecting tuning parameters in nonparametric and $\ell_1$-penalized estimation. For the nonparametric estimation, I consider the methods of Mallows, Stein, Lepski, cross-validation, penalization, and aggregation in the context of series estimation. For the $\ell_1$-penalized estimation, I consider the methods based on the theory of self-normalized moderate deviations, bootstrap, Stein's unbiased risk estimation, and cross-validation in the context of Lasso estimation. I explain the intuition behind each of the methods and discuss their comparative advantages. I also give some extensions.


title: Joint Discrete Precoding and RIS Optimization for RIS-Assisted MU-MIMO Communication Systems

abstract: This paper considers a multi-user multiple-input multiple-output (MU-MIMO) system where the downlink communication between a base station (BS) and multiple user equipments (UEs) is aided by a reconfigurable intelligent surface (RIS). We study the sum-rate maximization problem with the objective of finding the optimal precoding vectors and RIS configuration. Due to fronthaul limitation, each entry of the precoding vectors must be picked from a finite set of quantization labels. Furthermore, two scenarios for the RIS are investigated, one with continuous infinite-resolution reflection coefficients and another with discrete finite-resolution reflection coefficients. A novel framework is developed which, in contrast to the common literature that only offers sub-optimal solutions for optimization of discrete variables, is able to find the optimal solution to problems involving discrete constraints. Based on the classical weighted minimum mean square error (WMMSE), we transform the original problem into an equivalent weighted sum mean square error (MSE) minimization problem and solve it iteratively. We compute the optimal precoding vectors via an efficient algorithm inspired by sphere decoding (SD). For optimizing the discrete RIS configuration, two solutions based on the SD algorithm are developed: An optimal SD-based algorithm and a low-complexity heuristic method that can efficiently obtain RIS configuration without much loss in optimality. The effectiveness of the presented algorithms is corroborated via numerical simulations where it is shown that the proposed designs are remarkably superior to the commonly used benchmarks.


title: Effective volume growth of three-manifolds with positive scalar curvature

abstract: In this note, we prove an effective linear volume growth for complete three-manifolds with non-negative Ricci curvature and uniformly positive scalar curvature. This recovers the results obtained by Munteanu-Wang. Our method builds upon recent work by Chodosh-Li-Stryker, which utilizes the technique of $\mu$-bubbles and the almost-splitting theorem by Cheeger-Colding.


title: CMB low multipole alignments across data releases

abstract: Since the first data release from NASA's Wilkinson Microwave Anisotropy Probe's (WMAP) observations of the microwave sky, cleaned cosmic microwave background (CMB) maps thus derived were subjected to a variety of tests, to evaluate their conformity with expectations of the standard cosmological model. Specifically many peculiarities that have come to be called "anomalies" were reported that violate the \emph{Cosmological principle}. These were followed until the end of WMAP's final nine year data release and continued with the CMB maps derived from the recently concluded ESA's \textit{Planck} mission. One of the early topics of intense scrutiny is the alignment of multipoles corresponding to large angular scales of the CMB sky. In this paper, we revisit this particular anomaly and analyze this phenomenon across all data sets from WMAP and \textit{Planck} to gain a better understanding of its current status and import.


title: Matten: Video Generation with Mamba-Attention

abstract: In this paper, we introduce Matten, a cutting-edge latent diffusion model with Mamba-Attention architecture for video generation. With minimal computational cost, Matten employs spatial-temporal attention for local video content modeling and bidirectional Mamba for global video content modeling. Our comprehensive experimental evaluation demonstrates that Matten has competitive performance with the current Transformer-based and GAN-based models in benchmark performance, achieving superior FVD scores and efficiency. Additionally, we observe a direct positive correlation between the complexity of our designed model and the improvement in video quality, indicating the excellent scalability of Matten.


title: Enhanced Detection Classification via Clustering SVM for Various Robot Collaboration Task

abstract: We introduce an advanced, swift pattern recognition strategy for various multiple robotics during curve negotiation. This method, leveraging a sophisticated k-means clustering-enhanced Support Vector Machine algorithm, distinctly categorizes robotics into flying or mobile robots. Initially, the paradigm considers robot locations and features as quintessential parameters indicative of divergent robot patterns. Subsequently, employing the k-means clustering technique facilitates the efficient segregation and consolidation of robotic data, significantly optimizing the support vector delineation process and expediting the recognition phase. Following this preparatory phase, the SVM methodology is adeptly applied to construct a discriminative hyperplane, enabling precise classification and prognostication of the robot category. To substantiate the efficacy and superiority of the k-means framework over traditional SVM approaches, a rigorous cross-validation experiment was orchestrated, evidencing the former's enhanced performance in robot group classification.


title: Understanding the effects of data encoding on quantum-classical convolutional neural networks

abstract: Quantum machine learning was recently applied to various applications and leads to results that are comparable or, in certain instances, superior to classical methods, in particular when few training data is available. These results warrant a more in-depth examination of when and why improvements can be observed. A key component of quantum-enhanced methods is the data encoding strategy used to embed the classical data into quantum states. However, a clear consensus on the selection of a fitting encoding strategy given a specific use-case has not yet been reached. This work investigates how the data encoding impacts the performance of a quantum-classical convolutional neural network (QCCNN) on two medical imaging datasets. In the pursuit of understanding why one encoding method outperforms another, two directions are explored. Potential correlations between the performance of the quantum-classical architecture and various quantum metrics are first examined. Next, the Fourier series decomposition of the quantum circuits is analyzed, as variational quantum circuits generate Fourier-type sums. We find that while quantum metrics offer limited insights into this problem, the Fourier coefficients analysis appears to provide better clues to understand the effects of data encoding on QCCNNs.


title: Holonomic $\mathscr{D}$-modules on rigid analytic varieties

abstract: We study the category of holonomic $\mathscr{D}_{X}$-modules for a quasi-compact, quasi-separated, smooth rigid analytic variety $X$ over the field $\mathbb{C}(\!(t)\!)$. In particular, we prove finiteness of the de Rham cohomology for such modules.


title: Optimal Box Contraction for Solving Linear Systems via Simulated and Quantum Annealing

abstract: Solving linear systems of equations is an important problem in science and engineering. Many quantum algorithms, such as the Harrow-Hassidim-Lloyd (HHL) algorithm (for quantum-gate computers) and the box algorithm (for quantum-annealing machines), have been proposed for solving such systems. The focus of this paper is on improving the efficiency of the box algorithm. The basic principle behind this algorithm is to transform the linear system into a series of quadratic unconstrained binary optimization (QUBO) problems, which are then solved on annealing machines. The computational efficiency of the box algorithm is entirely determined by the number of iterations, which, in turn, depends on the box contraction ratio, typically set to 0.5. Here, we show through theory that a contraction ratio of 0.5 is sub-optimal and that we can achieve a speed-up with a contraction ratio of 0.2. This is confirmed through numerical experiments where a speed-up between $20 \%$ to $60 \%$ is observed when the optimal contraction ratio is used.


title: Quantum Corrections to the Decay Law in Flight

abstract: The deviation of the decay law from the exponential is a well known effect of quantum mechanics. Here we analyze the relativistic survival probabilities, $S(t,p)$, where $p$ is the momentum of the decaying particle and provide analytical expressions for $S(t,p)$ in the exponential (E) as well as the nonexponential (NE) regions at small and large times. Under minimal assumptions on the spectral density function, analytical expressions for the critical times of transition from the NE to the E at small times and the E to NE at large times are derived. The dependence of the decay law on the relativistic Lorentz factor, $\gamma = 1/\sqrt{1 - v^2/c^2}$, reveals several interesting features. In the short time regime of the decay law, the critical time, $\tau_{st}$, shows a steady increase with $\gamma$, thus implying a larger NE region for particles decaying in flight. Comparing $S(t,p)$ with the well known time dilation formula, $e^{-\Gamma t/\gamma}$, in the exponential region, an expression for the critical $\gamma$ where $S(t,p)$ deviates most from $e^{-\Gamma t/\gamma}$ is presented. This is a purely quantum correction. Under particular conditions on the resonance parameters, there also exists a critical $\gamma$ at large times which decides if the NE region shifts backward or forward in time as compared to that for a particle at rest. All the above analytical results are supported by calculations involving realistic decays of hadrons and leptons.


title: Distributed Learning for Dynamic Congestion Games

abstract: Today mobile users learn and share their traffic observations via crowdsourcing platforms (e.g., Google Maps and Waze). Yet such platforms myopically recommend the currently shortest path to users, and selfish users are unwilling to travel to longer paths of varying traffic conditions to explore. Prior studies focus on one-shot congestion games without information learning, while our work studies how users learn and alter traffic conditions on stochastic paths in a distributed manner. Our analysis shows that, as compared to the social optimum in minimizing the long-term social cost via optimal exploration-exploitation tradeoff, the myopic routing policy leads to severe under-exploration of stochastic paths with the price of anarchy (PoA) greater than \(2\). Besides, it fails to ensure the correct learning convergence about users' traffic hazard beliefs. To mitigate the efficiency loss, we first show that existing information-hiding mechanisms and deterministic path-recommendation mechanisms in Bayesian persuasion literature do not work with even \(\text{PoA}=\infty\). Accordingly, we propose a new combined hiding and probabilistic recommendation (CHAR) mechanism to hide all information from a selected user group and provide state-dependent probabilistic recommendations to the other user group. Our CHAR successfully ensures PoA less than \(\frac{5}{4}\), which cannot be further reduced by any other informational mechanism. Additionally, we experiment with real-world data to verify our CHAR's good average performance.


title: Logical Error Rates for a [[4,2,2]]-Encoded Variational Quantum Eigensolver Ansatz

abstract: Application benchmarks that run on noisy, intermediate-scale quantum (NISQ) computing devices require techniques for mitigating errors to improve accuracy and precision. Quantum error detection codes offer a framework by which to encode quantum computations and identify when errors occur. However, the subsequent logical error rate depends on the encoded application circuit as well as the underlying noise. Here, we quantify how the [[4,2,2]] quantum error detection code improves the logical error rate, accuracy, and precision of an encoded variational quantum eigensolver (VQE) application. We benchmark the performance of the encoded VQE for estimating the energy of the hydrogen molecule with a chemical accuracy of 1.6 mHa while managing the trade-off between probability of success of various post-selection methods. Using numerical simulation of the noisy mixed state preparation, we find that the most aggressive post-selection strategies improve the accuracy and precision of the encoded estimates even at the cost of increasing loss of samples.


title: Discovery of an accretion streamer and a slow wide-angle outflow around FU Orionis

abstract: We present ALMA 12-m, 7-m & Total Power (TP) Array observations of the FU Orionis outbursting system, covering spatial scales ranging from 160 to 25,000 au. The high-resolution interferometric data reveals an elongated $^{12}$CO(2-1) feature previously observed at lower resolution in $^{12}$CO(3-2). Kinematic modeling indicates that this feature can be interpreted as an accretion streamer feeding the binary system. The mass infall rate provided by the streamer is significantly lower than the typical stellar accretion rates (even in quiescent states), suggesting that this streamer alone is not massive enough to sustain the enhanced accretion rates characteristic of the outbursting class prototype. The observed streamer may not be directly linked to the current outburst but rather a remnant of a previous, more massive streamer that may have contributed enough to the disk mass to render it unstable and trigger FU Ori's outburst. The new data detects, for the first time, a vast, slow-moving carbon monoxide molecular outflow emerging from this object. To accurately assess the outflow properties (mass, momentum, kinetic energy), we employed $^{13}$CO(2-1) data to correct for optical depth effects. The analysis indicates that the outflow corresponds to swept-up material not associated with the current outburst, similar to slow-molecular outflows observed around other FUor and Class I protostellar objects.


title: FlexKalmanNet: A Modular AI-Enhanced Kalman Filter Framework Applied to Spacecraft Motion Estimation

abstract: The estimation of relative motion between spacecraft increasingly relies on feature-matching computer vision, which feeds data into a recursive filtering algorithm. Kalman filters, although efficient in noise compensation, demand extensive tuning of system and noise models. This paper introduces FlexKalmanNet, a novel modular framework that bridges this gap by integrating a deep fully connected neural network with Kalman filter-based motion estimation algorithms. FlexKalmanNet's core innovation is its ability to learn any Kalman filter parameter directly from measurement data, coupled with the flexibility to utilize various Kalman filter variants. This is achieved through a notable design decision to outsource the sequential computation from the neural network to the Kalman filter variant, enabling a purely feedforward neural network architecture. This architecture, proficient at handling complex, nonlinear features without the dependency on recurrent network modules, captures global data patterns more effectively. Empirical evaluation using data from NASA's Astrobee simulation environment focuses on learning unknown parameters of an Extended Kalman filter for spacecraft pose and twist estimation. The results demonstrate FlexKalmanNet's rapid training convergence, high accuracy, and superior performance against manually tuned Extended Kalman filters.


title: Probabilistic Finite Automaton Emptiness is undecidable

abstract: It is undecidable whether the language recognized by a probabilistic finite automaton is empty. Several other undecidability results, in particular regarding problems about matrix products, are based on this important theorem. We present three proofs of this theorem from the literature in a self-contained way, and we derive some strengthenings. For example, we show that the problem remains undecidable for a fixed probabilistic finite automaton with 11 states, where only the starting distribution is given as input.


title: Hydrodynamics of vortex memory system driven by edge-current and boundary magnetization

abstract: In this study, a magnetohydrodynamic model is developed to study the dynamics of vortices driven by edge-current. Two modeled equations for fluid and magnetic field variables are each transformed into diffusion equation for vorticity and poisson equation for stream function. A numerical solution method is designed using a simplified Lattice Boltzmann method (LBM). The LBM-D2Q5 scheme is utilized to obtain the numerical solutions for the fluid and magnetic field variables. Understanding the hydrodynamic behavior of systems employed in vortex-based memory systems is crucial for reliability and performance optimization. Based on this motivation, the effect of applied edge-current on the hydrodynamic and magnetic vortex configurations are analyzed through numerical simulations. The impact of the boundary magnetization is also conducted, by varying the strength of the magnetic field at the bottom boundary. The obtained graphical results provide some insights into the design and operation of vortex-based memory systems for next-generation data storage applications.

categories: physics.flu-dyn math-ph math.MP physics.comp-ph


title: Gauging staggered fermion shift symmetries and lattice anomalies

abstract: Staggered fermion shift symmetries correspond to translations within the unit cell of a hypercubic lattice. They satisfy an algebra and in four Euclidean dimensions can be related to a discrete subgroup of $SU(4)$ which plays a crucial role in showing that staggered fermions lead to a theory of four degenerate Dirac fermions in the continuum limit. They are associated with the appearance of certain $Z_2$ valued global parameters. We propose a strategy to try to partially gauge these translation symmetries by allowing these parameters to vary locally in the lattice. To maintain invariance of the action requires the addition of $Z_2$ valued higher form gauge fields. We show how there is a geometrical obstruction to this procedure in the case of full staggered fermions which is consistent with the existence of a 't Hooft anomaly in the continuum $SU(4)$ flavor symmetry. However no such obstruction is encountered for reduced staggered fermions for which the continuum non-anomalous flavor symmetry is $SO(4)$.


title: On the use of dynamical systems in cryptography

abstract: Ever since the link between nonlinear science and cryptography became apparent, the problem of applying chaotic dynamics to the construction of cryptographic systems has gained a broad audience and has been the subject of thousands of papers. Yet, the field has not found its place in mainstream cryptography, largely due to persistent weaknesses in the presented systems. The goal of this paper is to help remedy this problem in two ways. The first is by providing a new algorithm that can be used to attack -- and hence test the security of -- stream ciphers based on the iteration of a chaotic map of the interval. The second is to cast discrete dynamical systems problems in a modern cryptographic and complexity theoretic language, so that researchers working in chaos-based cryptography can begin designing cryptographic protocols that have a better chance of meeting the extreme standards of modern cryptography.


title: Performance Evaluation of Real-Time Object Detection for Electric Scooters

abstract: Electric scooters (e-scooters) have rapidly emerged as a popular mode of transportation in urban areas, yet they pose significant safety challenges. In the United States, the rise of e-scooters has been marked by a concerning increase in related injuries and fatalities. Recently, while deep-learning object detection holds paramount significance in autonomous vehicles to avoid potential collisions, its application in the context of e-scooters remains relatively unexplored. This paper addresses this gap by assessing the effectiveness and efficiency of cutting-edge object detectors designed for e-scooters. To achieve this, the first comprehensive benchmark involving 22 state-of-the-art YOLO object detectors, including five versions (YOLOv3, YOLOv5, YOLOv6, YOLOv7, and YOLOv8), has been established for real-time traffic object detection using a self-collected dataset featuring e-scooters. The detection accuracy, measured in terms of mAP@0.5, ranges from 27.4% (YOLOv7-E6E) to 86.8% (YOLOv5s). All YOLO models, particularly YOLOv3-tiny, have displayed promising potential for real-time object detection in the context of e-scooters. Both the traffic scene dataset (https://zenodo.org/records/10578641) and software program codes (https://github.com/DongChen06/ScooterDet) for model benchmarking in this study are publicly available, which will not only improve e-scooter safety with advanced object detection but also lay the groundwork for tailored solutions, promising a safer and more sustainable urban micromobility landscape.


title: Virtual Extended-Range Tomography (VERT): Contact-free realistic ultrasonic bone imaging

abstract: Ultrasound tomography generally struggles to reconstruct high-contrast and/or extended-range problems. A prime example is site-specific in-vivo bone imaging, crucial for accurately assessing the risk of life-threatening fractures, which are preventable given accurate diagnosis and treatment. In this type of problem, two main obstacles arise: (a) an external region prohibits access to the region of interest (ROI), and (b) high contrast exists between the two regions. These challenges impede existing algorithms -- including bent-ray tomography (BRT), known for its robustness, speed, and reasonable short-range resolution. We propose Virtual Extended-Range Tomography (VERT), which tackles these challenges through (a) placement of virtual transducers directly on the ROI, facilitating (b) rapid initialisation before BRT inversion. In-silico validation against BRT with and without a-priori information shows superior resolution and robustness -- while maintaining or even improving speed. These improvements are drastic where the external region is much larger than the ROI. Additional validation against the practically impossible -- BRT directly on the ROI -- demonstrates that VERT is approaching the resolution limit. The capability to solve high-contrast extended-range tomography problems without prior knowledge about the ROI's interior has many implications. VERT has the potential to unlock site-specific in-vivo bone imaging for assessing fracture risk, potentially saving millions of lives globally. In other applications, VERT may replace classical BRT to yield improvements in resolution, robustness and speed -- especially where the ROI does not cover the entire imaging array. For even higher resolution, VERT offers a reliable starting background to complement algorithms with less robustness and high computational costs.


title: Bayesian Functional Graphical Models with Change-Point Detection

abstract: Functional data analysis, which models data as realizations of random functions over a continuum, has emerged as a useful tool for time series data. Often, the goal is to infer the dynamic connections (or time-varying conditional dependencies) among multiple functions or time series. For this task, we propose a dynamic and Bayesian functional graphical model. Our modeling approach prioritizes the careful definition of an appropriate graph to identify both time-invariant and time-varying connectivity patterns. We introduce a novel block-structured sparsity prior paired with a finite basis expansion, which together yield effective shrinkage and graph selection with efficient computations via a Gibbs sampling algorithm. Crucially, the model includes (one or more) graph changepoints, which are learned jointly with all model parameters and incorporate graph dynamics. Simulation studies demonstrate excellent graph selection capabilities, with significant improvements over competing methods. We apply the proposed approach to study of dynamic connectivity patterns of sea surface temperatures in the Pacific Ocean and discovers meaningful edges.


title: Functional Post-Clustering Selective Inference with Applications to EHR Data Analysis

abstract: In electronic health records (EHR) analysis, clustering patients according to patterns in their data is crucial for uncovering new subtypes of diseases. Existing medical literature often relies on classical hypothesis testing methods to test for differences in means between these clusters. Due to selection bias induced by clustering algorithms, the implementation of these classical methods on post-clustering data often leads to an inflated type-I error. In this paper, we introduce a new statistical approach that adjusts for this bias when analyzing data collected over time. Our method extends classical selective inference methods for cross-sectional data to longitudinal data. We provide theoretical guarantees for our approach with upper bounds on the selective type-I and type-II errors. We apply the method to simulated data and real-world Acute Kidney Injury (AKI) EHR datasets, thereby illustrating the advantages of our approach.


title: Negative Probability

abstract: Negative probabilities arise primarily in quantum theory and computing. Bartlett provides a definition based on characteristic functions and extraordinary random variables. As Bartlett observes, negative probabilities must always be combined with positive probabilities to yield a valid probability distribution before any physical interpretation is admissible. Negative probabilities arise as mixing distributions of unobserved latent variables in Bayesian modeling. Our goal is to provide a link with dual densities and the class of scale mixtures of normal distributions. We provide an analysis of the classic half coin distribution and Feynman's negative probability examples. A number of examples of dual densities with negative mixing measures including the linnik distribution, Wigner distribution and the stable distribution are provided. Finally, we conclude with directions for future research.


title: Ultrastrong coupling limit to quantum mean force Gibbs state for anharmonic environment

abstract: The equilibrium state of a quantum system can deviate from the Gibbs state if the system-environment coupling is not weak. An analytical expression for this mean force Gibbs state (MFGS) is known in the ultrastrong coupling (USC) regime for the Caldeira-Leggett (CL) model that assumes a harmonic environment. Here, we derive analytical expressions for the MFGS in the USC regime for more general system-environment models. For all the generalized models considered here, we find the USC state to be diagonal in the basis set by the system-environment interaction, just like in the CL case. While for the generic model considered, the corresponding USC-MFGS state is found to alter from the CL-result, we do identify a class of models more general than the CL-model for which the CL-USC result remains unchanged. We also provide numerical verification for our results. These results provide key tools for the study of strong coupling thermodynamics under more realistic system-environment models, going beyond the CL-model.


title: Swipe2Pair: Secure and Fast In-Band Wireless Device Pairing

abstract: Wireless device pairing is a critical security mechanism to bootstrap the secure communication between two devices without a pre-shared secret. It has been widely used in many Internet of Things (IoT) applications, such as smart-home and smart-health. Most existing device pairing mechanisms are based on out-of-band channels, e.g., extra sensors or hardware, to validate the proximity of pairing devices. However, out-of-band channels are not universal across all wireless devices, so such a scheme is limited to certain application scenarios or conditions. On the other hand, in-band channel-based device pairing seeks universal applicability by only relying on wireless interfaces. Existing in-band channel-based pairing schemes either require multiple antennas separated by a good distance on one pairing device, which is not feasible in certain scenarios, or require users to repeat multiple sweeps, which is not optimal in terms of usability. Therefore, an in-band wireless device pairing scheme providing high security while maintaining high usability (simple pairing process and minimal user intervention) is highly desired. In this work, we propose an easy-to-use mutual authentication device pairing scheme, named Swipe2Pair, based on the proximity of pairing devices and randomization of wireless transmission power. We conduct extensive security analysis and collect considerable experimental data under various settings across different environments. Experimental results show that Swipe2Pair achieves high security and usability. It only takes less than one second to complete the pairing process with a simple swipe of one device in front of the other.


title: A note on the Huijsmans-de Pagter problem on finite dimensional ordered vector spaces

abstract: A classical problem posed in 1992 by Huijsmans and de Pagter asks whether, for every positive operator $T$ on a Banach lattice with spectrum $\sigma(T) = \{1\}$, the inequality $T \ge \operatorname{id}$ holds true. While the problem remains unsolved in its entirety, a positive solution is known in finite dimensions. In the broader context of ordered Banach spaces, Drnov\v{s}ek provided an infinite-dimensional counterexample. In this note, we demonstrate the existence of finite-dimensional counterexamples, specifically on the ice cream cone and on a polyhedral cone in $\mathbb{R}^3$. On the other hand, taking inspiration from the notion of $m$-isometries, we establish that each counterexample must contain a Jordan block of size at least $3$.


title: A Model-Free Kullback-Leibler Divergence Filter for Anomaly Detection in Noisy Data Series

abstract: We propose a Kullback-Leibler Divergence (KLD) filter to extract anomalies within data series generated by a broad class of proximity sensors, along with the anomaly locations and their relative sizes. The technique applies to devices commonly used in engineering practice, such as those mounted on mobile robots for non-destructive inspection of hazardous or other environments that may not be directly accessible to humans. The raw data generated by this class of sensors can be challenging to analyze due to the prevalence of noise over the signal content. The proposed filter is built to detect the difference of information content between data series collected by the sensor and baseline data series. It is applicable in a model-based or model-free context. The performance of the KLD filter is validated in an industrial-norm setup and benchmarked against a peer industrially-adopted algorithm.


title: Clip-on lens for scanning tunneling luminescence microscopy

abstract: We demonstrate and verify the in-situ addition of a collecting lens for electroluminescence experiments to an existing scanning tunneling microscope. We fabricate a simple clip-on lens that we reversibly attach at the sample plate via regular sample transfer tools to collimate the light emitted from a plasmonic tunneling junction to the viewport ordinarily used for optical access. The proximity of the lens to the tunneling junction allows us to exploit the full numerical aperture which helps us achieve good collection efficiencies, demonstrating the quick turnaround of converting an existing setup with optical access into a practical scanning luminescence microscope. We verify the function of the clip-on lens by measuring the bias dependent plasmon of Au, Ag, and spatial luminescence maps.


title: Quantitative analysis of the prediction performance of a Convolutional Neural Network evaluating the surface elastic energy of a strained film

abstract: A Deep Learning approach is devised to estimate the elastic energy density $\rho$ at the free surface of an undulated stressed film. About 190000 arbitrary surface profiles h(x) are randomly generated by Perlin noise and paired with the corresponding elastic energy density profiles $\rho(x)$, computed by a semi-analytical Green's function approximation, suitable for small-slope morphologies. The resulting dataset and smaller subsets of it are used for the training of a Fully Convolutional Neural Network. The trained models are shown to return quantitative predictions of $\rho$, not only in terms of convergence of the loss function during training, but also in validation and testing, with better results in the case of the larger dataset. Extensive tests are performed to assess the generalization capability of the Neural Network model when applied to profiles with localized features or assigned geometries not included in the original dataset. Moreover, its possible exploitation on domain sizes beyond the one used in the training is also analyzed in-depth. The conditions providing a one-to-one reproduction of the ground-truth $\rho(x)$ profiles computed by the Green's approximation are highlighted along with critical cases. The accuracy and robustness of the deep-learned $\rho(x)$ are further demonstrated in the time-integration of surface evolution problems described by simple partial differential equations of evaporation/condensation and surface diffusion.


title: Quantum Chemistry Model of Surface Reactions and Kinetic Model of Diamond Growth: Effects of CH3 Radicals and C2H2 Molecules at Low-Temperatures CVD

abstract: The objective of this study is to explore conditions that facilitate a significant reduction in substrate temperature during diamond growth. The typical temperature for this process is around 1200K; we aim to reduce it to a much lower level. To achieve this, we need to understand processes that limit the diamond growth at low temperatures. Therefore, we developed a detailed chemical kinetic model to analyze diamond growth on the (100) surface. This model accounts for variations in substrate temperature and gas composition. Using an ab initio quantum chemistry, we calculated the reaction rates of all major gas phase reactants with the diamond surface, totaling 91 elemental surface reactions. Consistent with previous studies, the model identifies that CH3 is a major precursor of diamond growth, and the contribution from C2H2 to the growth is significantly smaller. However, C2H2 can also contribute to forming a sp2-phase instead of a sp3-phase, and this process becomes dominant below a critical temperature. As a result, C2H2 flux inhibits diamond growth at low temperatures. To quantify this deleterious process, we developed a new mechanism for sp2-phase nucleation on the (100) surface. Similar to the so-called HACA mechanism for soot formation it involves hydrogen abstraction and C2H2 addition. Consequently, optimal low-temperature CVD growth could be realized in a reactor designed to maximize the CH3 radical production, while minimizing the generation of C2H2 and other sp and sp2 hydrocarbons.


title: Real-time solution of quadratic optimization problems with banded matrices and indicator variables

abstract: We consider mixed-integer quadratic optimization problems with banded matrices and indicator variables. These problems arise pervasively in statistical inference problems with time-series data, where the banded matrix captures the temporal relationship of the underlying process. In particular, the problem studied arises in monitoring problems, where the decision-maker wants to detect changes or anomalies. We propose to solve these problems using decision diagrams. In particular we show how to exploit the temporal dependencies to construct diagrams with size polynomial in the number of decision variables. We also describe how to construct the convex hull of the set under study from the decision diagrams, and how to deploy the method online to solve the problems in milliseconds via a shortest path algorithm.


title: A View on Out-of-Distribution Identification from a Statistical Testing Theory Perspective

abstract: We study the problem of efficiently detecting Out-of-Distribution (OOD) samples at test time in supervised and unsupervised learning contexts. While ML models are typically trained under the assumption that training and test data stem from the same distribution, this is often not the case in realistic settings, thus reliably detecting distribution shifts is crucial at deployment. We re-formulate the OOD problem under the lenses of statistical testing and then discuss conditions that render the OOD problem identifiable in statistical terms. Building on this framework, we study convergence guarantees of an OOD test based on the Wasserstein distance, and provide a simple empirical evaluation.


title: Optical phased array using phase-controlled optical frequency comb

abstract: We developed an optical phased array using an optical frequency comb and demonstrated its proof-of-principle. Optical phased arrays have been actively developed in recent years as a technology that can control the wavefront of light without any mechanical devices like phased array radar. Conventional optical phased arrays have been implemented using optical integrated circuits, but it has been difficult to achieve broadband operation with simple control. This is because control and calibration of a large number of phase modulators are required for each wavelength, and the dispersion of the waveguide makes whole bandwidth phase control of ultrashort pulses difficult. In contrast, we have developed a novel optical phased array that realizes wavefront control of ultrashort pulses generated by mode-locked laser by phase control of the comb, using high controllability of the comb and an optical array antenna with free-space optics. This is achieved by simply controlling the ratio of the two radio frequencies of the comb to realize a broadband optical phased array while suppressing environmental fluctuations. Experiments demonstrated broadband optical dot scanning at an optical frequency by forming an optical dot pattern and suppressing the environmental fluctuation by controlling the comb frequency. This innovative optical technology enables direct control of wavefronts by optical frequencies, i.e. controlling transverse modes by longitudinal modes.


title: A Greedy Quantum Route-Generation Algorithm

abstract: Routing and scheduling problems with time windows have long been important optimization problems for logistics and planning. Many classical heuristics and exact methods exist for such problems. However, there are no satisfactory methods for generating routes using quantum computing (QC), for mainly two reasons: inequality constraints, and the trade-off of feasibility and solution quality. Inequality constraints are typically handled using slack variables; and feasible solutions are found by filtering samples. These challenges are amplified in the presence of noise inherent in QC. Here, we propose a greedy algorithm that generates routes by using information from all samples obtained from the quantum computer. By noticing the relationship between qubits in our formulation as a directed acyclic graph (DAG), we designed an algorithm that adaptively constructs a feasible solution. We prove its convergence to a feasible solution, and illustrate its efficacy by solving the Fleet Sizing Vehicle Routing Problem with Time Windows (FSVRPTW). Our computational results show that this method obtains a lower objective value than the current state-of-the-art annealing approaches, both classical and hybrid, for the same amount of time using D-Wave Hybrid Solvers. We also show its robustness to noise on D-Wave Advantage 4.1 through computational results as compared to the filtering approach on DWaveSampler, even when the filtering approach is given a longer annealing time, and a larger sample size.


title: Multi-hop graph transformer network for 3D human pose estimation

abstract: Accurate 3D human pose estimation is a challenging task due to occlusion and depth ambiguity. In this paper, we introduce a multi-hop graph transformer network designed for 2D-to-3D human pose estimation in videos by leveraging the strengths of multi-head self-attention and multi-hop graph convolutional networks with disentangled neighborhoods to capture spatio-temporal dependencies and handle long-range interactions. The proposed network architecture consists of a graph attention block composed of stacked layers of multi-head self-attention and graph convolution with learnable adjacency matrix, and a multi-hop graph convolutional block comprised of multi-hop convolutional and dilated convolutional layers. The combination of multi-head self-attention and multi-hop graph convolutional layers enables the model to capture both local and global dependencies, while the integration of dilated convolutional layers enhances the model's ability to handle spatial details required for accurate localization of the human body joints. Extensive experiments demonstrate the effectiveness and generalization ability of our model, achieving competitive performance on benchmark datasets.


title: Convolutional Learning on Directed Acyclic Graphs

abstract: We develop a novel convolutional architecture tailored for learning from data defined over directed acyclic graphs (DAGs). DAGs can be used to model causal relationships among variables, but their nilpotent adjacency matrices pose unique challenges towards developing DAG signal processing and machine learning tools. To address this limitation, we harness recent advances offering alternative definitions of causal shifts and convolutions for signals on DAGs. We develop a novel convolutional graph neural network that integrates learnable DAG filters to account for the partial ordering induced by the graph topology, thus providing valuable inductive bias to learn effective representations of DAG-supported data. We discuss the salient advantages and potential limitations of the proposed DAG convolutional network (DCN) and evaluate its performance on two learning tasks using synthetic data: network diffusion estimation and source identification. DCN compares favorably relative to several baselines, showcasing its promising potential.


title: Verifying SQL Queries using Theories of Tables and Relations

abstract: We present a number of first- and second-order extensions to SMT theories specifically aimed at representing and analyzing SQL queries with join, projection, and selection operations. We support reasoning about SQL queries with either bag or set semantics for database tables. We provide the former via an extension of a theory of finite bags and the latter via an extension of the theory of finite relations. Furthermore, we add the ability to reason about tables with null values by introducing a theory of nullable sorts based on an extension of the theory of algebraic datatypes. We implemented solvers for these theories in the SMT solver cvc5 and evaluated them on a set of benchmarks derived from public sets of SQL equivalence problems.


title: Enhancing High-Level Synthesis with Automated Pragma Insertion and Code Transformation Framework

abstract: High-level synthesis, source-to-source compilers, and various Design Space Exploration techniques for pragma insertion have significantly improved the Quality of Results of generated designs. These tools offer benefits such as reduced development time and enhanced performance. However, achieving high-quality results often requires additional manual code transformations and tiling selections, which are typically performed separately or as pre-processing steps. Although DSE techniques enable code transformation upfront, the vastness of the search space often limits the exploration of all possible code transformations, making it challenging to determine which transformations are necessary. Additionally, ensuring correctness remains challenging, especially for complex transformations and optimizations. To tackle this obstacle, we first propose a comprehensive framework leveraging HLS compilers. Our system streamlines code transformation, pragma insertion, and tiles size selection for on-chip data caching through a unified optimization problem, aiming to enhance parallelization, particularly beneficial for computation-bound kernels. Them employing a novel Non-Linear Programming (NLP) approach, we simultaneously ascertain transformations, pragmas, and tile sizes, focusing on regular loop-based kernels. Our evaluation demonstrates that our framework adeptly identifies the appropriate transformations, including scenarios where no transformation is necessary, and inserts pragmas to achieve a favorable Quality of Results.


title: Active Preference Learning for Ordering Items In- and Out-of-sample

abstract: Learning an ordering of items based on noisy pairwise comparisons is useful when item-specific labels are difficult to assign, for example, when annotators have to make subjective assessments. Algorithms have been proposed for actively sampling comparisons of items to minimize the number of annotations necessary for learning an accurate ordering. However, many ignore shared structure between items, treating them as unrelated, limiting sample efficiency and precluding generalization to new items. In this work, we study active learning with pairwise preference feedback for ordering items with contextual attributes, both in- and out-of-sample. We give an upper bound on the expected ordering error incurred by active learning strategies under a logistic preference model, in terms of the aleatoric and epistemic uncertainty in comparisons, and propose two algorithms designed to greedily minimize this bound. We evaluate these algorithms in two realistic image ordering tasks, including one with comparisons made by human annotators, and demonstrate superior sample efficiency compared to non-contextual ranking approaches and active preference learning baselines.


title: Tree-based Ensemble Learning for Out-of-distribution Detection

abstract: Being able to successfully determine whether the testing samples has similar distribution as the training samples is a fundamental question to address before we can safely deploy most of the machine learning models into practice. In this paper, we propose TOOD detection, a simple yet effective tree-based out-of-distribution (TOOD) detection mechanism to determine if a set of unseen samples will have similar distribution as of the training samples. The TOOD detection mechanism is based on computing pairwise hamming distance of testing samples' tree embeddings, which are obtained by fitting a tree-based ensemble model through in-distribution training samples. Our approach is interpretable and robust for its tree-based nature. Furthermore, our approach is efficient, flexible to various machine learning tasks, and can be easily generalized to unsupervised setting. Extensive experiments are conducted to show the proposed method outperforms other state-of-the-art out-of-distribution detection methods in distinguishing the in-distribution from out-of-distribution on various tabular, image, and text data.


title: Saturation in Random Hypergraphs

abstract: Let $K^r_n$ be the complete $r$-uniform hypergraph on $n$ vertices, that is, the hypergraph whose vertex set is $[n]:=\{1,2,...,n\}$ and whose edge set is $\binom{[n]}{r}$. We form $G^r(n,p)$ by retaining each edge of $K^r_n$ independently with probability $p$. An $r$-uniform hypergraph $H\subseteq G$ is $F$-saturated if $H$ does not contain any copy of $F$, but any missing edge of $H$ in $G$ creates a copy of $F$. Furthermore, we say that $H$ is weakly $F$-saturated in $G$ if $H$ does not contain any copy of $F$, but the missing edges of $H$ in $G$ can be added back one-by-one, in some order, such that every edge creates a new copy of $F$. The smallest number of edges in an $F$-saturated hypergraph in $G$ is denoted by $sat(G,F)$, and in a weakly $F$-saturated hypergraph in $G$ by $wsat(G,F)$. In 2017, Kor\'andi and Sudakov initiated the study of saturation in random graphs, showing that for constant $p$, with high probability $sat(G(n,p),K_s)=(1+o(1))n\log_{\frac{1}{1-p}}n$, and $wsat(G(n,p),K_s)=wsat(K_n,K_s)$. Generalising their results, in this paper, we solve the suturation problem for random hypergraphs for every $2\le r < s$ and constant $p$.


title: Cavity QED systems for steady-state sources of Wigner-negative light

abstract: We present a theoretical investigation of optical cavity QED systems, as described by the driven, open Jaynes-Cummings model and some of its variants, as potential sources of steady-state Wigner-negative light. We consider temporal modes in the continuous output field from the cavity and demonstrate pronounced negativity in their Wigner distributions for experimentally-relevant parameter regimes. We consider models of both single and collective atomic spin systems, and find a rich structure of Wigner-distribution negativity as the spin size is varied. We also demonstrate an effective realization of all of the models considered using just a single 87Rb atom and based upon combinations of laser- and laser-plus-cavity-driven Raman transitions between magnetic sublevels in a single ground hyperfine state.