title: Text-Driven Traffic Anomaly Detection with Temporal High-Frequency Modeling in Driving Videos

abstract: Traffic anomaly detection (TAD) in driving videos is critical for ensuring the safety of autonomous driving and advanced driver assistance systems. Previous single-stage TAD methods primarily rely on frame prediction, making them vulnerable to interference from dynamic backgrounds induced by the rapid movement of the dashboard camera. While two-stage TAD methods appear to be a natural solution to mitigate such interference by pre-extracting background-independent features (such as bounding boxes and optical flow) using perceptual algorithms, they are susceptible to the performance of first-stage perceptual algorithms and may result in error propagation. In this paper, we introduce TTHF, a novel single-stage method aligning video clips with text prompts, offering a new perspective on traffic anomaly detection. Unlike previous approaches, the supervised signal of our method is derived from languages rather than orthogonal one-hot vectors, providing a more comprehensive representation. Further, concerning visual representation, we propose to model the high frequency of driving videos in the temporal domain. This modeling captures the dynamic changes of driving scenes, enhances the perception of driving behavior, and significantly improves the detection of traffic anomalies. In addition, to better perceive various types of traffic anomalies, we carefully design an attentive anomaly focusing mechanism that visually and linguistically guides the model to adaptively focus on the visual context of interest, thereby facilitating the detection of traffic anomalies. It is shown that our proposed TTHF achieves promising performance, outperforming state-of-the-art competitors by +5.4% AUC on the DoTA dataset and achieving high generalization on the DADA dataset.


title: Characterizing Physical Memory Fragmentation

abstract: External fragmentation of physical memory occurs when adjacent differently sized regions of allocated physical memory are freed at different times, causing free memory to be physically discontiguous. It can significantly degrade system performance and efficiency, such as reducing the ability to use huge pages, a critical optimization on modern large-memory system. For decades system developers have sought to avoid and mitigate fragmentation, but few prior studies quantify and characterize it in production settings. Moreover, prior work often artificially fragments physical memory to create more realistic performance evaluations, but their fragmentation methodologies are ad hoc and unvalidated. Out of 13 papers, we found 11 different methodologies, some of which were subsequently found inadequate. The importance of addressing fragmentation necessitates a validated and principled methodology. Our work fills these gaps in knowledge and methodology. We conduct a study of memory fragmentation in production by observing 248 machines in the Computer Sciences Department at University of Wisconsin - Madison for a week. We identify six key memory usage patterns, and find that Linux's file cache and page reclamation systems are major contributors to fragmentation because they often obliviously break up contiguous memory. Finally, we create and\'uril, a tool to artificially fragment memory during experimental research evaluations. While and\'uril ultimately fails as a scientific tool, we discuss its design ideas, merits, and failings in hope that they may inspire future research.


title: Intense Geomagnetic Storms during Solar Cycles 23-25

abstract: Intense geomagnetic storms are characterized by a minimum value of the Dst index at or below -100 nT. It is well known that these storms are caused by the southward magnetic fields in coronal mass ejections (CMEs) and corotating interaction regions (CIRs). While CIR storms are confined to Dst values at or above -150 nT, CME storms can reach Dst -500 nT or lower. In this report, we illustrate the need to understand the storm evolution based on solar source and solar wind parameters using a recent storm (2023 April 24) by way of providing the motivation to catalog such events for a better understanding of the main phase time structure of geomagnetic storms


title: Measurement of $^{144}$Sm(p,$\gamma$) cross-section at Gamow energies

abstract: The cross-section measurement of $^{144}$Sm(p, $\gamma$)$^{145}$Eu (T$_{1/2}=$5.93(4) days) reaction has been performed at proton energies around 2.6, 3.1, 3.7, 4.1, 4.2, 4.7, 5.1, 5.5, 5.9, 6.4, 6.8 MeV using the activation technique. These energies correspond to the Gamow window for 3, 4 GK and a partial portion for 2 GK. $^{144}$Sm has been chosen for the present study because of its significantly higher abundance compared to the other neighboring $p$-nuclides (Z $>$ 50). The astrophysical $S-$factor of this reaction has been measured for the first time at E$^{cm}_p=$ 2.57$\pm$0.13 MeV, $S-$ factor$=$2.542$\pm$1.152($\times$10$^{10}$) MeV-b. Cross-section data were compared with the previously measured experimental data from literature and the theoretical predictions obtained using Hauser-Feshbach statistical model codes TALYS 1.96 and NON-SMOKER. A satisfactory agreement between experimental data and theoretical results was observed. Molecular deposition technique was used to prepare the $^{144}$Sm targets having thickness between 100$-$350 $\mu$g/cm$^2$ on Al backing. Obtained results were utilized to predict the reaction rates for $^{144}$Sm (p, $\gamma$) and $^{145}$Eu ($\gamma$, p) reactions using TALYS 1.96 and the reciprocity theorem.


title: One-dimensional Multiferroic Semiconductor WOI3: Unconventional Anisotropic d^1 Rule and Bulk Photovoltaic Effect

abstract: The pursuit of multiferroic magnetoelectrics, combining simultaneous ferroelectric and magnetic orders, remains a central focus in condensed matter physics. Here we report the centrosymmetric, one-dimensional (1D) antiferromagnetic WOI$_3$ undergoes a strain-induced ferroelectric distortion. The paraelectric-ferroelectric transition is originated from the unconventional anisotropic $d^1$ mechanism, where an unpaired d electron of each W$^{5+}$ ion contributes to magnetic orders. Employing a Heisenberg model with Dzyaloshinskii-Moriya interaction, we predict an antiferromagnetic spin configuration as the paraelectric ground state, transitioning to a ferroelectric phase with noncollinear spin arrangement under uniaxial strain. The ferroelectric polarization and noncollinear spin arrangement can be manipulated by varying the applied strain. While the energy barriers for switching ferroelectric polarizations with magnetic orders are on the order of a few dozen of meV, the shift current bulk photovoltaic effect (BPVE) exhibits remarkable differences, providing a precise and valuable tool for experimentally probing the interplay of ferroelectric and magnetic orders in 1D WOI$_3$.


title: 0.08 fF, 0.72 nA dark current, 91% Quantum Efficiency, 38 Gb/s Nano-photodetector on a 45 nm CMOS Silicon-Photonic Platform

abstract: We demonstrated a Germanium-on-Silicon photodetector utilizing an asymmetric-Fabry-Perot resonator with 0.08 fF capacitance. The measurements at 1315.5 nm show 0.72 nA (3.40 nA) dark current, 0.93 A/W (0.96 A/W) responsivity, 36 Gb/s (38 Gb/s) operation at -1V (-2V) bias.


title: A Common Generalisation of the Andr\'e-Oort and Andr\'e-Pink-Zannier Conjectures

abstract: We introduce a ``hybrid'' conjecture which is a common generalisation of the Andr\'e-Oort conjecture and the Andr\'e-Pink-Zannier conjecture and we prove that it is a consequence of the Zilber-Pink conjecture. We also show that our hybrid conjecture implies the Zilber-Pink conjecture for hypersurfaces contained in weakly special subvarieties.


title: Quantifying stability of non-power-seeking in artificial agents

abstract: We investigate the question: if an AI agent is known to be safe in one setting, is it also safe in a new setting similar to the first? This is a core question of AI alignment--we train and test models in a certain environment, but deploy them in another, and we need to guarantee that models that seem safe in testing remain so in deployment. Our notion of safety is based on power-seeking--an agent which seeks power is not safe. In particular, we focus on a crucial type of power-seeking: resisting shutdown. We model agents as policies for Markov decision processes, and show (in two cases of interest) that not resisting shutdown is "stable": if an MDP has certain policies which don't avoid shutdown, the corresponding policies for a similar MDP also don't avoid shutdown. We also show that there are natural cases where safety is _not_ stable--arbitrarily small perturbations may result in policies which never shut down. In our first case of interest--near-optimal policies--we use a bisimulation metric on MDPs to prove that small perturbations won't make the agent take longer to shut down. Our second case of interest is policies for MDPs satisfying certain constraints which hold for various models (including language models). Here, we demonstrate a quantitative bound on how fast the probability of not shutting down can increase: by defining a metric on MDPs; proving that the probability of not shutting down, as a function on MDPs, is lower semicontinuous; and bounding how quickly this function decreases.


title: Detecting Anomalies in Blockchain Transactions using Machine Learning Classifiers and Explainability Analysis

abstract: As the use of Blockchain for digital payments continues to rise in popularity, it also becomes susceptible to various malicious attacks. Successfully detecting anomalies within Blockchain transactions is essential for bolstering trust in digital payments. However, the task of anomaly detection in Blockchain transaction data is challenging due to the infrequent occurrence of illicit transactions. Although several studies have been conducted in the field, a limitation persists: the lack of explanations for the model's predictions. This study seeks to overcome this limitation by integrating eXplainable Artificial Intelligence (XAI) techniques and anomaly rules into tree-based ensemble classifiers for detecting anomalous Bitcoin transactions. The Shapley Additive exPlanation (SHAP) method is employed to measure the contribution of each feature, and it is compatible with ensemble models. Moreover, we present rules for interpreting whether a Bitcoin transaction is anomalous or not. Additionally, we have introduced an under-sampling algorithm named XGBCLUS, designed to balance anomalous and non-anomalous transaction data. This algorithm is compared against other commonly used under-sampling and over-sampling techniques. Finally, the outcomes of various tree-based single classifiers are compared with those of stacking and voting ensemble classifiers. Our experimental results demonstrate that: (i) XGBCLUS enhances TPR and ROC-AUC scores compared to state-of-the-art under-sampling and over-sampling techniques, and (ii) our proposed ensemble classifiers outperform traditional single tree-based machine learning classifiers in terms of accuracy, TPR, and FPR scores.


title: A Heterogeneous RISC-V based SoC for Secure Nano-UAV Navigation

abstract: The rapid advancement of energy-efficient parallel ultra-low-power (ULP) ucontrollers units (MCUs) is enabling the development of autonomous nano-sized unmanned aerial vehicles (nano-UAVs). These sub-10cm drones represent the next generation of unobtrusive robotic helpers and ubiquitous smart sensors. However, nano-UAVs face significant power and payload constraints while requiring advanced computing capabilities akin to standard drones, including real-time Machine Learning (ML) performance and the safe co-existence of general-purpose and real-time OSs. Although some advanced parallel ULP MCUs offer the necessary ML computing capabilities within the prescribed power limits, they rely on small main memories (<1MB) and ucontroller-class CPUs with no virtualization or security features, and hence only support simple bare-metal runtimes. In this work, we present Shaheen, a 9mm2 200mW SoC implemented in 22nm FDX technology. Differently from state-of-the-art MCUs, Shaheen integrates a Linux-capable RV64 core, compliant with the v1.0 ratified Hypervisor extension and equipped with timing channel protection, along with a low-cost and low-power memory controller exposing up to 512MB of off-chip low-cost low-power HyperRAM directly to the CPU. At the same time, it integrates a fully programmable energy- and area-efficient multi-core cluster of RV32 cores optimized for general-purpose DSP as well as reduced- and mixed-precision ML. To the best of the authors' knowledge, it is the first silicon prototype of a ULP SoC coupling the RV64 and RV32 cores in a heterogeneous host+accelerator architecture fully based on the RISC-V ISA. We demonstrate the capabilities of the proposed SoC on a wide range of benchmarks relevant to nano-UAV applications. The cluster can deliver up to 90GOp/s and up to 1.8TOp/s/W on 2-bit integer kernels and up to 7.9GFLOp/s and up to 150GFLOp/s/W on 16-bit FP kernels.


title: Understanding the Cavity Born-Oppenheimer Approximation

abstract: Experiments have demonstrated that vibrational strong coupling between molecular vibrations and light modes can significantly change molecular properties, such as ground-state reactivity. Theoretical studies towards the origin of this exciting observation can roughly be divided in two categories, with studies based on Hamiltonians that simply couple a molecule to a cavity mode via its ground-state dipole moment on the one hand, and on the other hand ab initio calculations that self-consistently include the effect of the cavity mode on the electronic ground state within the cavity Born-Oppenheimer (CBO) approximation; these approaches are not equivalent. The CBO approach is more rigorous, but unfortunately it requires the rewriting of electronic-structure code, and gives little physical insight. In this work, we exploit the relation between the two approaches and demonstrate on a real molecule (hydrogen fluoride) that for realistic coupling strengths, we can recover CBO energies and spectra to high accuracy using only out-of-cavity quantities from standard electronic-structure calculations. In doing so, we discover what the physical effects underlying the CBO results are. Our methodology can aid in incorporating more, possibly important features in models, play a pivotal role in demystifying CBO results and provide a practical and efficient alternative to full CBO calculations.


title: Characterizing Political Campaigning with Lexical Mutants on Indian Social Media

abstract: Increasingly online platforms are becoming popular arenas of political amplification in India. With known instances of pre-organized coordinated operations, researchers are questioning the legitimacy of political expression and its consequences on the democratic processes in India. In this paper, we study an evolved form of political amplification by first identifying and then characterizing political campaigns with lexical mutations. By lexical mutation, we mean content that is reframed, paraphrased, or altered while preserving the same underlying message. Using multilingual embeddings and network analysis, we detect over 3.8K political campaigns with text mutations spanning multiple languages and social media platforms in India. By further assessing the political leanings of accounts repeatedly involved in such amplification campaigns, we contribute a broader understanding of how political amplification is used across various political parties in India. Moreover, our temporal analysis of the largest amplification campaigns suggests that political campaigning can evolve as temporally ordered arguments and counter-arguments between groups with competing political interests. Overall, our work contributes insights into how lexical mutations can be leveraged to bypass the platform manipulation policies and how such competing campaigning can provide an exaggerated sense of political divide on Indian social media.


title: Physics-informed Neural Networks for Encoding Dynamics in Real Physical Systems

abstract: This dissertation investigates physics-informed neural networks (PINNs) as candidate models for encoding governing equations, and assesses their performance on experimental data from two different systems. The first system is a simple nonlinear pendulum, and the second is 2D heat diffusion across the surface of a metal block. We show that for the pendulum system the PINNs outperformed equivalent uninformed neural networks (NNs) in the ideal data case, with accuracy improvements of 18x and 6x for 10 linearly-spaced and 10 uniformly-distributed random training points respectively. In similar test cases with real data collected from an experiment, PINNs outperformed NNs with 9.3x and 9.1x accuracy improvements for 67 linearly-spaced and uniformly-distributed random points respectively. For the 2D heat diffusion, we show that both PINNs and NNs do not fare very well in reconstructing the heating regime due to difficulties in optimizing the network parameters over a large domain in both time and space. We highlight that data denoising and smoothing, reducing the size of the optimization problem, and using LBFGS as the optimizer are all ways to improve the accuracy of the predicted solution for both PINNs and NNs. Additionally, we address the viability of deploying physics-informed models within physical systems, and we choose FPGAs as the compute substrate for deployment. In light of this, we perform our experiments using a PYNQ-Z1 FPGA and identify issues related to time-coherent sensing and spatial data alignment. We discuss the insights gained from this work and list future work items based on the proposed architecture for the system that our methods work to develop.


title: On nonlinear iterated function systems with overlaps

abstract: We construct an example of an iterated function system on the line, consisting of linear fractional transformations, such that two of the maps share a fixed points, but the dimension of the attractor equals the conformal dimension, so that there is no ``dimension drop''.


title: Clique counts for network similarity

abstract: Counts of small subgraphs, or graphlet counts, are widely applicable to measure graph similarity. Computing graphlet counts can be computationally expensive and may pose obstacles in network analysis. We study the role of cliques in graphlet counts as a method for graph similarity in social networks. Higher-order clustering coefficients and the Pivoter algorithm for exact clique counts are employed


title: Tantalum airbridges for scalable superconducting quantum processors

abstract: The unique property of tantalum (Ta), particularly its long coherent lifetime in superconducting qubits and its exceptional resistance to both acid and alkali, makes it promising for superconducting quantum processors. It is a notable advantage to achieve high-performance quantum processors with neat and unified fabrication of all circuit elements, including coplanar waveguides (CPW), qubits, and airbridges, on the tantalum film-based platform. Here, we propose a reliable tantalum airbridges with separate or fully-capped structure fabricated via a novel lift-off method, where a barrier layer with aluminium (Al) film is first introduced to separate two layers of photoresist and then etched away before the deposition of tantalum film, followed by cleaning with piranha solution to remove the residual photoresist on the chip. We characterize such tantalum airbridges as the control line jumpers, the ground plane crossovers and even coupling elements. They exhibit excellent connectivity, minimal capacitive loss, effectively suppress microwave and flux crosstalk and offer high freedom of coupling. Besides, by presenting a surface-13 tunable coupling superconducting quantum processor with median $T_1$ reaching above 100 $\mu$s, the overall adaptability of tantalum airbridges is verified. The median single-qubit gate fidelity shows a tiny decrease from about 99.95% for the isolated Randomized Benchmarking to 99.94% for the simultaneous one. This fabrication method, compatible with all known superconducting materials, requires mild conditions of film deposition compared with the commonly used etching and grayscale lithography. Meanwhile, the experimental achievement of non-local coupling with controlled-Z (CZ) gate fidelity exceeding 99.2% may further facilitate qLDPC codes, laying a foundation for scalable quantum computation and quantum error correction with entirely tantalum elements.


title: Transfer the linguistic representations from TTS to accent conversion with non-parallel data

abstract: Accent conversion aims to convert the accent of a source speech to a target accent, meanwhile preserving the speaker's identity. This paper introduces a novel non-autoregressive framework for accent conversion that learns accent-agnostic linguistic representations and employs them to convert the accent in the source speech. Specifically, the proposed system aligns speech representations with linguistic representations obtained from Text-to-Speech (TTS) systems, enabling training of the accent voice conversion model on non-parallel data. Furthermore, we investigate the effectiveness of a pretraining strategy on native data and different acoustic features within our proposed framework. We conduct a comprehensive evaluation using both subjective and objective metrics to assess the performance of our approach. The evaluation results highlight the benefits of the pretraining strategy and the incorporation of richer semantic features, resulting in significantly enhanced audio quality and intelligibility.


title: An introduction to the Zakharov equation for modelling deep water waves

abstract: The Hamiltonian formulation of the water wave problem due to Zakharov, and the reduced Zakharov equation derived therefrom, have great utility in understanding and modelling water waves. Here we set out to review the cubic Zakharov equation and its uses in understanding deterministic waves in deep water. The background of this equation is developed and several applications are explored. Chief among these is an understanding of dispersion corrections and the energy exchange among modes. It is hoped that readers will be motivated to explore this powerful reformulation of the cubically nonlinear water wave problem for themselves.


title: SeTformer is What You Need for Vision and Language

abstract: The dot product self-attention (DPSA) is a fundamental component of transformers. However, scaling them to long sequences, like documents or high-resolution images, becomes prohibitively expensive due to quadratic time and memory complexities arising from the softmax operation. Kernel methods are employed to simplify computations by approximating softmax but often lead to performance drops compared to softmax attention. We propose SeTformer, a novel transformer, where DPSA is purely replaced by Self-optimal Transport (SeT) for achieving better performance and computational efficiency. SeT is based on two essential softmax properties: maintaining a non-negative attention matrix and using a nonlinear reweighting mechanism to emphasize important tokens in input sequences. By introducing a kernel cost function for optimal transport, SeTformer effectively satisfies these properties. In particular, with small and basesized models, SeTformer achieves impressive top-1 accuracies of 84.7% and 86.2% on ImageNet-1K. In object detection, SeTformer-base outperforms the FocalNet counterpart by +2.2 mAP, using 38% fewer parameters and 29% fewer FLOPs. In semantic segmentation, our base-size model surpasses NAT by +3.5 mIoU with 33% fewer parameters. SeTformer also achieves state-of-the-art results in language modeling on the GLUE benchmark. These findings highlight SeTformer's applicability in vision and language tasks.


title: Coexistence of 1D and 2D topology and genesis of Dirac cones in the chiral Aubry-Andr\'e model

abstract: We construct a one-dimensional (1D) topological SSH-like model with chiral symmetry and a superimposed hopping modulation, which we call the chiral Aubry-Andr\'e model. We show that its topological properties can be described in terms of a pair (C,W) of a two-dimensional (2D) Chern number C, stemming from a superspace description of the model, and a 1D winding number W, originating in its chiral symmetric nature. Thus, we showcase for the first time explicit coexistence of 1D and 2D topology in a model existing in 1D physical space. We detail the superspace description by showcasing how our model can be mapped to a Harper-Hofstadter model, familiar from the description of the integer quantum Hall effect, and analyze the vanishing field limit analytically. An extension of the method used for vanishing fields is provided in order to handle any finite fields, corresponding to hopping modulations both commensurate and incommensurate with the lattice. In addition, this formalism allows us to obtain certain features of the 2D superspace model, such as its number of massless Dirac nodes, purely in terms of topological quantities, computed without the need to go into momentum space.


title: The repulsive Euler-Poisson equations with variable doping profile

abstract: We prove that arbitrary small smooth perturbations of the zero equilibrium state of the repulsive pressureless Euler-Poisson equations, which describe the behavior of cold plasma, blow up for any non-constant doping profile already in one-dimensional space. We also propose a numerical procedure that allows one to find the blow-up time for any initial data and present examples of such calculations for various doping profiles for standard initial data, corresponding to the laser pulse.


title: Dynamic Multi Color Switching using Ultrathin Vanadium Oxide on Aluminium based Asymmetric Fabry-Perot Resonant Structure

abstract: Vanadium dioxide ($VO_{2}$) exhibits strong infrared optical switching due to its insulator-metal phase-transition property. However, in the visible wavelengths, it's intrinsic optical switching is quite low. Current research explores solutions like multilayering, intricate structural patterning, high thermal budget processes and costly metals for improved color switching. Nonetheless, the color gamut coverage with these methodologies remains notably limited. This work overcomes these limitations and demonstrates dynamic multi-colour switching covering a large color gamut using a simple, unpatterned, ultrathin ($\sim$ $\frac{\lambda}{14}$, where wavelength $\lambda$ is taken as 575 nm at the center of visible spectrum) asymmetric Fabry-P\'{e}rot structure of $VO_{2}$ on Aluminium (Al). We use the transfer matrix method to design the $VO_{2}/Aluminium\,(Al)/Sapphire$ structure for maximum visible reflectance switching. $VO_{2}$ films are synthesized using a simple, low thermal budget atmospheric oxidation of Vanadium (V). With varying oxidation durations, different colors of the oxidized samples are observed. Consistent and reversible color-switching is observed visibly and in reflectance measurements with the change in temperature from low (RT $\sim$ 30$^{\circ}$C) to high (HT $\sim$ 100$^{\circ}$C) or vice versa due to the phase transition property of the $VO_{2}$ layer in the structure. Compared to the existing studies, this work shows a significant change in chromaticities and covers a large color gamut when plotted on the CIE chromaticity diagram. This work has potential applications in the fields of display, thermochromic structures, and visible camouflage.


title: Eulerian, Lagrangian and broad continuous solutions to a balance law with non convex flux II

abstract: We consider a \emph{continuous} solution $u$ of the balance law \[ \partial_{\mathit t} u + \partial_{\mathit x} (f(u)) = g\] in one space dimension, where the flux function $f$ is of class $C^2$ and the source term $g$ is bounded. This equation admits an Eulerian intepretation (namely the distributional one) and a Lagrangian intepretation (which can be further specified). Since $u$ is only continuous, these interpretations do not necessessarily agree; moreover each interpretation naturally entails a different equivalence class for the source term $g$. In this paper we complete the comparison between these notions of solutions started in the companion paper [Alberti-Bianchini-Caravenna I], and analize in detail the relations between the corresponding notions of source term.


title: Is there really a Citation Age Bias in NLP?

abstract: Citations are a key ingredient of scientific research to relate a paper to others published in the community. Recently, it has been noted that there is a citation age bias in the Natural Language Processing (NLP) community, one of the currently fastest growing AI subfields, in that the mean age of the bibliography of NLP papers has become ever younger in the last few years, leading to `citation amnesia' in which older knowledge is increasingly forgotten. In this work, we put such claims into perspective by analyzing the bibliography of $\sim$300k papers across 15 different scientific fields submitted to the popular preprint server Arxiv in the time period from 2013 to 2022. We find that all AI subfields (in particular: cs.AI, cs.CL, cs.CV, cs.LG) have similar trends of citation amnesia, in which the age of the bibliography has roughly halved in the last 10 years (from above 12 in 2013 to below 7 in 2022), on average. Rather than diagnosing this as a citation age bias in the NLP community, we believe this pattern is an artefact of the dynamics of these research fields, in which new knowledge is produced in ever shorter time intervals.


title: NovelGym: A Flexible Ecosystem for Hybrid Planning and Learning Agents Designed for Open Worlds

abstract: As AI agents leave the lab and venture into the real world as autonomous vehicles, delivery robots, and cooking robots, it is increasingly necessary to design and comprehensively evaluate algorithms that tackle the ``open-world''. To this end, we introduce NovelGym, a flexible and adaptable ecosystem designed to simulate gridworld environments, serving as a robust platform for benchmarking reinforcement learning (RL) and hybrid planning and learning agents in open-world contexts. The modular architecture of NovelGym facilitates rapid creation and modification of task environments, including multi-agent scenarios, with multiple environment transformations, thus providing a dynamic testbed for researchers to develop open-world AI agents.


title: Overview of Dialogue Robot Competition 2023

abstract: We have held dialogue robot competitions in 2020 and 2022 to compare the performances of interactive robots using an android that closely resembles a human. In 2023, the third competition DRC2023 was held. The task of DRC2023 was designed to be more challenging than the previous travel agent dialogue tasks. Since anyone can now develop a dialogue system using LLMs, the participating teams are required to develop a system that effectively uses information about the situation on the spot (real-time information), which is not handled by ChatGPT and other systems. DRC2023 has two rounds, a preliminary round and the final round as well as the previous competitions. The preliminary round has held on Oct.27 -- Nov.20, 2023 at real travel agency stores. The final round will be held on December 23, 2023. This paper provides an overview of the task settings and evaluation method of DRC2023 and the preliminary round results.


title: Vortex dynamics and turbulence in dipolar Bose-Einstein condensates

abstract: Quantum turbulence indicators in dipolar Bose-Einstein condensed fluids, following emissions of vortex-antivortex pairs generated by a circularly moving detuned laser, are being provided by numerical simulations of the corresponding quasi-two-dimensional Gross-Pitaevskii formalism with repulsive contact interactions combined with tunable dipole-dipole strength. The critical velocities of two variants of a circularly moving obstacle are determined and analyzed for vortex-antivortex nucleation in the form of regular and cluster emissions. The turbulent dynamical behavior is predicted to follow closely the initial emission of vortex-antivortex pairs, relying on the expected Kolmogorov's classical scaling law, which is verified by the spectral analysis of the incompressible part of the kinetic energy. Within our aim to provide further support in the up-to-now investigations of quantum turbulence, which have been focused on non-dipolar Bose-Einstein condensates, we emphasize the role of dipole-dipole interactions in the fluid dynamics.


title: The JCMT Transient Survey: Six-Year Summary of 450/850\,$\mu$m Protostellar Variability and Calibration Pipeline Version 2.0

abstract: The JCMT Transient Survey has been monitoring eight Gould Belt low-mass star-forming regions since December 2015 and six somewhat more distant intermediate-mass star-forming regions since February 2020 with SCUBA-2 on the JCMT at \ShortS and \LongS and with an approximately monthly cadence. We introduce our Pipeline v2 relative calibration procedures for image alignment and flux calibration across epochs, improving on our previous Pipeline v1 by decreasing measurement uncertainties and providing additional robustness. These new techniques work at both \LongS and \ShortNS, where v1 only allowed investigation of the \LongS data. Pipeline v2 achieves better than $0.5^{\prime\prime}$ relative image alignment, less than a tenth of the submillimeter beam widths. The v2 relative flux calibration is found to be 1\% at \LongS and $<5$\% at \ShortNS. The improvement in the calibration is demonstrated by comparing the two pipelines over the first four years of the survey and recovering additional robust variables with v2. Using the full six years of the Gould Belt survey the number of robust variables increases by 50\,\%, and at \ShortS we identify four robust variables, all of which are also robust at \LongNS. The multi-wavelength light curves for these sources are investigated and found to be consistent with the variability being due to dust heating within the envelope in response to accretion luminosity changes from the central source.


title: Mpemba meets Newton: Exploring the Mpemba and Kovacs effects in the time-delayed cooling law

abstract: Despite extensive research, the fundamental physical mechanisms underlying the Mpemba effect, a phenomenon where a substance cools faster after initially being heated, remain elusive. Although historically linked with water, the Mpemba effect manifests across diverse systems, sparking heightened interest in Mpemba-like phenomena. Concurrently, the Kovacs effect, a memory phenomenon observed in materials like polymers, involves rapid quenching and subsequent temperature changes, resulting in nonmonotonic relaxation behavior. This paper probes the intricacies of the Mpemba and Kovacs effects within the framework of the time-delayed Newton's law of cooling, recognized as a simplistic yet effective phenomenological model accommodating memory phenomena. This law allows for a nuanced comprehension of temperature variations, introducing a time delay ($\tau$) and incorporating specific protocols for the thermal bath temperature, contingent on a defined waiting time ($t_{\text{w}}$). Remarkably, the relevant parameter space is two-dimensional ($\tau$ and $t_{\text{w}}$), with bath temperatures exerting no influence on the presence or absence of the Mpemba effect or the relative strength of the Kovacs effect. The findings enhance our understanding of these memory phenomena, providing valuable insights applicable to researchers across diverse fields, ranging from physics to materials science.

categories: cond-mat.soft cond-mat.mtrl-sci physics.class-ph physics.flu-dyn


title: CAPTAIN at COLIEE 2023: Efficient Methods for Legal Information Retrieval and Entailment Tasks

abstract: The Competition on Legal Information Extraction/Entailment (COLIEE) is held annually to encourage advancements in the automatic processing of legal texts. Processing legal documents is challenging due to the intricate structure and meaning of legal language. In this paper, we outline our strategies for tackling Task 2, Task 3, and Task 4 in the COLIEE 2023 competition. Our approach involved utilizing appropriate state-of-the-art deep learning methods, designing methods based on domain characteristics observation, and applying meticulous engineering practices and methodologies to the competition. As a result, our performance in these tasks has been outstanding, with first places in Task 2 and Task 3, and promising results in Task 4. Our source code is available at https://github.com/Nguyen2015/CAPTAIN-COLIEE2023/tree/coliee2023.


title: Privacy-Preserving in Blockchain-based Federated Learning Systems

abstract: Federated Learning (FL) has recently arisen as a revolutionary approach to collaborative training Machine Learning models. According to this novel framework, multiple participants train a global model collaboratively, coordinating with a central aggregator without sharing their local data. As FL gains popularity in diverse domains, security, and privacy concerns arise due to the distributed nature of this solution. Therefore, integrating this strategy with Blockchain technology has been consolidated as a preferred choice to ensure the privacy and security of participants. This paper explores the research efforts carried out by the scientific community to define privacy solutions in scenarios adopting Blockchain-Enabled FL. It comprehensively summarizes the background related to FL and Blockchain, evaluates existing architectures for their integration, and the primary attacks and possible countermeasures to guarantee privacy in this setting. Finally, it reviews the main application scenarios where Blockchain-Enabled FL approaches have been proficiently applied. This survey can help academia and industry practitioners understand which theories and techniques exist to improve the performance of FL through Blockchain to preserve privacy and which are the main challenges and future directions in this novel and still under-explored context. We believe this work provides a novel contribution respect to the previous surveys and is a valuable tool to explore the current landscape, understand perspectives, and pave the way for advancements or improvements in this amalgamation of Blockchain and Federated Learning.


title: Homogeneous Symmetry Operators in Kerr--NUT--AdS Spacetimes

abstract: It is well known that the Kerr--NUT--AdS spacetimes possess hidden symmetries encoded in the so-called principal Killing--Yano tensor. In this paper, focusing on the four-dimensional case, we obtain a number of symmetry operators for scalar, vector, and tensor perturbations, that are of degree two (to be defined below) and homogeneous in the principal tensor. In particular, by considering homogeneous operators that are linear, quadratic, and cubic in the principal tensor, we recover a complete set of 4 mutually commuting operators for scalar perturbations, underlying the separability of (massive) scalar wave equation. Proceeding to vector and tensor perturbations of the Kerr--NUT--AdS spacetimes, we find a set of 7 and 8 commuting operators, respectively. It remains to be seen whether such operators can be used to separate the corresponding spin 1 and spin 2 test field equations in these spacetimes.


title: False Discovery Rate and Localizing Power

abstract: False discovery rate (FDR) is commonly used for correction for multiple testing in neuroimaging studies. However, when using two-tailed tests, making directional inferences about the results can lead to vastly inflated error rate, even approaching 100\% in some cases. This happens because FDR only provides weak control over the error rate, meaning that the proportion of error is guaranteed only globally over all tests, not within subsets, such as among those in only one or another direction. Here we consider and evaluate different strategies for FDR control with two-tailed tests, using both synthetic and real imaging data. Approaches that separate the tests by direction of the hypothesis test, or by the direction of the resulting test statistic, more properly control the directional error rate and preserve FDR benefits, albeit with a doubled risk of errors under complete absence of signal. Strategies that combine tests in both directions, or that use simple two-tailed p-values, can lead to invalid directional conclusions, even if these tests remain globally valid. To enable valid thresholding for directional inference, we suggest that imaging software should allow the possibility that the user sets asymmetrical thresholds for the two sides of the statistical map. While FDR continues to be a valid, powerful procedure for multiple testing correction, care is needed when making directional inferences for two-tailed tests, or more broadly, when making any localized inference.


title: IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems

abstract: This paper is concerned with developing a software tool, called IMPaCT, for the parallelized verification and controller synthesis of large-scale stochastic systems using interval Markov chains (IMCs) and interval Markov decision processes (IMDPs), respectively. The tool serves to (i) construct IMCs/IMDPs as finite abstractions of underlying original systems, and (ii) leverage interval iteration algorithms for formal verification and controller synthesis over infinite-horizon properties, including safety, reachability, and reach-avoid, while offering convergence guarantees. IMPaCT is developed in C++ and designed using AdaptiveCpp, an independent open-source implementation of SYCL, for adaptive parallelism over CPUs and GPUs of all hardware vendors, including Intel and NVIDIA. IMPaCT stands as the first software tool for the parallel construction of IMCs/IMDPs, empowered with the capability to leverage high-performance computing platforms and cloud computing services. Specifically, parallelism offered by IMPaCT effectively addresses the challenges arising from the state-explosion problem inherent in discretization-based techniques applied to large-scale stochastic systems. We benchmark IMPaCT on several physical case studies, adopted from the ARCH tool competition for stochastic models, including a 2-dimensional robot, a 3-dimensional autonomous vehicle, a 5-dimensional room temperature system, and a 7-dimensional building automation system. To show the scalability of our tool, we also employ IMPaCT for the formal analysis of a 14-dimensional case study.


title: An Incentive Regulation Approach for Balancing Stakeholder Interests in Transmission Investment

abstract: The merchant-regulatory mechanism represents a promising tool that combines the benefits of merchant investment and regulated investment, thereby providing efficient incentives for merchant Transmission Companies (Transcos) subject to regulatory compliance. However, one of the drawbacks of the H-R-G-V merchant-regulated mechanism is that it allows the Transco to capture the entire surplus increase resulting from investment, without any economic benefits for consumers and generators. To address this issue, we propose an incentive tuning parameter, which is incorporated into the calculation of the incentive fee for the Transco. Accordingly, the regulatory framework can effectively manage the Transco's profit and allow market participants to access economic benefits, thus ensuring a fair distribution of economic advantages among the stakeholders, while the impact on overall social welfare remains relatively modest.


title: Investigating the probability of a cylindrical coin landing on its side

abstract: The problem of creating a three-sided dice with the probability of it landing on each of its sides being equal to 1/3 has been around for many years. Various approaches have been attempted, but as different authors achieved at different results, no uniform answer has been found. In this paper, the probability of a cylinder-shaped coin landing on its side is investigated, aiming to predict the final position of the coin, based on the starting physical and geometrical parameters of the coin. Pure physical methods and computer modeling have been used to find the parameters of a "fair" coin and to determine which parameters of the system affect the probability of the coin landing on an edge, and in what way. Statistical analysis of the situation has been made, to ensure that the probabilities we are trying to find, correspond to the appropriate physical events. Overall, two main possibilities for modeling the situation are considered: single-axis rotation (flat rotation) and the superposition of rotation against multiple axes (volumetric rotation). For each, a model was built and it was compared with computer modeling and real-life experiments. Dynamical and energetic approaches have been considered, and a model of the coin during its impact with the ground has been created. A robot that is capable of launching cylindrical coins, picking them up, and recording the result of the experiment, controlling starting parameters precisely, and distributing them to our needs, and automatically record the results of the experiment, was created. In conclusion, the parameters of a "fair" coin are provided, which have even probabilities landing on all its sides, as well as the dependencies of the probability of a coin landing on its edge, on different parameters.


title: The cosmic string in Horndeski-like gravity

abstract: Scalar-tensor theories have shown promise in many sectors of cosmology. However, recent constraints from the speed of gravitational waves have put severe limits on the breadth of models such classes of theories can realize. In this work, we explore the possibility of a string-like Horndeski Lagrangian that is equipped with two dilaton fields. This is an interesting low-energy effective string theory that has a healthy general relativity limit. The evolution of a two-dilation coupled cosmology is not well-known in the literature. We explore the tensor perturbations in order to assess the behavior of the model again the speed of gravitational wave constraint. Our main result is that this model exhibits of a class of cosmological theories that is consistent with this observational constraint.


title: Statistical Static Timing Analysis of VLSI as the Statistics of Correlated Extremes

abstract: In this study, a path-based Statistical Static Timing Analysis (SSTA) is formulated as a problem within the statistics of correlated extremes. For extreme value statistics with correlations, a novel approach to studying such systems, when the correlations are small, is developed. The approach considers a system from the first principals, starting from the multivariable characteristic function. Analytical solutions to the problem of weakly correlated extremes are obtained in the form of corrections to the Gumbel distribution. These solutions are compared with Monte Carlo simulations. The applicability limits of the proposed solutions are studied. An algorithm to estimate the covariance matrix of a timing graph is proposed.


title: Improving Transferability of Network Intrusion Detection in a Federated Learning Setup

abstract: Network Intrusion Detection Systems (IDS) aim to detect the presence of an intruder by analyzing network packets arriving at an internet connected device. Data-driven deep learning systems, popular due to their superior performance compared to traditional IDS, depend on availability of high quality training data for diverse intrusion classes. A way to overcome this limitation is through transferable learning, where training for one intrusion class can lead to detection of unseen intrusion classes after deployment. In this paper, we provide a detailed study on the transferability of intrusion detection. We investigate practical federated learning configurations to enhance the transferability of intrusion detection. We propose two techniques to significantly improve the transferability of a federated intrusion detection system. The code for this work can be found at https://github.com/ghosh64/transferability.


title: Analysis of the Taylor-Hood Surface Finite Element Method for the surface Stokes equation

abstract: We consider the surface Stokes equation on a smooth closed hypersurface in three-dimensional space. For discretization of this problem a generalization of the surface finite element method (SFEM) of Dziuk-Elliott combined with a Hood-Taylor pair of finite element spaces has been used in the literature. We call this method Hood-Taylor-SFEM. This method uses a penalty technique to weakly satisfy the tangentiality constraint. In this paper we present a discretization error analysis of this method resulting in optimal discretization error bounds in an energy norm. We also address linear algebra aspects related to (pre)conditioning of the system matrix.


title: GLOCALFAIR: Jointly Improving Global and Local Group Fairness in Federated Learning

abstract: Federated learning (FL) has emerged as a prospective solution for collaboratively learning a shared model across clients without sacrificing their data privacy. However, the federated learned model tends to be biased against certain demographic groups (e.g., racial and gender groups) due to the inherent FL properties, such as data heterogeneity and party selection. Unlike centralized learning, mitigating bias in FL is particularly challenging as private training datasets and their sensitive attributes are typically not directly accessible. Most prior research in this field only focuses on global fairness while overlooking the local fairness of individual clients. Moreover, existing methods often require sensitive information about the client's local datasets to be shared, which is not desirable. To address these issues, we propose GLOCALFAIR, a client-server co-design fairness framework that can jointly improve global and local group fairness in FL without the need for sensitive statistics about the client's private datasets. Specifically, we utilize constrained optimization to enforce local fairness on the client side and adopt a fairness-aware clustering-based aggregation on the server to further ensure the global model fairness across different sensitive groups while maintaining high utility. Experiments on two image datasets and one tabular dataset with various state-of-the-art fairness baselines show that GLOCALFAIR can achieve enhanced fairness under both global and local data distributions while maintaining a good level of utility and client fairness.


title: Data-CUBE: Data Curriculum for Instruction-based Sentence Representation Learning

abstract: Recently, multi-task instruction tuning has been applied into sentence representation learning, which endows the capability of generating specific representations with the guidance of task instruction, exhibiting strong generalization ability on new tasks. However, these methods mostly neglect the potential interference problems across different tasks and instances, which may affect the training and convergence of the model. To address it, we propose a data curriculum method, namely Data-CUBE, that arranges the orders of all the multi-task data for training, to minimize the interference risks from the two views. In the task level, we aim to find the optimal task order to minimize the total cross-task interference risk, which is exactly the traveling salesman problem, hence we utilize a simulated annealing algorithm to find its solution. In the instance level, we measure the difficulty of all instances per task, then divide them into the easy-to-difficult mini-batches for training. Experiments on MTEB sentence representation evaluation tasks show that our approach can boost the performance of state-of-the-art methods. Our code and data are publicly available at the link: \url{https://github.com/RUCAIBox/Data-CUBE}.


title: Experimental Demonstration of Imperfection-Agnostic Local Learning Rules on Photonic Neural Networks with Mach-Zehnder Interferometric Meshes

abstract: Mach-Zehnder Interferometric meshes are attractive for low-loss photonic matrix multiplication but are challenging to program. Using least-squares optimization of directional derivatives, we experimentally demonstrate that desired matrix updates can be implemented agnostic to hardware imperfections. \c{opyright} 2024 The Author(s)


title: An Inexact Preconditioned Zeroth-order Proximal Method for Composite Optimization

abstract: In this paper, we consider the composite optimization problem, where the objective function integrates a continuously differentiable loss function with a nonsmooth regularization term. Moreover, only the function values for the differentiable part of the objective function are available. To efficiently solve this composite optimization problem, we propose a preconditioned zeroth-order proximal gradient method in which the gradients and preconditioners are estimated by finite-difference schemes based on the function values at the same trial points. We establish the global convergence and worst-case complexity for our proposed method. Numerical experiments exhibit the superiority of our developed method.


title: Regular decompositions of finite root systems and simple Lie algebras

abstract: Let $\mathfrak{g}$ be a finite-dimensional simple Lie algebra over an algebraically closed field of characteristic 0. In this paper we classify all regular decompositions of $\mathfrak{g}$ and its irreducible root system $\Delta$. A regular decomposition is a decomposition $\mathfrak{g} = \mathfrak{g}_1 \oplus \dots \oplus \mathfrak{g}_m$, where each $\mathfrak{g}_i$ and $\mathfrak{g}_i \oplus \mathfrak{g}_j$ are regular subalgebras. Such a decomposition induces a partition of the corresponding root system, i.e. $\Delta = \Delta_1 \sqcup \dots \sqcup \Delta_m$, such that all $\Delta_i$ and $\Delta_i \sqcup \Delta_j$ are closed. Partitions of $\Delta$ with $m=2$ were known before. In this paper we prove that the case $m \ge 3$ is possible only for systems of type $A_n$ and describe all such partitions in terms of $m$-partitions of $(n+1)$. These results are then extended to a classification of regular decompositions of $\mathfrak{g}$.


title: Hyperbolic Distance-Based Speech Separation

abstract: In this work, we explore the task of hierarchical distance-based speech separation defined on a hyperbolic manifold. Based on the recent advent of audio-related tasks performed in non-Euclidean spaces, we propose to make use of the Poincar\'e ball to effectively unveil the inherent hierarchical structure found in complex speaker mixtures. We design two sets of experiments in which the distance-based parent sound classes, namely "near" and "far", can contain up to two or three speakers (i.e., children) each. We show that our hyperbolic approach is suitable for unveiling hierarchical structure from the problem definition, resulting in improved child-level separation. We further show that a clear correlation emerges between the notion of hyperbolic certainty (i.e., the distance to the ball's origin) and acoustic semantics such as speaker density, inter-source location, and microphone-to-speaker distance.


title: Agent AI: Surveying the Horizons of Multimodal Interaction

abstract: Multi-modal AI systems will likely become a ubiquitous presence in our everyday lives. A promising approach to making these systems more interactive is to embody them as agents within physical and virtual environments. At present, systems leverage existing foundation models as the basic building blocks for the creation of embodied agents. Embedding agents within such environments facilitates the ability of models to process and interpret visual and contextual data, which is critical for the creation of more sophisticated and context-aware AI systems. For example, a system that can perceive user actions, human behavior, environmental objects, audio expressions, and the collective sentiment of a scene can be used to inform and direct agent responses within the given environment. To accelerate research on agent-based multimodal intelligence, we define "Agent AI" as a class of interactive systems that can perceive visual stimuli, language inputs, and other environmentally-grounded data, and can produce meaningful embodied actions. In particular, we explore systems that aim to improve agents based on next-embodied action prediction by incorporating external knowledge, multi-sensory inputs, and human feedback. We argue that by developing agentic AI systems in grounded environments, one can also mitigate the hallucinations of large foundation models and their tendency to generate environmentally incorrect outputs. The emerging field of Agent AI subsumes the broader embodied and agentic aspects of multimodal interactions. Beyond agents acting and interacting in the physical world, we envision a future where people can easily create any virtual reality or simulated scene and interact with agents embodied within the virtual environment.


title: Deformation-induced changes in asymptotics of kinks

abstract: We study transformational properties of kink solutions of field-theoretic models with a real scalar field in (1+1)-dimensional space-time. We show how to obtain new models with kinks with different asymptotic behaviour at spatial infinities, using deformation procedure with special deformation function. In particular, starting from the well-known $\varphi^4$ model, we obtain kinks with super-exponential, super-super-exponential, power-law, and logarithmic asymptotics.


title: A Note on Dynamic Bidirected Dyck-Reachability with Cycles

abstract: Recently, Li et al. [2022] presented a dynamic Dyck-reachability algorithm for bidirected graphs. The basic idea is based on updating edge weights in a data structure called the merged graph $G_m$. As noted in Krishna et al. [2023], the edge deletion procedure described in the algorithm of Li et al. [2022] cannot properly update the weights in the presence of cycles in $G_m$. This note discusses the cycle case and the time complexity.


title: {\alpha}-HMM: A Graphical Model for RNA Folding

abstract: RNA secondary structure is modeled with the novel arbitrary-order hidden Markov model ({\alpha}-HMM). The {\alpha}-HMM extends over the traditional HMM with capability to model stochastic events that may be in influenced by historically distant ones, making it suitable to account for long-range canonical base pairings between nucleotides, which constitute the RNA secondary structure. Unlike previous heavy-weight extensions over HMM, the {\alpha}-HMM has the flexibility to apply restrictions on how one event may influence another in stochastic processes, enabling efficient prediction of RNA secondary structure including pseudoknots.


title: Breakdown of Field Theory in Near-Horizon Regions

abstract: We discuss back-reaction in the semiclassical treatment of quantum fields near a black hole. When the state deviates significantly from Hartle-Hawking, simple energetic considerations of back-reaction give rise to a characteristic radial distance scale $\sim (r_s^{2}G_N)^{1/D}$, below which some breakdown of effective field theory may occur.


title: Effective Benchmarks for Optical Turbulence Modeling

abstract: Optical turbulence presents a significant challenge for communication, directed energy, and imaging systems, especially in the atmospheric boundary layer. Effective modeling of optical turbulence strength is critical for the development and deployment of these systems. The lack of standard evaluation tools, especially long-term data sets, modeling tasks, metrics, and baseline models, prevent effective comparisons between approaches and models. This reduces the ease of reproducing results and contributes to over-fitting on local micro-climates. Performance characterized using evaluation metrics provides some insight into the applicability of a model for predicting the strength of optical turbulence. However, these metrics are not sufficient for understanding the relative quality of a model. We introduce the \texttt{otbench} package, a Python package for rigorous development and evaluation of optical turbulence strength prediction models. The package provides a consistent interface for evaluating optical turbulence models on a variety of benchmark tasks and data sets. The \texttt{otbench} package includes a range of baseline models, including statistical, data-driven, and deep learning models, to provide a sense of relative model quality. \texttt{otbench} also provides support for adding new data sets, tasks, and evaluation metrics. The package is available at \url{https://github.com/cdjellen/otbench}.


title: A note on Amitsur's noncrossed product theorem

abstract: In this note we give a short and elementary proof for a part of Amitsur's noncrossed product theorem. Our approach does not rely on well-known results of valuation theory. Instead, we employ some preliminary properties of the unit groups of formal iterated Laurent series division rings.


title: Involution Fused ConvNet for Classifying Eye-Tracking Patterns of Children with Autism Spectrum Disorder

abstract: Autism Spectrum Disorder (ASD) is a complicated neurological condition which is challenging to diagnose. Numerous studies demonstrate that children diagnosed with autism struggle with maintaining attention spans and have less focused vision. The eye-tracking technology has drawn special attention in the context of ASD since anomalies in gaze have long been acknowledged as a defining feature of autism in general. Deep Learning (DL) approaches coupled with eye-tracking sensors are exploiting additional capabilities to advance the diagnostic and its applications. By learning intricate nonlinear input-output relations, DL can accurately recognize the various gaze and eye-tracking patterns and adjust to the data. Convolutions alone are insufficient to capture the important spatial information in gaze patterns or eye tracking. The dynamic kernel-based process known as involutions can improve the efficiency of classifying gaze patterns or eye tracking data. In this paper, we utilise two different image-processing operations to see how these processes learn eye-tracking patterns. Since these patterns are primarily based on spatial information, we use involution with convolution making it a hybrid, which adds location-specific capability to a deep learning model. Our proposed model is implemented in a simple yet effective approach, which makes it easier for applying in real life. We investigate the reasons why our approach works well for classifying eye-tracking patterns. For comparative analysis, we experiment with two separate datasets as well as a combined version of both. The results show that IC with three involution layers outperforms the previous approaches.


title: Rare events in a polling system: Rays and Spirals

abstract: It's a situation everyone dreads. A road is down to one lane for repairs. Traffic is let through one way until the backlog clears and then traffic is let through the other way to clear that backlog and so on. When stuck in a very long queue it is inevitable to wonder how did I get into this mess? We study a polling model with a server having exponential service time with mean $1/\mu$ alternating between two queues, emptying one queue before switching to the other. Customers arrive at queue one according to a Poisson process with rate $\lambda_1$ and at queue two with rate $\lambda_2$. We discuss how we get at a rare event with a large number of customers in the system. In fact this can happen in two different ways depending on the parameters. In one case one queue simply explodes and runs away without emptying. We call this the ray case. In the other spiral case the queues are successively emptied but in a losing battle as the system zigzags to the rare event. This dichotomy extends to the steady state distribution and leads to quite different asymptotic behaviour in the two cases.


title: Absorption of Millimeter-band CO and CN in the Early Universe: Molecular Clouds in Radio Galaxy B2 0902+34 at Redshift 3.4

abstract: Using the Karl G. Jansky Very Large Array (VLA), we have detected absorption lines due to carbon-monoxide, CO(J=0-1), and the cyano radical, CN(N=0-1), associated with radio galaxy B2 0902+34 at redshift z=3.4. The detection of millimeter-band absorption observed 1.5 Gyr after the Big Bang facilitates studying molecular clouds down to gas masses inaccessible to emission-line observations. The CO absorption in B2 0902+34 has a peak optical depth of $\tau$ $\ge$ 8.6% and consists of two components, one of which has the same redshift as previously detected 21-cm absorption of neutral hydrogen (HI) gas. Each CO component traces an integrated H$_2$ column density of N(H2) $\ge$ 3x10$^{20}$ cm$^{-2}$. CN absorption is detected for both CO components, as well as for a blueshifted component not detected in CO, with CO/CN line ratios ranging from $\le$0.4 to 2.4. We discuss the scenario that the absorption components originate from collections of small and dense molecular clouds that are embedded in a region with more diffuse gas and high turbulence, possibly within the influence of the central Active Galactic Nucleus or starburst region. The degree of reddening in B2 0902+34, with a rest-frame color B-K ~ 4.2, is lower than the very red colors (B-K > 6) found among other known redshifted CO absorption systems at z<1. Nevertheless, when including also the many non-detections from the literature, a potential correlation between the absorption-line strength and B-K color is evident, giving weight to the argument that the red colors of CO absorbers are due to a high dust content.


title: Navier-Stokes bounds and scaling for compact trefoils in $(2\ell\pi)^3$ domains

abstract: Over a wide range of viscosities, a perturbed trefoil vortex knot generates Reynolds number independent finite-time energy dissipation $\Delta E_\epsilon$ (1) with evidence for a transient Kolmogorov spectra at the highest Reynolds number. Satisfying one definition for a dissipation anomaly. To cover the required range of Reynolds numbers, factors of $\nu^{1/4}$ must be considered for both the largest scale $L$, the size of the periodic domain, which increases as $L\sim\nu^{-1/4}$, and vorticity moments at the the earliest times, which converge when scaled as $\nu^{1/4}\Omega_m$, including $m=9,\infty$ at times $t_\infty<\dots<t_m\dots t_1=t_x$. The $\nu^{1/4}$ scaling ends at $t=t_x$ with convergence of $\sqrt{\nu}Z(t)$, $Z=L^3\Omega_1^2$ being the volume-integrated enstrophy, after which the growth of $Z(t)$ accelerates until there is approximate convergence of the dissipation rates $\epsilon=\nu Z$ at $t\sim t_\epsilon\sim2t_x$. This continues long enough to generate a dissipation anomaly with finite $\Delta E_\epsilon$ (1). To achieve the convergence of $\sqrt{\nu}Z(t)$ at $t_x$, $L$ is increased from $4\pi$ to $12\pi$, meaning that the following restriction must be addressed: That $\nu\ne0$ Navier-Stokes solutions in $(2\pi)^3$ periodic domains are bounded by their $\nu\equiv0$ Euler solutions as $\nu\to0$ for $\nu<\nu_s$, with the bounding critical viscosities $\nu_s$ determined using Sobolev space analysis. By rescaling the original Sobolev space result in $(2\pi)^3$ into larger $(2\ell\pi)^3$ domains, a reduction in the bounding critical viscosities $\nu_s$ can be shown which allows growth of $Z(t)$ in those domains.


title: GRB 201015A: from seconds to months of optical monitoring and supernova discovery

abstract: We present full photometric coverage and spectroscopic data for soft GRB 201015A with a redshift z = 0.426. Our data spans a time range of 85 days following the detection of GRB. These observations revealed an underlying supernova SN 201015A with a maximum at $8.54 \pm $1.48 days (rest frame) and an optical peak absolute magnitude $-19.45_{-0.47}^{+0.85}$ mag. The supernova stands out clearly, since the contribution of the afterglow at this time is not dominant, which made it possible to determine SN's parameters. A comparison of these parameters reveals that the SN 201015A is the earliest (the minimum $T_{max}$) known supernova associated with gamma-ray bursts. Spectroscopic observations during the supernova decay stage showed broad lines, indicating a large photospheric velocity, and identified this supernova as a type Ic-BL. Thus, the SN 201015A associated with the GRB 201015A becomes the 27th SN/GRB confirmed by both photometric and spectroscopic observations. Using the results of spectral analysis based on the available data of Fermi-GBM experiment, the parameters $E_\text{p,i} = 20.0 \pm 8.5$ keV and $E_\text{iso} = (1.1 \pm 0.2) \times 10^{50}$ erg were obtained. According to the position of the burst on the $E_\text{p,i}$-$E_\text{iso}$ correlation, GRB 201015A was classified as a Type II (long) gamma-ray burst, which was also confirmed by the $T_\text{90,i}$-$EH$ diagram.


title: A Multi-objective Newton Optimization Algorithm for Hyper-Parameter Search

abstract: This study proposes a Newton based multiple objective optimization algorithm for hyperparameter search. The first order differential (gradient) is calculated using finite difference method and a gradient matrix with vectorization is formed for fast computation. The Newton Raphson iterative solution is used to update model parameters with iterations, and a regularization term is included to eliminate the singularity issue. The algorithm is applied to search the optimal probability threshold (a vector of eight parameters) for a multiclass object detection problem of a convolutional neural network. The algorithm quickly finds the improved parameter values to produce an overall higher true positive (TP) and lower false positive (FP) rates, as compared to using the default value of 0.5. In comparison, the Bayesian optimization generates lower performance in the testing case. However, the performance and parameter values may oscillate for some cases during iterations, which may be due to the data driven stochastic nature of the subject. Therefore, the optimal parameter value can be identified from a list of iteration steps according to the optimal TP and FP results.


title: Evaluating and Personalizing User-Perceived Quality of Text-to-Speech Voices for Delivering Mindfulness Meditation with Different Physical Embodiments

abstract: Mindfulness-based therapies have been shown to be effective in improving mental health, and technology-based methods have the potential to expand the accessibility of these therapies. To enable real-time personalized content generation for mindfulness practice in these methods, high-quality computer-synthesized text-to-speech (TTS) voices are needed to provide verbal guidance and respond to user performance and preferences. However, the user-perceived quality of state-of-the-art TTS voices has not yet been evaluated for administering mindfulness meditation, which requires emotional expressiveness. In addition, work has not yet been done to study the effect of physical embodiment and personalization on the user-perceived quality of TTS voices for mindfulness. To that end, we designed a two-phase human subject study. In Phase 1, an online Mechanical Turk between-subject study (N=471) evaluated 3 (feminine, masculine, child-like) state-of-the-art TTS voices with 2 (feminine, masculine) human therapists' voices in 3 different physical embodiment settings (no agent, conversational agent, socially assistive robot) with remote participants. Building on findings from Phase 1, in Phase 2, an in-person within-subject study (N=94), we used a novel framework we developed for personalizing TTS voices based on user preferences, and evaluated user-perceived quality compared to best-rated non-personalized voices from Phase 1. We found that the best-rated human voice was perceived better than all TTS voices; the emotional expressiveness and naturalness of TTS voices were poorly rated, while users were satisfied with the clarity of TTS voices. Surprisingly, by allowing users to fine-tune TTS voice features, the user-personalized TTS voices could perform almost as well as human voices, suggesting user personalization could be a simple and very effective tool to improve user-perceived quality of TTS voice.


title: Invisible Reflections: Leveraging Infrared Laser Reflections to Target Traffic Sign Perception

abstract: All vehicles must follow the rules that govern traffic behavior, regardless of whether the vehicles are human-driven or Connected Autonomous Vehicles (CAVs). Road signs indicate locally active rules, such as speed limits and requirements to yield or stop. Recent research has demonstrated attacks, such as adding stickers or projected colored patches to signs, that cause CAV misinterpretation, resulting in potential safety issues. Humans can see and potentially defend against these attacks. But humans can not detect what they can not observe. We have developed an effective physical-world attack that leverages the sensitivity of filterless image sensors and the properties of Infrared Laser Reflections (ILRs), which are invisible to humans. The attack is designed to affect CAV cameras and perception, undermining traffic sign recognition by inducing misclassification. In this work, we formulate the threat model and requirements for an ILR-based traffic sign perception attack to succeed. We evaluate the effectiveness of the ILR attack with real-world experiments against two major traffic sign recognition architectures on four IR-sensitive cameras. Our black-box optimization methodology allows the attack to achieve up to a 100% attack success rate in indoor, static scenarios and a >80.5% attack success rate in our outdoor, moving vehicle scenarios. We find the latest state-of-the-art certifiable defense is ineffective against ILR attacks as it mis-certifies >33.5% of cases. To address this, we propose a detection strategy based on the physical properties of IR laser reflections which can detect 96% of ILR attacks.


title: Limiting behavior of minimizing $p$-harmonic maps in 3d as $p$ goes to $2$ with finite fundamental group

abstract: We study the limiting behavior of minimizing $p$-harmonic maps from a bounded Lipschitz domain $\Omega \subset \mathbb{R}^{3}$ to a compact connected Riemannian manifold without boundary and with finite fundamental group as $p \nearrow 2$. We prove that there exists a closed set $S_{*}$ of finite length such that minimizing $p$-harmonic maps converge to a locally minimizing harmonic map in $\Omega \setminus S_{*}$. We prove that locally inside $\Omega$ the singular set $S_{*}$ is a finite union of straight line segments, and it minimizes the mass in the appropriate class of admissible chains. Furthermore, we establish local and global estimates for the limiting singular harmonic map. Under additional assumptions, we prove that globally in $\overline{\Omega}$ the set $S_{*}$ is a finite union of straight line segments, and it minimizes the mass in the appropriate class of admissible chains, which is defined by a given boundary datum and $\Omega$.


title: Cepheid Metallicity in the Leavitt Law (C-MetaLL) Survey. V. New multiband (grizJHKs) Cepheid light curves and period-luminosity relations

abstract: We present homogeneous multiband (grizJHKs) time-series observations of 78 Cepheids including 49 fundamental mode variables and 29 first-overtone mode variables. These observations were collected simultaneously using the ROS2 and REMIR instruments at the Rapid Eye Mount telescope. The Cepheid sample covers a large range of distances (0.5 - 19.7 kpc) with varying precision of parallaxes, and thus astrometry-based luminosity fits were used to derive PL and PW relations in optical Sloan (griz) and near-infrared (JHKs) filters. These empirically calibrated relations exhibit large scatter primarily due to larger uncertainties in parallaxes of distant Cepheids, but their slopes agree well with those previously determined in the literature. Using homogeneous high-resolution spectroscopic metallicities of 61 Cepheids covering -1.1 < [Fe/H] < 0.6 dex, we quantified the metallicity dependence of PL and PW relations which varies between $-0.30\pm0.11$ (in Ks) and $-0.55\pm0.12$ (in z) mag/dex in grizJHKs bands. However, the metallicity dependence in the residuals of the PL and PW relations is predominantly seen for metal-poor stars ([Fe/H] < -0.3 dex), which also have larger parallax uncertainties. The modest sample size precludes us from separating the contribution to the residuals due to parallax uncertainties, metallicity effects, and reddening errors. While this Cepheid sample is not optimal for calibrating the Leavitt law, upcoming photometric and spectroscopic datasets of the C-MetaLL survey will allow the accurate derivation of PL and PW relations in the Sloan and near-infrared bandpasses, which will be useful for the distance measurements in the era of the Vera C. Rubin Observatory's Legacy Survey of Space and Time and upcoming extremely large telescopes.


title: A New Dataflow Implementation to Improve Energy Efficiency of Monolithic 3D Systolic Arrays

abstract: Systolic arrays are popular for executing deep neural networks (DNNs) at the edge. Low latency and energy efficiency are key requirements in edge devices such as drones and autonomous vehicles. Monolithic 3D (MONO3D) is an emerging 3D integration technique that offers ultra-high bandwidth among processing and memory elements with a negligible area overhead. Such high bandwidth can help meet the ever-growing latency and energy efficiency demands for DNNs. This paper presents a novel implementation for weight stationary (WS) dataflow in MONO3D systolic arrays, called WS-MONO3D. WS-MONO3D utilizes multiple resistive RAM layers and SRAM with high-density vertical interconnects to multicast inputs and perform high-bandwidth weight pre-loading while maintaining the same order of multiply-and-accumulate operations as in native WS dataflow. Consequently, WS-MONO3D eliminates input and weight forwarding cycles and, thus, provides up to 40% improvement in energy-delay-product (EDP) over the native WS implementation in 2D at iso-configuration. WS-MONO3D also provides 10X improvement in inference per second per watt per footprint due to multiple vertical tiers. Finally, we also show that temperature impacts the energy efficiency benefits in WS-MONO3D.


title: Stability of Kernel Bundles

abstract: In this paper, we study the stability of general kernel bundles on $\mathbb{P}^n$. Let $a,b,d>0$ be integers. A kernel bundle $E_{a,b}$ on $\mathbb{P}^n$ is defined as the kernel of a surjective map $\phi:\mathcal{O}_{\mathbb{P}^n}(-d)^a\rightarrow \mathcal{O}_{\mathbb{P}^n}^b$. Here $\phi$ is represented by a $b\times a$ matrix $(f_{ij})$ where the entries $f_{ij}$ are polynomials of degree $d$. We give sufficient conditions for semistability of a general kernel bundle on $\mathbb{P}^n$, in terms of its Chern class.


title: Big Data and Deep Learning in Smart Cities: A Comprehensive Dataset for AI-Driven Traffic Accident Detection and Computer Vision Systems

abstract: In the dynamic urban landscape, where the interplay of vehicles and pedestrians defines the rhythm of life, integrating advanced technology for safety and efficiency is increasingly crucial. This study delves into the application of cutting-edge technological methods in smart cities, focusing on enhancing public safety through improved traffic accident detection. Action recognition plays a pivotal role in interpreting visual data and tracking object motion such as human pose estimation in video sequences. The challenges of action recognition include variability in rapid actions, limited dataset, and environmental factors such as (Weather, Illumination, and Occlusions). In this paper, we present a novel comprehensive dataset for traffic accident detection. This datasets is specifically designed to bolster computer vision and action recognition systems in predicting and detecting road traffic accidents. We integrated datasets from wide variety of data sources, road networks, weather conditions, and regions across the globe. This approach is underpinned by empirical studies, aiming to contribute to the discourse on how technology can enhance the quality of life in densely populated areas. This research aims to bridge existing research gaps by introducing benchmark datasets that leverage state-of-the-art algorithms tailored for traffic accident detection in smart cities. These dataset is expected to advance academic research and also enhance real-time accident detection applications, contributing significantly to the evolution of smart urban environments. Our study marks a pivotal step towards safer, more efficient smart cities, harnessing the power of AI and machine learning to transform urban living.


title: Gate--Level Statistical Timing Analysis: Exact Solutions, Approximations and Algorithms

abstract: In this paper, the Statistical Static Timing Analysis (SSTA) is considered within the block--based approach. The statistical model of the logic gate delay propagation is systematically studied and the exact analytical solution is obtained, which is strongly non-Gaussian. The procedure of handling such (non-Gaussian) distributions is described and the corresponding algorithm for the critical path delay is outlined. Finally, the proposed approach is tested and compared with Monte Carlo simulations.


title: Inferring the redshift of more than 150 GRBs with a Machine Learning Ensemble model

abstract: Gamma-Ray Bursts (GRBs), due to their high luminosities are detected up to redshift 10, and thus have the potential to be vital cosmological probes of early processes in the universe. Fulfilling this potential requires a large sample of GRBs with known redshifts, but due to observational limitations, only 11\% have known redshifts ($z$). There have been numerous attempts to estimate redshifts via correlation studies, most of which have led to inaccurate predictions. To overcome this, we estimated GRB redshift via an ensemble supervised machine learning model that uses X-ray afterglows of long-duration GRBs observed by the Neil Gehrels Swift Observatory. The estimated redshifts are strongly correlated (a Pearson coefficient of 0.93) and have a root mean square error, namely the square root of the average squared error $\langle\Delta z^2\rangle$, of 0.46 with the observed redshifts showing the reliability of this method. The addition of GRB afterglow parameters improves the predictions considerably by 63\% compared to previous results in peer-reviewed literature. Finally, we use our machine learning model to infer the redshifts of 154 GRBs, which increase the known redshifts of long GRBs with plateaus by 94\%, a significant milestone for enhancing GRB population studies that require large samples with redshift.


title: Building Efficient and Effective OpenQA Systems for Low-Resource Languages

abstract: Question answering (QA) is the task of answering questions posed in natural language with free-form natural language answers extracted from a given passage. In the OpenQA variant, only a question text is given, and the system must retrieve relevant passages from an unstructured knowledge source and use them to provide answers, which is the case in the mainstream QA systems on the Web. QA systems currently are mostly limited to the English language due to the lack of large-scale labeled QA datasets in non-English languages. In this paper, we show that effective, low-cost OpenQA systems can be developed for low-resource contexts. The key ingredients are (1) weak supervision using machine-translated labeled datasets and (2) a relevant unstructured knowledge source in the target language context. Furthermore, we show that only a few hundred gold assessment examples are needed to reliably evaluate these systems. We apply our method to Turkish as a challenging case study, since English and Turkish are typologically very distinct and Turkish has limited resources for QA. We present SQuAD-TR, a machine translation of SQuAD2.0, and we build our OpenQA system by adapting ColBERT-QA and retraining it over Turkish resources and SQuAD-TR using two versions of Wikipedia dumps spanning two years. We obtain a performance improvement of 24-32% in the Exact Match (EM) score and 22-29% in the F1 score compared to the BM25-based and DPR-based baseline QA reader models. Our results show that SQuAD-TR makes OpenQA feasible for Turkish, which we hope encourages researchers to build OpenQA systems in other low-resource languages. We make all the code, models, and the dataset publicly available at https://github.com/boun-tabi/SQuAD-TR.


title: Text Classification Based on Knowledge Graphs and Improved Attention Mechanism

abstract: To resolve the semantic ambiguity in texts, we propose a model, which innovatively combines a knowledge graph with an improved attention mechanism. An existing knowledge base is utilized to enrich the text with relevant contextual concepts. The model operates at both character and word levels to deepen its understanding by integrating the concepts. We first adopt information gain to select import words. Then an encoder-decoder framework is used to encode the text along with the related concepts. The local attention mechanism adjusts the weight of each concept, reducing the influence of irrelevant or noisy concepts during classification. We improve the calculation formula for attention scores in the local self-attention mechanism, ensuring that words with different frequencies of occurrence in the text receive higher attention scores. Finally, the model employs a Bi-directional Gated Recurrent Unit (Bi-GRU), which is effective in feature extraction from texts for improved classification accuracy. Its performance is demonstrated on datasets such as AGNews, Ohsumed, and TagMyNews, achieving accuracy of 75.1%, 58.7%, and 68.5% respectively, showing its effectiveness in classifying tasks.


title: Surface Brightness Bias in the Shape Statistics of High-Redshift Galaxies

abstract: Recently, Pandya et al. (2023) argued that the shapes of dwarf galaxies in JWST-CEERS observations show a prolate fraction that rises from ~25% at redshifts z=0.5-1 to ~50-80% at z=3-8. Here we suggest that this apparent change could result from a surface-brightness bias, favoring the detection of edge-on disks at low-luminosities and high-redshifts. Changing edge-on projections with an axis ratio of 10 to a face-on orientation reduces their apparent surface brightness by 2.5 magnitude per arcsec$^2$ and could shift a substantial fraction of the observed galaxies below the detection limit.


title: Simple bounds for the inradius and $\varepsilon$-inner neighbourhood of a convex body

abstract: In this short note, we show that the inradius of a convex body is comparable to its volume divided by its surface area. We also give a simple formula, in terms of its volume and inradius, that is comparable to the volume of its intersection with the $\varepsilon$-neighbourhood of its boundary, and provide an application of this to self-projective attractors with convex holes.


title: Singularity removal in a quantum effective evolution of the Mixmaster cosmological model

abstract: In this work we analyze the evolution of the quantum Mixmaster cosmological model within an effective approach. In particular, we study the behaviour of the scale factor and anisotropies of the theory, and determine how it deviates from its classical counterpart due to quantum back-reaction. Remarkably, we determine that the effective evolution avoids the initial singularity. The semiclassical dynamic of the system is obtained from a Hamiltonian in an extended phase space, whose classical position and momentum variables are the expectation values of the corresponding quantum operators, as well as of quantum dispersions and correlations of the system, and is in this framework that we obtain semiclassical one-particle trajectories.


title: Quantifying T cell morphodynamics and migration in 3D collagen matrices

abstract: T cells undergo large shape changes (morphodynamics) when migrating. While progress has been made elucidating the molecular basis of cell migration, statistical characterization of morphodynamics and migration has been limited, particularly in physiologically realistic 3D environments. A previous study (H. Cavanagh et al., J. R. Soc. Interface 19: 20220081) found discrete states of dynamics as well as periodic oscillations of shape. However, we show that these results are due to artifacts of the analysis methods. Here, we present a revised analysis of the data, applying a method based on an underdamped Langevin equation. We find that different shape modes have different correlation times. We also find novel non-Gaussian effects. This study provides a framework in which quantitative comparisons of cell morphodynamics and migration can be made, e.g. between different biological conditions or mechanistic models.


title: On a Stochastic PDE Model for Epigenetic Dynamics

abstract: We model the process of cell fate determination and mutation of the flower Arabidopsis-thaliana through a stochastic reaction-diffusion system governed by a potential field and additive noise. The potential mimics the flower's epigenetic landscape as defined by Waddington, and the noise represents environmental fluctuations. We show through numerical simulations that the system eventually exits the local minima, traversing the epigenetic landscape in the spatial order that, in many of the realizations, corresponds to the correct architecture of the flower, that is, following the observed geometrical features of the meristem. We use the theory of large deviations to estimate the exit time, characterize the associated invariant measure, and discuss its phenotypic implications from an evolutionary perspective. We also investigate an optimal control problem for our system to study the reversal of epigenetic mutations. This setting can be interpreted not only in the context of epigenetic aspects of evolution and development (eco-evo-devo), but also has possible applications in developing epi-drugs for diseases like cancer and Alzheimer's.


title: Few-Shot Causal Representation Learning for Out-of-Distribution Generalization on Heterogeneous Graphs

abstract: Heterogeneous graph few-shot learning (HGFL) has been developed to address the label sparsity issue in heterogeneous graphs (HGs), which consist of various types of nodes and edges. The core concept of HGFL is to extract knowledge from rich-labeled classes in a source HG, transfer this knowledge to a target HG to facilitate learning new classes with few-labeled training data, and finally make predictions on unlabeled testing data. Existing methods typically assume that the source HG, training data, and testing data all share the same distribution. However, in practice, distribution shifts among these three types of data are inevitable due to two reasons: (1) the limited availability of the source HG that matches the target HG distribution, and (2) the unpredictable data generation mechanism of the target HG. Such distribution shifts result in ineffective knowledge transfer and poor learning performance in existing methods, thereby leading to a novel problem of out-of-distribution (OOD) generalization in HGFL. To address this challenging problem, we propose a novel Causal OOD Heterogeneous graph Few-shot learning model, namely COHF. In COHF, we first characterize distribution shifts in HGs with a structural causal model, establishing an invariance principle for OOD generalization in HGFL. Then, following this invariance principle, we propose a new variational autoencoder-based heterogeneous graph neural network to mitigate the impact of distribution shifts. Finally, by integrating this network with a novel meta-learning framework, COHF effectively transfers knowledge to the target HG to predict new classes with few-labeled data. Extensive experiments on seven real-world datasets have demonstrated the superior performance of COHF over the state-of-the-art methods.


title: Incontestable Assignments

abstract: In school districts where assignments are exclusively determined by a clearinghouse students can only appeal their assignment with a valid reason. An assignment is incontestable if it is appeal-proof. We study incontestability when students do not observe the other students' preferences and assignments. Incontestability is shown to be equivalent to individual rationality, non-wastefulness, and respect for top-priority sets (a weakening of justified envy). Stable mechanisms and those Pareto dominating them are incontestable, as well as the Top-Trading Cycle mechanism (but Boston is not). Under a mild consistency property, incontestable mechanisms are i-indinstiguishable (Li, 2017), and share similar incentive properties.


title: Disentangled Neural Relational Inference for Interpretable Motion Prediction

abstract: Effective interaction modeling and behavior prediction of dynamic agents play a significant role in interactive motion planning for autonomous robots. Although existing methods have improved prediction accuracy, few research efforts have been devoted to enhancing prediction model interpretability and out-of-distribution (OOD) generalizability. This work addresses these two challenging aspects by designing a variational auto-encoder framework that integrates graph-based representations and time-sequence models to efficiently capture spatio-temporal relations between interactive agents and predict their dynamics. Our model infers dynamic interaction graphs in a latent space augmented with interpretable edge features that characterize the interactions. Moreover, we aim to enhance model interpretability and performance in OOD scenarios by disentangling the latent space of edge features, thereby strengthening model versatility and robustness. We validate our approach through extensive experiments on both simulated and real-world datasets. The results show superior performance compared to existing methods in modeling spatio-temporal relations, motion prediction, and identifying time-invariant latent features.


title: A test of a conjecture of Cardy

abstract: In reference to Werner's measure on random self-avoiding loops on Riemann surfaces, Cardy has conjectured a formula for the measure of all homotopically nontrivial loops in a finite type annular region. Cardy's conjecture implies that the measure of the set of homotopically nontrivial loops in the punctured plane which intersect the unit circle equals $2\pi/\sqrt{3}$. This set is the disjoint union of the set of loops which avoid a ray from the unit circle to infinity and its complement. There is an inclusion/exclusion (sign alternating) sum which, in a limit, calculates the measure of the set of loops which avoid a ray. To calculate this exactly (or numerically in a reliable way) it would suffice to find a formula (or reasonably efficient algorithm) for the transfinite diameter of a compact set consisting of a finite number of rays from the origin to the unit circle. This is currently out of my reach. A first approximation suggests this measure grows logarithmically, inconsistent with Cardy's conjecture. A better approximation suggests this measure is bounded by $2\pi/\sqrt{3}$. At this point I have no idea what to believe.


title: InFoBench: Evaluating Instruction Following Ability in Large Language Models

abstract: This paper introduces the Decomposed Requirements Following Ratio (DRFR), a new metric for evaluating Large Language Models' (LLMs) ability to follow instructions. Addressing a gap in current methodologies, DRFR breaks down complex instructions into simpler criteria, facilitating a detailed analysis of LLMs' compliance with various aspects of tasks. Alongside this metric, we present InFoBench, a benchmark comprising 500 diverse instructions and 2,250 decomposed questions across multiple constraint categories. Our experiments compare DRFR with traditional scoring methods and explore annotation sources, including human experts, crowd-sourced workers, and GPT-4. The findings demonstrate DRFR's higher reliability and the effectiveness of using GPT-4 as a cost-efficient annotator. The evaluation of several advanced LLMs using this framework reveals their strengths and areas needing improvement, particularly in complex instruction-following. This study contributes a novel metric and benchmark, offering insights for future LLM development and evaluation.


title: Robustness of different modifications of Grovers algorithm based on generalized Householder reflections with different phases

abstract: In this work we study five Grovers algorithm modifications, where each iteration is constructed by two generalized Householder reflections, against inaccuracies in the phases. By using semi-empirical methods, we investigate various characteristics of the dependence between the probability to find solution and the phase errors. The first of them is the robustness of the probability to errors in the phase. The second one is how quickly the probability falls beyond the stability interval. And finally, the average success rate of the algorithm when the parameters are in the range of the highly robust interval. Two of the modifications require usage of the same Grover operator each iteration and in the other three it differs. Those semi-empirical methods give us the, tool to make prediction of the quantum algorithm modifications overall behavior and compare them for even larger register size