title: Module Monoidal Categories as Categorification of Associative Algebras

abstract: In [arXiv:1509.02937], the notion of a module tensor category was introduced as a braided monoidal central functor $F\colon \mathcal{V}\longrightarrow \mathcal{T}$ from a braided monoidal category $\mathcal{V}$ to a monoidal category $\mathcal{T}$, which is a monoidal functor $F\colon \mathcal{V}\longrightarrow\mathcal{T}$ together with a braided monoidal lift $F^Z\colon \mathcal{V}\longrightarrow Z(\mathcal{T})$ to the Drinfeld center of $\mathcal{T}$. This is a categorification of a unital associative algebra $A$ over a commutative ring $R$ via a ring homomorphism $f\colon R\longrightarrow Z(A)$ into the center of $A$. In this paper, we want to categorify the characterization of an associative algebra as a (not necessarily unital) ring $A$ together with an $R$-module structure over a commutative ring $R$, such that multiplication in $A$ and action of $R$ on $A$ are compatible. In doing so, we introduce the more general notion of non-unital module monoidal categories and obtain 2-categories of non-unital and unital module monoidal categories, their functors and natural transformations. We will show that in the unital case the latter definition is equivalent to the definition in [arXiv:1509.02937] by explicitly writing down an equivalence of 2-categories.


title: RadYOLOLet: Radar Detection and Parameter Estimation Using YOLO and WaveLet

abstract: Detection of radar signals without assistance from the radar transmitter is a crucial requirement for emerging and future shared-spectrum wireless networks like Citizens Broadband Radio Service (CBRS). In this paper, we propose a supervised deep learning-based spectrum sensing approach called RadYOLOLet that can detect low-power radar signals in the presence of interference and estimate the radar signal parameters. The core of RadYOLOLet is two different convolutional neural networks (CNN), RadYOLO and Wavelet-CNN, that are trained independently. RadYOLO operates on spectrograms and provides most of the capabilities of RadYOLOLet. However, it suffers from low radar detection accuracy in the low signal-to-noise ratio (SNR) regime. We develop Wavelet-CNN specifically to deal with this limitation of RadYOLO. Wavelet-CNN operates on continuous Wavelet transform of the captured signals, and we use it only when RadYOLO fails to detect any radar signal. We thoroughly evaluate RadYOLOLet using different experiments corresponding to different types of interference signals. Based on our evaluations, we find that RadYOLOLet can achieve 100% radar detection accuracy for our considered radar types up to 16 dB SNR, which cannot be guaranteed by other comparable methods. RadYOLOLet can also function accurately under interference up to 16 dB SINR.


title: Bayesian sparsification for deep neural networks with Bayesian model reduction

abstract: Deep learning's immense capabilities are often constrained by the complexity of its models, leading to an increasing demand for effective sparsification techniques. Bayesian sparsification for deep learning emerges as a crucial approach, facilitating the design of models that are both computationally efficient and competitive in terms of performance across various deep learning applications. The state-of-the-art -- in Bayesian sparsification of deep neural networks -- combines structural shrinkage priors on model weights with an approximate inference scheme based on stochastic variational inference. However, model inversion of the full generative model is exceptionally computationally demanding, especially when compared to standard deep learning of point estimates. In this context, we advocate for the use of Bayesian model reduction (BMR) as a more efficient alternative for pruning of model weights. As a generalization of the Savage-Dickey ratio, BMR allows a post-hoc elimination of redundant model weights based on the posterior estimates under a straightforward (non-hierarchical) generative model. Our comparative study highlights the advantages of the BMR method relative to established approaches based on hierarchical horseshoe priors over model weights. We illustrate the potential of BMR across various deep learning architectures, from classical networks like LeNet to modern frameworks such as Vision Transformers and MLP-Mixers.


title: Chaotic von Zeipel-Lidov-Kozai Oscillations of Binary System around Rotating Supermassive Black Hole

abstract: In this paper, we investigate the dynamics of a binary system that orbits a rotating supermassive black hole. Our approach employs Fermi-Walker transport to construct a local inertial reference frame, and to set up a Newtonian binary system. We consider a scenario in which a circular geodesic observer is positioned around a Kerr black hole, and thereby derive the equations of motion governing the binary system. To eliminate the interaction terms between the center of mass (CM) of the binary and its relative coordinates, we introduce a small acceleration for the observer. This adjustment leads to the CM closely following the observer's orbit, deviating from a circular geodesic. Here, we first focus on elucidating the stability conditions in a hierarchical triple system. Subsequently, we discuss the phenomenon of von Zeipel-Lidov-Kozai (vZLK) oscillations, which manifest when the binary system is compact and the initial inclination exceeds a critical angle. In hard binary systems, these oscillations exhibit regular behavior, while in soft binary systems, they exhibit a chaotic character, characterized by irregular periods and amplitudes, albeit remaining stable. Additionally, we observe an orbital flip under circumstances of large initial inclination. As for the motion of the CM, we observe deviations from a purely circular orbit that transform into stable yet chaotic oscillations characterized by minute amplitude variations.


title: Determination of the Spiral Pattern Speed in the Milky Way from Young Open Star Clusters

abstract: We have estimated the spiral pattern speed in the Galaxy $\Omega_p$ from a large sample of young open star clusters (OSCs). For this purpose, we have used 2494 OSCs younger than 50 Myr. Their mean proper motions, line-of-sight velocities, and distances were calculated by Hunt and Reffert (2023) based on data from the Gaia~DR3 catalogue. Three methods have been applied to estimate $\Omega_p$. They all are based on the linear Lin-Shu spiral density wave theory. We have obtained an estimate of $\Omega_p=24.26\pm0.52$~km s$^{-1}$ kpc$^{-1}$ by the first method, which is most reliable in our view, using the velocity perturbations $f_R$ and $f_\theta$ found through a spectral analysis of the radial, $V_R$, and residual rotation, $\Delta V_{\rm circ},$ velocities. Using the second method, we have found the velocity perturbations $f_R$ and $f_\theta$ by solving the basic kinematic equations together with the Galactic rotation parameters and obtained an estimate of $\Omega_p= 23.45\pm0.53$~km s$^{-1}$ kpc$^{-1}$. We have found $\Omega_p= 28.9\pm2.8$~km s$^{-1}$ kpc$^{-1}$ by the third method based on an analysis of the position angles of OSCs at their birth time $\theta_{\rm birth}$.


title: Tunable Rectangular Resonant Cavities for Axion Haloscopes

abstract: Axions are a compelling dark matter candidate, and one of the primary techniques employed to search for them is the axion haloscope, in which a resonant cavity is deployed inside a strong magnetic field so that some of the surrounding axions may convert into photons via the inverse Primakoff effect and become trapped inside the resonator. Resonant cavity design is critical to the sensitivity of a haloscope, and several geometries have been utilised and proposed. Here we consider a relatively simple concept - a rectangular resonant cavity with a tunable wall - and compare it to the standard tuning rod-type resonators employed in the field. We find that the rectangular cavities support similar modes to cylindrical tuning rod cavities, and have some advantages in terms of axion sensitivity and practicality, particularly when moving to higher frequencies which are of great and growing interest in the international axion dark matter community.


title: Equidistribution for non-pluripolar currents on compact K\"ahler manifolds

abstract: Let $X$ be a compact K\"ahler manifold of complex dimension $k\ge 2$ and $f:X\to X$ a surjective holomorphic endomorphism of simple action on cohomology. We prove that the sequence of normalized pull-backs of a non-pluripolar current under iterates of $f$ converges to the Green current associated with $f$.


title: The Hartogs-Lindenbaum Spectrum of Symmetric Extensions

abstract: We expand the classic result that $\mathsf{AC}_{\mathsf{WO}}$ is equivalent to the statement "For all $X$, $\aleph(X)=\aleph^*(X)$" by proving the equivalence of many more related statements. Then, we introduce the Hartogs-Lindenbaum spectrum of a model of $\mathsf{ZF}$, and inspect the structure of these spectra in models that are obtained by a symmetric extension of a model of $\mathsf{ZFC}$. We prove that all such spectra fall into a very rigid pattern.


title: A digital twin for a chiral sensing platform

abstract: Nanophotonic concepts can improve many measurement techniques by enhancing and tailoring the light-matter interaction. However, the optical response of devices that implement such techniques can be intricate, depending on the sample under investigation. That combination of a promise and a challenge makes nanophotonics a ripe field for applying the concept of a digital twin: a digital representation of an entire real-world device. In this work, we detail the concept of a digital twin with the example of a nanophotonically-enhanced chiral sensing platform. In that platform, helicity-preserving cavities with diffractive mirrors enhance the light-matter interaction between chiral molecules and circularly polarized light, allowing a faster measurement of the circular dichroism of the molecules. However, the sheer presence of the molecules affects the cavity's functionality, demanding a holistic treatment to understand the device's performance. In our digital twin, optical and quantum chemistry simulations are fused to provide a comprehensive description of the device with the molecules across all length scales and predict the circular dichroism spectrum of the device containing molecules to be sensed. Performing simulations in lockstep with the experiment will allow a clear interpretation of the results of complex measurements. We also demonstrate how to design a cavity-enhanced circular dichroism spectrometer by utilizing our digital twin. The digital twin can be used to guide experiments and analyze results, and its underlying concept can be translated to many other optical experiments.


title: SemEval-2022 Task 7: Identifying Plausible Clarifications of Implicit and Underspecified Phrases in Instructional Texts

abstract: We describe SemEval-2022 Task 7, a shared task on rating the plausibility of clarifications in instructional texts. The dataset for this task consists of manually clarified how-to guides for which we generated alternative clarifications and collected human plausibility judgements. The task of participating systems was to automatically determine the plausibility of a clarification in the respective context. In total, 21 participants took part in this task, with the best system achieving an accuracy of 68.9%. This report summarizes the results and findings from 8 teams and their system descriptions. Finally, we show in an additional evaluation that predictions by the top participating team make it possible to identify contexts with multiple plausible clarifications with an accuracy of 75.2%.


title: Categorical Pentagon Relations and Koszul Duality

abstract: The Kontsevich-Soibelman wall-crossing formula is known to control the jumping behavior of BPS state counting indices in four-dimensional theories with $\mathcal{N}=2$ supersymmetry. The formula can take two equivalent forms: a ``fermionic'' form with nice positivity properties and a ``bosonic'' form with a clear physical interpretation. In an important class of examples, the fermionic form of the formula has a mathematical categorification involving PBW bases for a Cohomological Hall Algebra. The bosonic form lacks an analogous categorification. We construct an equivalence of chain complexes which categorifies the simplest example of the bosonic wall-crossing formula: the bosonic pentagon identity for the quantum dilogarithm. The chain complexes can be promoted to differential graded algebras which we relate to the PBW bases of the relevant CoHA by a certain quadratic duality. The equivalence of complexes then follows from the relation between quadratic duality and Koszul duality. We argue that this is a special case of a general phenomenon: the bosonic wall-crossing formulae are categorified to equivalences of $A_\infty$ algebras which are quadratic dual to PBW presentations of algebras which underlie the fermionic wall-crossing formulae. We give a partial interpretation of our differential graded algebras in terms of a holomorphic-topological version of BPS webs.


title: Cohomological Lagrangian field theory

abstract: This paper introduces a geometric framework for classical cohomological field theories based on $G^{\star}$-algebras and gauge natural field theories. A BV-BFV extension of the framework is provided, which incorporates the cotangent lift of the Donaldson-Witten theory as an illustrative example.


title: Numerical analysis of a singularly perturbed 4th order problem with a shift term

abstract: We consider a one-dimensional singularly perturbed 4th order problem with the additional feature of a shift term. An expansion into a smooth term, boundary layers and an inner layer yields a formal solution decomposition, and together with a stability result we have estimates for the subsequent numerical analysis. With classical layer adapted meshes we present a numerical method, that achieves supercloseness and optimal convergence orders in the associated energy norm. We also consider coarser meshes in view of the weak layers. Some numerical examples conclude the paper and support the theory.


title: FourierLoss: Shape-Aware Loss Function with Fourier Descriptors

abstract: Encoder-decoder networks become a popular choice for various medical image segmentation tasks. When they are trained with a standard loss function, these networks are not explicitly enforced to preserve the shape integrity of an object in an image. However, this ability of the network is important to obtain more accurate results, especially when there is a low-contrast difference between the object and its surroundings. In response to this issue, this work introduces a new shape-aware loss function, which we name FourierLoss. This loss function relies on quantifying the shape dissimilarity between the ground truth and the predicted segmentation maps through the Fourier descriptors calculated on their objects, and penalizing this dissimilarity in network training. Different than the previous studies, FourierLoss offers an adaptive loss function with trainable hyperparameters that control the importance of the level of the shape details that the network is enforced to learn in the training process. This control is achieved by the proposed adaptive loss update mechanism, which end-to-end learns the hyperparameters simultaneously with the network weights by backpropagation. As a result of using this mechanism, the network can dynamically change its attention from learning the general outline of an object to learning the details of its contour points, or vice versa, in different training epochs. Working on 2879 computed tomography images of 93 subjects, our experiments revealed that the proposed adaptive shape-aware loss function led to statistically significantly better results for liver segmentation, compared to its counterparts.


title: A Computational Analysis of Vagueness in Revisions of Instructional Texts

abstract: WikiHow is an open-domain repository of instructional articles for a variety of tasks, which can be revised by users. In this paper, we extract pairwise versions of an instruction before and after a revision was made. Starting from a noisy dataset of revision histories, we specifically extract and analyze edits that involve cases of vagueness in instructions. We further investigate the ability of a neural model to distinguish between two versions of an instruction in our data by adopting a pairwise ranking task from previous work and showing improvements over existing baselines.


title: Wavelet-based Edge Multiscale Finite Element Methods for Singularly Perturbed Convection-Diffusion Equations

abstract: We propose a novel efficient and robust Wavelet-based Edge Multiscale Finite Element Method (WEMsFEM) motivated by \cite{MR3980476,GL18} to solve the singularly perturbed convection-diffusion equations. The main idea is to first establish a local splitting of the solution over a local region by a local bubble part and local Harmonic extension part, and then derive a global splitting by means of Partition of Unity. This facilitates a representation of the solution as a summation of a global bubble part and a global Harmonic extension part, where the first part can be computed locally in parallel. To approximate the second part, we construct an edge multiscale ansatz space locally with hierarchical bases as the local boundary data that has a guaranteed approximation rate \noteLg{both inside and outside of the layers}. The key innovation of this proposed WEMsFEM lies in a provable convergence rate with little restriction on the mesh size. Its convergence rate with respect to the computational degree of freedom is rigorously analyzed, which is verified by extensive 2-d and 3-d numerical tests.


title: PEFTT: Parameter-Efficient Fine-Tuning for low-resource Tibetan pre-trained language models

abstract: In this era of large language models (LLMs), the traditional training of models has become increasingly unimaginable for regular users and institutions. The exploration of efficient fine-tuning for high-resource languages on these models is an undeniable trend that is gradually gaining popularity. However, there has been very little exploration for various low-resource languages, such as Tibetan. Research in Tibetan NLP is inherently scarce and limited. While there is currently no existing large language model for Tibetan due to its low-resource nature, that day will undoubtedly arrive. Therefore, research on efficient fine-tuning for low-resource language models like Tibetan is highly necessary. Our research can serve as a reference to fill this crucial gap. Efficient fine-tuning strategies for pre-trained language models (PLMs) in Tibetan have seen minimal exploration. We conducted three types of efficient fine-tuning experiments on the publicly available TNCC-title dataset: "prompt-tuning," "Adapter lightweight fine-tuning," and "prompt-tuning + Adapter fine-tuning." The experimental results demonstrate significant improvements using these methods, providing valuable insights for advancing Tibetan language applications in the context of pre-trained models.


title: Exploiting CLIP-based Multi-modal Approach for Artwork Classification and Retrieval

abstract: Given the recent advances in multimodal image pretraining where visual models trained with semantically dense textual supervision tend to have better generalization capabilities than those trained using categorical attributes or through unsupervised techniques, in this work we investigate how recent CLIP model can be applied in several tasks in artwork domain. We perform exhaustive experiments on the NoisyArt dataset which is a dataset of artwork images crawled from public resources on the web. On such dataset CLIP achieves impressive results on (zero-shot) classification and promising results in both artwork-to-artwork and description-to-artwork domain.


title: Passage Summarization with Recurrent Models for Audio-Sheet Music Retrieval

abstract: Many applications of cross-modal music retrieval are related to connecting sheet music images to audio recordings. A typical and recent approach to this is to learn, via deep neural networks, a joint embedding space that correlates short fixed-size snippets of audio and sheet music by means of an appropriate similarity structure. However, two challenges that arise out of this strategy are the requirement of strongly aligned data to train the networks, and the inherent discrepancies of musical content between audio and sheet music snippets caused by local and global tempo differences. In this paper, we address these two shortcomings by designing a cross-modal recurrent network that learns joint embeddings that can summarize longer passages of corresponding audio and sheet music. The benefits of our method are that it only requires weakly aligned audio-sheet music pairs, as well as that the recurrent network handles the non-linearities caused by tempo variations between audio and sheet music. We conduct a number of experiments on synthetic and real piano data and scores, showing that our proposed recurrent method leads to more accurate retrieval in all possible configurations.


title: Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)

abstract: Numerous confluence criteria for plain term rewrite systems are known. For logically constrained rewrite system, an attractive extension of term rewriting in which rules are equipped with logical constraints, much less is known. In this paper we extend the strongly-closed and (almost) parallel-closed critical pair criteria of Huet and Toyama to the logically constrained setting. We discuss the challenges for automation and present crest, a new tool for logically constrained rewriting in which the confluence criteria are implemented, together with experimental data.


title: Incentivizing Massive Unknown Workers for Budget-Limited Crowdsensing: From Off-Line and On-Line Perspectives

abstract: How to incentivize strategic workers using limited budget is a very fundamental problem for crowdsensing systems; nevertheless, since the sensing abilities of the workers may not always be known as prior knowledge due to the diversities of their sensor devices and behaviors, it is difficult to properly select and pay the unknown workers. Although the uncertainties of the workers can be addressed by the standard Combinatorial Multi-Armed Bandit (CMAB) framework in existing proposals through a trade-off between exploration and exploitation, we may not have sufficient budget to enable the trade-off among the individual workers, especially when the number of the workers is huge while the budget is limited. Moreover, the standard CMAB usually assumes the workers always stay in the system, whereas the workers may join in or depart from the system over time, such that what we have learnt for an individual worker cannot be applied after the worker leaves. To address the above challenging issues, in this paper, we first propose an off-line Context-Aware CMAB-based Incentive (CACI) mechanism. We innovate in leveraging the exploration-exploitation trade-off in an elaborately partitioned context space instead of the individual workers, to effectively incentivize the massive unknown workers with a very limited budget. We also extend the above basic idea to the on-line setting where unknown workers may join in or depart from the systems dynamically, and propose an on-line version of the CACI mechanism. We perform rigorous theoretical analysis to reveal the upper bounds on the regrets of our CACI mechanisms and to prove their truthfulness and individual rationality, respectively. Extensive experiments on both synthetic and real datasets are also conducted to verify the efficacy of our mechanisms.


title: AutoPET Challenge 2023: Sliding Window-based Optimization of U-Net

abstract: Tumor segmentation in medical imaging is crucial and relies on precise delineation. Fluorodeoxyglucose Positron-Emission Tomography (FDG-PET) is widely used in clinical practice to detect metabolically active tumors. However, FDG-PET scans may misinterpret irregular glucose consumption in healthy or benign tissues as cancer. Combining PET with Computed Tomography (CT) can enhance tumor segmentation by integrating metabolic and anatomic information. FDG-PET/CT scans are pivotal for cancer staging and reassessment, utilizing radiolabeled fluorodeoxyglucose to highlight metabolically active regions. Accurately distinguishing tumor-specific uptake from physiological uptake in normal tissues is a challenging aspect of precise tumor segmentation. The AutoPET challenge addresses this by providing a dataset of 1014 FDG-PET/CT studies, encouraging advancements in accurate tumor segmentation and analysis within the FDG-PET/CT domain. Code: https://github.com/matt3o/AutoPET2-Submission/


title: MeetScript: Designing Transcript-based Interactions to Support Active Participation in Group Video Meetings

abstract: While videoconferencing is prevalent, concurrent participation channels are limited. People experience challenges keeping up with the discussion, and misunderstanding frequently occurs. Through a formative study, we probed into the design space of providing real-time transcripts as an extra communication space for video meeting attendees. We then present MeetScript, a system that provides parallel participation channels through real-time interactive transcripts. MeetScript visualizes the discussion through a chat-alike interface and allows meeting attendees to make real-time collaborative annotations. Over time, MeetScript gradually hides extraneous content to retain the most essential information on the transcript, with the goal of reducing the cognitive load required on users to process the information in real time. In an experiment with 80 users in 22 teams, we compared MeetScript with two baseline conditions where participants used Zoom alone (business-as-usual), or Zoom with an adds-on transcription service (Otter.ai). We found that MeetScript significantly enhanced people's non-verbal participation and recollection of their teams' decision-making processes compared to the baselines. Users liked that MeetScript allowed them to easily navigate the transcript and contextualize feedback and new ideas with existing ones.


title: The Rieffel Correspondence for Equivalent Fell Bundles

abstract: We establish a generalized Rieffel correspondence for ideals in equivalent Fell bundles.


title: How-to Guides for Specific Audiences: A Corpus and Initial Findings

abstract: Instructional texts for specific target groups should ideally take into account the prior knowledge and needs of the readers in order to guide them efficiently to their desired goals. However, targeting specific groups also carries the risk of reflecting disparate social norms and subtle stereotypes. In this paper, we investigate the extent to which how-to guides from one particular platform, wikiHow, differ in practice depending on the intended audience. We conduct two case studies in which we examine qualitative features of texts written for specific audiences. In a generalization study, we investigate which differences can also be systematically demonstrated using computational methods. The results of our studies show that guides from wikiHow, like other text genres, are subject to subtle biases. We aim to raise awareness of these inequalities as a first step to addressing them in future work.


title: Vulnerability of 3D Face Recognition Systems to Morphing Attacks

abstract: In recent years face recognition systems have been brought to the mainstream due to development in hardware and software. Consistent efforts are being made to make them better and more secure. This has also brought developments in 3D face recognition systems at a rapid pace. These 3DFR systems are expected to overcome certain vulnerabilities of 2DFR systems. One such problem that the domain of 2DFR systems face is face image morphing. A substantial amount of research is being done for generation of high quality face morphs along with detection of attacks from these morphs. Comparatively the understanding of vulnerability of 3DFR systems against 3D face morphs is less. But at the same time an expectation is set from 3DFR systems to be more robust against such attacks. This paper attempts to research and gain more information on this matter. The paper describes a couple of methods that can be used to generate 3D face morphs. The face morphs that are generated using this method are then compared to the contributing faces to obtain similarity scores. The highest MMPMR is obtained around 40% with RMMR of 41.76% when 3DFRS are attacked with look-a-like morphs.


title: Pseudo-Bayesian unit level modeling for small area estimation under informative sampling

abstract: When mapping subnational health and demographic indicators, direct weighted estimators of small area means based on household survey data can be unreliable when data are limited. If survey microdata are available, unit level models can relate individual survey responses to unit level auxiliary covariates and explicitly account for spatial dependence and between area variation using random effects. These models can produce estimators with improved precision, but often neglect to account for the design of the surveys used to collect data. Pseudo-Bayesian approaches incorporate sampling weights to address informative sampling when using such models to conduct population inference but credible sets based on the resulting pseudo-posterior distributions can be poorly calibrated without adjustment. We outline a pseudo-Bayesian strategy for small area estimation that addresses informative sampling and incorporates a post-processing rescaling step that produces credible sets with close to nominal empirical frequentist coverage rates. We compare our approach with existing design-based and model-based estimators using real and simulated data.


title: Individual context-free online community health indicators fail to identify open source software sustainability

abstract: The global value of open source software is estimated to be in the billions or trillions worldwide1, but despite this, it is often under-resourced and subject to high-impact security vulnerabilities and stability failures2,3. In order to investigate factors contributing to open source community longevity, we monitored thirty-eight open source projects over the period of a year, focusing primarily, but not exclusively, on open science-related online code-oriented communities. We measured performance indicators, using both subjective and qualitative measures (participant surveys), as well as using computational scripts to retrieve and analyse indicators associated with these projects' online source control codebases. None of the projects were abandoned during this period, and only one project entered a planned shutdown. Project ages spanned from under one year to over forty years old at the start of the study, and results were highly heterogeneous, showing little commonality across documentation, mean response times for issues and code contributions, and available funding/staffing resources. Whilst source code-based indicators were able to offer some insights into project activity, we observed that similar indicators across different projects often had very different meanings when context was taken into account. We conclude that the individual context-free metrics we studied were not sufficient or essential for project longevity and sustainability, and might even become detrimental if used to support high-stakes decision making. When attempting to understand an online open community's longer-term sustainability, we recommend that researchers avoid cross-project quantitative comparisons, and advise instead that they use single-project-level assessments which combine quantitative measures with contextualising qualitative data.


title: A Multiscale Autoencoder (MSAE) Framework for End-to-End Neural Network Speech Enhancement

abstract: Neural network approaches to single-channel speech enhancement have received much recent attention. In particular, mask-based architectures have achieved significant performance improvements over conventional methods. This paper proposes a multiscale autoencoder (MSAE) for mask-based end-to-end neural network speech enhancement. The MSAE performs spectral decomposition of an input waveform within separate band-limited branches, each operating with a different rate and scale, to extract a sequence of multiscale embeddings. The proposed framework features intuitive parameterization of the autoencoder, including a flexible spectral band design based on the Constant-Q transform. Additionally, the MSAE is constructed entirely of differentiable operators, allowing it to be implemented within an end-to-end neural network, and be discriminatively trained. The MSAE draws motivation both from recent multiscale network topologies and from traditional multiresolution transforms in speech processing. Experimental results show the MSAE to provide clear performance benefits relative to conventional single-branch autoencoders. Additionally, the proposed framework is shown to outperform a variety of state-of-the-art enhancement systems, both in terms of objective speech quality metrics and automatic speech recognition accuracy.


title: Buyer-Optimal Algorithmic Consumption

abstract: We analyze a bilateral trade model in which the buyer's value for the product and the seller's costs are uncertain, the seller chooses the product price, and the product is recommended by an algorithm based on its value and price. We characterize an algorithm that maximizes the buyer's expected payoff and show that the optimal algorithm underrecommends the product at high prices and overrecommends at low prices. Higher algorithm precision increases the maximal equilibrium price and may increase prices across all of the seller's costs, whereas informing the seller about the buyer's value results in a mean-preserving spread of equilibrium prices and a mean-preserving contraction of the buyer's payoff.


title: Toric dually flat manifolds and complex space forms

abstract: We classify 1-dimensional connected dually flat manifolds $M$ that are toric in the sense of [Molitor, arXiv:2109.04839], and show that the corresponding torifications are complex space forms. Special emphasis is put on the case where M is an exponential family defined over a finite set.


title: Individually tunable tunnelling coefficients in optical lattices using local periodic driving

abstract: Ultracold atoms in optical lattices have emerged as powerful quantum simulators of translationally invariant systems with many applications in e.g. strongly-correlated and topological systems. However, the ability to locally tune all Hamiltonian parameters remains an outstanding goal that would enable the simulation of a wider range of quantum phenomena. Motivated by recent advances in quantum gas microscopes and optical tweezers, we here show theoretically how local control over individual tunnelling links in an optical lattice can be achieved by incorporating local time-periodic potentials. We propose to periodically modulate the on-site energy of individual lattice sites and employ Floquet theory to demonstrate how this can result in full individual control over the tunnelling amplitudes in one dimension. We provide various example configurations realising interesting topological models such as extended Su-Schrieffer-Heeger models that would be challenging to realize by other means. Extending to two dimensions, we present that local periodic driving in a three-site plaquette allows for full simultaneous control over the relative tunnelling amplitudes and the gauge-invariant flux piercing the plaquette, providing a clear stepping stone in building a fully programmable 2D tight-binding model. This local modulation scheme is applicable to many different lattice geometries.

categories: cond-mat.quant-gas cond-mat.mes-hall physics.atom-ph quant-ph


title: Physical unambiguity of the definition of the photon position operator and its special eigenstates

abstract: The paper provides three definitions of the photon position operator based on: the Poincare group generator, the transversality condition and the helicity operator. In each case, the correctness of the definition and Hermitianness of the operator in the domain of physical states are proven. All considered definitions lead to the same form of the position operator in the domain of physical states. The components of the photon position operator do not commute, but in analogy to the problem of eigenangular momentum, its eigenstates do exist. Three three-dimensional types of eigenstates of the position operator of a localized photon are given: on a straight line, on a plane close to a circle and on a plane close to a point. These states are eigenvalues of two or one component of the photon position operator.


title: Study of the upgraded EUSO-TA performance via simulations

abstract: The EUSO-TA ground-based fluorescence detector of the JEM-EUSO program, which operates at the Telescope Array (TA) site in Utah (USA), is being upgraded. In the previous data acquisition campaigns, it detected the first nine ultra-high energy cosmic ray events with the external trigger provided by the Black Rock Mesa fluorescence detectors of the Telescope Array (TA-BRM-FDs). Among the upgrades, there is the installation of a trigger algorithm for the independent detection of cosmic ray air showers and upgraded electronics. A simulation study was developed to understand the performance of EUSO-TA in the new setup and different background conditions. This study allowed us to estimate the detection limit of the ground-based detector, which can be used to extrapolate the detection limit for a balloon-based detector. Moreover, it provided estimations of the expected trigger rates for ultra-high energy cosmic rays. In this work, the description of the simulation setup, the method developed to rescale the energy of the cosmic rays to account for the portion of air shower actually observed rather than the whole one, and the results in terms of detection limit and trigger rates, are reported.


title: Compact sheaves on a locally compact space

abstract: We describe the compact objects in the $\infty$-category of $\mathcal C$-valued sheaves $\text{Shv} (X,\mathcal C)$ on a hypercomplete locally compact Hausdorff space $X$, for $\mathcal C$ a compactly generated stable $\infty$-category. When $X$ is a non-compact connected manifold and $\mathcal C$ is the unbounded derived category of a ring, our result recovers a result of Neeman. Furthermore, for $X$ as above and $\mathcal C$ a nontrivial compactly generated stable $\infty$-category, we show that $\text{Shv} (X,\mathcal C)$ is compactly generated if and only if $X$ is totally disconnected.


title: Convergence and Recovery Guarantees of Unsupervised Neural Networks for Inverse Problems

abstract: Neural networks have become a prominent approach to solve inverse problems in recent years. While a plethora of such methods was developed to solve inverse problems empirically, we are still lacking clear theoretical guarantees for these methods. On the other hand, many works proved convergence to optimal solutions of neural networks in a more general setting using overparametrization as a way to control the Neural Tangent Kernel. In this work we investigate how to bridge these two worlds and we provide deterministic convergence and recovery guarantees for the class of unsupervised feedforward multilayer neural networks trained to solve inverse problems. We also derive overparametrization bounds under which a two-layers Deep Inverse Prior network with smooth activation function will benefit from our guarantees.


title: Leveraging Analog Quantum Computing with Neutral Atoms for Solvent Configuration Prediction in Drug Discovery

abstract: We introduce quantum algorithms able to sample equilibrium water solvent molecules configurations within proteins thanks to analog quantum computing. To do so, we combine a quantum placement strategy to the 3D Reference Interaction Site Model (3D-RISM), an approach capable of predicting continuous solvent distributions. The intrinsic quantum nature of such coupling guarantees molecules not to be placed too close to each other, a constraint usually imposed by hand in classical approaches. We present first a full quantum adiabatic evolution model that uses a local Rydberg Hamiltonian to cast the general problem into an anti-ferromagnetic Ising model. Its solution, an NP-hard problem in classical computing, is embodied into a Rydberg atom array Quantum Processing Unit (QPU). Following a classical emulator implementation, a QPU portage allows to experimentally validate the algorithm performances on an actual quantum computer. As a perspective of use on next generation devices, we emulate a second hybrid quantum-classical version of the algorithm. Such a variational quantum approach (VQA) uses a classical Bayesian minimization routine to find the optimal laser parameters. Overall, these Quantum-3D-RISM (Q-3D-RISM) algorithms open a new route towards the application of analog quantum computing in molecular modelling and drug design.


title: Search for Continuous and Transient Neutrino Emission Associated with IceCube's Highest-Energy Tracks: An 11-Year Analysis

abstract: IceCube alert events are neutrinos with a moderate-to-high probability of having astrophysical origin. In this study, we analyze 11 years of IceCube data and investigate 122 alert events and a selection of high-energy tracks detected between 2009 and the end of 2021. This high-energy event selection (alert events + high-energy tracks) has an average probability of $\geq 0.5$ to be of astrophysical origin. We search for additional continuous and transient neutrino emission within the high-energy events' error regions. We find no evidence for significant continuous neutrino emission from any of the alert event directions. The only locally significant neutrino emission is the transient emission associated with the blazar TXS~0506+056, with a local significance of $ 3 \sigma$, which confirms previous IceCube studies. When correcting for 122 test positions, the global p-value is $0.156$ and is compatible with the background hypothesis. We constrain the total continuous flux emitted from all 122 test positions at 100~TeV to be below $1.2 \times 10^{-15}$~(TeV cm$^2$ s)$^{-1}$ at 90% confidence assuming an $E^{-2}$ spectrum. This corresponds to 4.5% of IceCube's astrophysical diffuse flux. Overall, we find no indication that alert events, in general, are linked to lower-energetic continuous or transient neutrino emission.


title: Temperature dependence of charge conversion during NV-center relaxometry

abstract: Temperature-dependent nitrogen-vacancy (NV)-center relaxometry is an established tool to characterize paramagnetic molecules near to a sensing diamond, gaining momentum in different fields of science. However, recent results indicate that conversion between NV-center charge states impedes these measurements and influences the results for the $T_1$ time. While the temperature dependence of NV centers' $T_1$ time is well-studied, additional contributions from temperature-dependent charge conversion during the dark time may further affect the measurement results. We combine temperature-dependent relaxometry and fluorescence spectroscopy at varying laser powers to unravel the temperature dependence of charge conversion in nanodiamond for biologically relevant temperatures. While we observe a decrease of the $T_1$ time with increasing temperatures, charge conversion remains unaffected by the temperature change. These results allow the temperature dependent performance of $T_1$ relaxometry without further consideration of temperature dependence of charge conversion.


title: A knowledge representation approach for construction contract knowledge modeling

abstract: The emergence of large language models (LLMs) presents an unprecedented opportunity to automate construction contract management, reducing human errors and saving significant time and costs. However, LLMs may produce convincing yet inaccurate and misleading content due to a lack of domain expertise. To address this issue, expert-driven contract knowledge can be represented in a structured manner to constrain the automatic contract management process. This paper introduces the Nested Contract Knowledge Graph (NCKG), a knowledge representation approach that captures the complexity of contract knowledge using a nested structure. It includes a nested knowledge representation framework, a NCKG ontology built on the framework, and an implementation method. Furthermore, we present the LLM-assisted contract review pipeline enhanced with external knowledge in NCKG. Our pipeline achieves a promising performance in contract risk reviewing, shedding light on the combination of LLM and KG towards more reliable and interpretable contract management.


title: Intertype superconductivity evoked by the interplay of disorder and multiple bands

abstract: Nonmagnetic impurity scattering is known to shift up the Ginzburg-Landau parameter $\kappa$ of a superconductor. In this case, when the system is initially in type I, it can change its magnetic response, crossing the intertype domain with $\kappa \sim 1$ between the two standard superconductivity types and arriving at type II. In the present work we demonstrate that the impact of disorder can be much more profound in the presence of the multiband structure of the charge carrier states. In particular, when the band diffusivities differ from each other, the intertype domain tends to expand significantly, including points with $\kappa \gg 1$ that belong to deep type-II in conventional single-band superconductors. Our finding sheds light on the nontrivial disorder effect and significantly complements earlier results on the enlargement of the intertype domain in clean multiband superconductors.


title: Self-Supervised Contrastive Learning for Robust Audio-Sheet Music Retrieval Systems

abstract: Linking sheet music images to audio recordings remains a key problem for the development of efficient cross-modal music retrieval systems. One of the fundamental approaches toward this task is to learn a cross-modal embedding space via deep neural networks that is able to connect short snippets of audio and sheet music. However, the scarcity of annotated data from real musical content affects the capability of such methods to generalize to real retrieval scenarios. In this work, we investigate whether we can mitigate this limitation with self-supervised contrastive learning, by exposing a network to a large amount of real music data as a pre-training step, by contrasting randomly augmented views of snippets of both modalities, namely audio and sheet images. Through a number of experiments on synthetic and real piano data, we show that pre-trained models are able to retrieve snippets with better precision in all scenarios and pre-training configurations. Encouraged by these results, we employ the snippet embeddings in the higher-level task of cross-modal piece identification and conduct more experiments on several retrieval configurations. In this task, we observe that the retrieval quality improves from 30% up to 100% when real music data is present. We then conclude by arguing for the potential of self-supervised contrastive learning for alleviating the annotated data scarcity in multi-modal music retrieval models.


title: A fast approximate method for variable-width broadening of spectra

abstract: Spectral data is routinely broadened in order to improve appearance, approximate a higher sampling level or model experimental measurement effects. While there has been extensive work in the signal processing field to develop efficient methods for the application of fixed-width broadening functions, these are not suitable for all scientific applications -- for example, the instrumental resolution of inelastic neutron scattering measurements varies along the energy-transfer axis. Na\"ive application of a kernel to every point has $O(N \times M)$ complexity and scales poorly for a high-resolution spectrum over many data points. Here we present an approximate method with complexity $O(N + W\times M \log M)$, where $W$ scales with the range of required broadening widths; in practice the number and cost of mathematical operations is drastically reduced to $N$ polynomial evaluations and a modest number of discrete Fourier transforms. Applications are demonstrated for Gaussian interpolation of density-of-states data and to instrumental resolution functions. We anticipate that these performance improvements will assist application of resolution functions inside fitting procedures and interactive tools.


title: The matrix Szeg\H{o} equation

abstract: This paper is dedicated to studying the matrix solutions to the cubic Szeg\H{o} equation, introduced in G\'erard--Grellier (2009) arXiv:0906.4540, leading to the cubic matrix Szeg\H{o} equation on the torus, \begin{equation*} i \partial_t U = \Pi_{\geq 0} \left(U U ^* U \right), \quad \Pi_{\geq 0}: \sum_{n\in \mathbb{Z}}\hat{U}(n) e^{inx} \mapsto \sum_{n \geq 0} \hat{U}(n) e^{inx}. \end{equation*}This equation enjoys a two-Lax-pair structure, which allow every solution to be expressed explicitly in terms of the initial datum and the time $t \in \mathbb{R}$.


title: OSN-MDAD: Machine Translation Dataset for Arabic Multi-Dialectal Conversations on Online Social Media

abstract: While resources for English language are fairly sufficient to understand content on social media, similar resources in Arabic are still immature. The main reason that the resources in Arabic are insufficient is that Arabic has many dialects in addition to the standard version (MSA). Arabs do not use MSA in their daily communications; rather, they use dialectal versions. Unfortunately, social users transfer this phenomenon into their use of social media platforms, which in turn has raised an urgent need for building suitable AI models for language-dependent applications. Existing machine translation (MT) systems designed for MSA fail to work well with Arabic dialects. In light of this, it is necessary to adapt to the informal nature of communication on social networks by developing MT systems that can effectively handle the various dialects of Arabic. Unlike for MSA that shows advanced progress in MT systems, little effort has been exerted to utilize Arabic dialects for MT systems. While few attempts have been made to build translation datasets for dialectal Arabic, they are domain dependent and are not OSN cultural-language friendly. In this work, we attempt to alleviate these limitations by proposing an online social network-based multidialect Arabic dataset that is crafted by contextually translating English tweets into four Arabic dialects: Gulf, Yemeni, Iraqi, and Levantine. To perform the translation, we followed our proposed guideline framework for content translation, which could be universally applicable for translation between foreign languages and local dialects. We validated the authenticity of our proposed dataset by developing neural MT models for four Arabic dialects. Our results have shown a superior performance of our NMT models trained using our dataset. We believe that our dataset can reliably serve as an Arabic multidialectal translation dataset for informal MT tasks.


title: Endotrivial complexes

abstract: Let $G$ be a finite group, $p$ a prime, and $k$ a field of characteristic $p$. We introduce the notion of an endotrivial chain complex of $p$-permutation $kG$-modules, which are the invertible objects in the bounded homotopy category of $p$-permutation $kG$-modules, and study the corresponding Picard group $\mathcal{E}_k(G)$ of endotrivial complexes. Such complexes are shown to induce splendid Rickard autoequivalences of $kG$. The elements of $\mathcal{E}_k(G)$ are determined uniquely by integral invariants arising from the Brauer construction and a degree one character $G \to k^\times$. Using ideas from Bouc's theory of biset functors, we provide a canonical decomposition of $\mathcal{E}_k(G)$, and as an application, give complete descriptions of $\mathcal{E}_k(G)$ for abelian groups and $p$-groups of normal $p$-rank 1. Taking Lefschetz invariants of endotrivial complexes induces a group homomorphism $\Lambda: \mathcal{E}_k(G) \to O(T(kG))$, where $O(T(kG))$ is the orthogonal unit group of the trivial source ring. Using recent results of Boltje and Carman, we give a Frobenius stability condition elements in the image of $\Lambda$ must satisfy.


title: On the relationship between Benchmarking, Standards and Certification in Robotics and AI

abstract: Benchmarking, standards and certification are closely related processes. Standards can provide normative requirements that robotics and AI systems may or may not conform to. Certification generally relies upon conformance with one or more standards as the key determinant of granting a certificate to operate. And benchmarks are sets of standardised tests against which robots and AI systems can be measured. Benchmarks therefore can be thought of as informal standards. In this paper we will develop these themes with examples from benchmarking, standards and certification, and argue that these three linked processes are not only useful but vital to the broader practice of Responsible Innovation.


title: Unsupervised Domain Adaptation for Self-Driving from Past Traversal Features

abstract: The rapid development of 3D object detection systems for self-driving cars has significantly improved accuracy. However, these systems struggle to generalize across diverse driving environments, which can lead to safety-critical failures in detecting traffic participants. To address this, we propose a method that utilizes unlabeled repeated traversals of multiple locations to adapt object detectors to new driving environments. By incorporating statistics computed from repeated LiDAR scans, we guide the adaptation process effectively. Our approach enhances LiDAR-based detection models using spatial quantized historical features and introduces a lightweight regression head to leverage the statistics for feature regularization. Additionally, we leverage the statistics for a novel self-training process to stabilize the training. The framework is detector model-agnostic and experiments on real-world datasets demonstrate significant improvements, achieving up to a 20-point performance gain, especially in detecting pedestrians and distant objects. Code is available at https://github.com/zhangtravis/Hist-DA.


title: Guided rewiring of social networks reduces polarization and accelerates collective action

abstract: Global challenges like climate change may be considered as collective action problems that require sufficient cooperation with pro-mitigation norms, soon enough to be effective. Socio-political polarization is a barrier to collective action. Prior agent-based models of behavioural change on structured networks in a shared socio-political environment have shown that polarization emerges naturally in such systems and that the speed of consensus formation is limited by the rate at which polarized clusters can be dissolved. Here we study how guided social link rewiring affects the speed of network depolarization. We investigate rewiring algorithms representing random meetings, introduction by mutual acquaintances, and bridging between socially distant communities. We find that building lasting links between polarized individuals and communities can accelerate consensus formation when the sociopolitical environment is favourable. This strengthens the evidence that promoting connection between polarized communities could accelerate collective action on urgent global challenges.

categories: physics.soc-ph cond-mat.stat-mech cs.SI nlin.AO q-bio.PE


title: Characterizing Pulmonary Fibrosis Patterns in Post-COVID-19 Patients through Machine Learning Algorithms

abstract: The COVID-19 pandemic has left a lasting impact on global healthcare systems, with increasing evidence of pulmonary fibrosis emerging as a post-infection complication. This study presents a comprehensive analysis of pulmonary fibrosis patterns in post-COVID-19 patients from South and Central Iraq, employing advanced machine learning algorithms. Data were collected from 390 patients, and their medical records were systematically analyzed. Our findings reveal distinct patterns of pulmonary fibrosis in this cohort, shedding light on the heterogeneous nature of post-COVID-19 lung complications. Machine learning models demonstrated robust predictive capabilities, offering valuable insights into the characterization of fibrotic changes. The identification of specific patterns contributes to early diagnosis and personalized treatment strategies for affected individuals. This research underscores the importance of data-driven approaches in understanding post-COVID-19 complications, particularly in regions with unique demographic and healthcare characteristics. It emphasizes the potential for machine learning to enhance clinical decision-making and improve patient care in the aftermath of the pandemic. Further investigations are warranted to validate these findings and explore additional factors influencing pulmonary fibrosis in post-COVID-19 patients.


title: An iterative method to solve Lyapunov equations

abstract: We present here a new splitting method to solve Lyapunov equations of the type $AP + PA^T=-BB^T$ in a Kronecker product form. Although that resulting matrix is of order $n^2$, each iteration of the method demands only two operations with the matrix $A$: a multiplication of the form $(A-\sigma I) \hat{B}$ and a inversion of the form $(A-\sigma I)^{-1}\hat{B}$. We see that for some choice of a parameter the iteration matrix is such that all their eigenvalues are in absolute value less than 1, which means that it should converge without depending on the starting vector. Nevertheless we present a theorem that enables us how to get a good starting vector for the method.


title: Towards a minimal description of dynamical correlation in metals

abstract: Dynamical correlations and non-local contributions beyond static mean-field theories are of fundamental importance for describing the electronic structure of correlated metals. Their effects are usually described with many-body approaches and non-local dynamical self-energies. We suggest here a class of simple model self-energies that are a generalization of the static DFT + Hubbard approach. This formulation, for simplicity called DFT+U({\omega})+V, provides an intuitive physical picture, a lightweight implementation, and displays very good agreement with experimental data.


title: A new generation of effective core potentials: selected Lanthanides and heavy elements

abstract: We construct correlation-consistent effective core potentials (ccECPs) for a selected set of heavy atoms and f-elements that are of significant current interest in materials and chemical applications, including Y, Zr, Nb, Rh, Ta, Re, Pt, Gd, and Tb. As customary, ccECPs consist of spin-orbit averaged relativistic effective potential (AREP) and effective spin-orbit (SO) terms. For the AREP part, our constructions are carried out within a relativistic coupled-cluster framework while also taking into objective function one-particle characteristics for improved convergence in optimizations. The transferability is adjusted using binding curves of hydride and oxide molecules. We address the difficulties encountered with f-elements, such as the presence of large cores and multiple near-degeneracies of excited levels. For these elements, we construct ccECPs with core-valence partitioning that includes 4f-subshell in the valence space. The developed ccECPs achieve an excellent balance between accuracy, size of the valence space, and transferability and are also suitable to be used in plane wave codes with reasonable energy cutoffs.


title: Search for a possible quasi-periodic structure based on data of the SDSS DR12 LOWZ

abstract: We carry out a statistical analysis of the spatial distribution of galaxies at cosmological redshifts $0.16 \leq z \leq 0.47$ based on the SDSS\ DR12\ LOWZ catalogue. Our aim is to search and study possible large-scale quasi-regular structures embedded in the {\it cosmic web}. We calculate projections of the Cartesian galaxy coordinates on different axes (directions) densely covering certain regions in the sky to look for special directions along which one-dimensional distributions of the projections contain significant quasi-periodic components. These components appear as peaks in the power spectra and lie in a narrow range of wave numbers $0.05 < k < 0.07$. Particular attention is paid to the evaluation of the significance of the peaks. It is found that the significance of the dominant peaks for some selected directions exceeds $(4 - 5)\sigma$. In order to reduce possible selection effects, we create a mock homogeneous catalogue of spatial distribution of galaxies by adding a random set of artificial objects (points) to the real galaxies under study. The power spectrum of this cumulative model data also demonstrates significant peak corresponding to approximately the same scale. As a result we assume the existence of an anisotropic cosmological quasi-periodic structure with characteristic scale $(116 \pm 10)~h^{-1}$~Mpc.


title: Integrable measure equivalence rigidity of right-angled Artin groups via quasi-isometry

abstract: Let $G$ be a right-angled Artin group with $|\mathrm{Out}(G)|<+\infty$. We prove that if a countable group $H$ with bounded torsion is measure equivalent to $G$, with an $L^1$-integrable measure equivalence cocycle towards $G$, then $H$ is finitely generated and quasi-isometric to $G$. In particular, through work of Kleiner and the second-named author, $H$ acts properly and cocompactly on a $\mathrm{CAT}(0)$ cube complex which is quasi-isometric to $G$ and equivariantly projects to the right-angled building of $G$. As a consequence of work of the second-named author, we derive a superrigidity theorem in integrable measure equivalence for an infinite class of right-angled Artin groups, including those whose defining graph is an $n$-gon with $n\ge 5$. In contrast, we also prove that if a right-angled Artin group $G$ with $|\mathrm{Out}(G)|<+\infty$ splits non-trivially as a product, then there does not exist any locally compact group which contains all groups $H$ that are $L^1$-measure equivalent to $G$ as lattices, even up to replacing $H$ by a finite-index subgroup and taking the quotient by a finite normal subgroup.


title: Neural Modelling of Dynamic Systems with Time Delays Based on an Adjusted NEAT Algorithm

abstract: A problem related to the development of an algorithm designed to find an architecture of artificial neural network used for black-box modelling of dynamic systems with time delays has been addressed in this paper. The proposed algorithm is based on a well-known NeuroEvolution of Augmenting Topologies (NEAT) algorithm. The NEAT algorithm has been adjusted by allowing additional connections within an artificial neural network and developing original specialised evolutionary operators. This resulted in a compromise between the size of neural network and its accuracy in capturing the response of the mathematical model under which it has been learnt. The research involved an extended validation study based on data generated from a mathematical model of an exemplary system as well as the fast processes occurring in a pressurised water nuclear reactor. The obtaining simulation results demonstrate the high effectiveness of the devised neural (black-box) models of dynamic systems with time delays.


title: Performance Model for Similarity Caching

abstract: Similarity caching allows requests for an item to be served by a similar item. Applications include recommendation systems, multimedia retrieval, and machine learning. Recently, many similarity caching policies have been proposed, like SIM-LRU and RND-LRU, but the performance analysis of their hit rate is still wanting. In this paper, we show how to extend the popular time-to-live approximation in classic caching to similarity caching. In particular, we propose a method to estimate the hit rate of the similarity caching policy RND-LRU. Our method, the RND-TTL approximation, introduces the RND-TTL cache model and then tunes its parameters in such a way to mimic the behavior of RND-LRU. The parameter tuning involves solving a fixed point system of equations for which we provide an algorithm for numerical resolution and sufficient conditions for its convergence. Our approach for approximating the hit rate of RND-LRU is evaluated on both synthetic and real world traces.


title: Constructing graphs with no independent transversals

abstract: Given a graph $G$ and a partition $P$ of its vertex set, an independent transversal (IT) is an independent set of $G$ that contains one vertex from each block in $P$. Various sufficient conditions for the existence of an IT have been established, and a common theme for many of them is that the block sizes are sufficiently large compared to the maximum degree of $G$. Consequently, there has been interest in constructing graphs with no IT which demonstrate that these bounds on the block sizes are best possible. We describe a simple systematic method for constructing vertex-partitioned graphs with large block sizes and no IT. Unifying previous constructions, we use our method to derive classical extremal constructions due to Jin (1992), Yuster (1997), and Szab\'o and Tardos (2006) in streamlined fashion. For our new results, we describe extremal constructions of minimal graphs with maximum degree two and no IT, generalizing a result of Aharoni, Holzman, Howard, and Spr\"ussel (2015). We construct a family of locally sparse graphs with no IT, complementing an asymptotic result of Loh and Sudakov (2007). We describe new and smaller counterexamples to a list coloring conjecture of Reed (1999), which was originally disproved by Bohman and Holzman (2002). We disprove a conjecture of Aharoni, Alon, and Berger (2016) about IT's in graphs without large induced stars. We answer negatively a question of Aharoni, Holzman, Howard, and Spr\"ussel (2015) about extremal graphs with no IT, but we also prove that a useful variation of their question does hold.


title: Semantics for a Turing-complete Reversible Programming Language with Inductive Types

abstract: This paper is concerned with the expressivity and denotational semantics of a functional higher-order reversible programming language based on Theseus. In this language, pattern-matching is used to ensure the reversibility of functions. We show how one can encode any Reversible Turing Machine in said language. We then build a sound and adequate categorical semantics based on join inverse categories, with additional structures to capture pattern-matching. We then derive a full completeness result, stating that any computable, partial injective function is the image of a term in the language.


title: Unveiling Challenges in Mendelian Randomization for Gene-Environment Interaction

abstract: Many diseases and traits involve a complex interplay between genes and environment, generating significant interest in studying gene-environment interaction through observational data. However, for lifestyle and environmental risk factors, they are often susceptible to unmeasured confounding factors and as a result, may bias the assessment of the joint effect of gene and environment. Recently, Mendelian randomization (MR) has evolved into a versatile method for assessing causal relationships based on observational data to account for unmeasured confounders. This approach utilizes genetic variants as instrumental variables (IVs) and aims to offer a reliable statistical test and estimation of causal effects. MR has gained substantial popularity in recent years largely due to the success of large-scale genome-wide association studies in identifying genetic variants associated with lifestyle and environmental factors. Many methods have been developed for MR; however, little work has been done for evaluating gene-environment interaction. In this paper, we focus on two primary IV approaches: the 2-stage predictor substitution (2SPS) and the 2-stage residual inclusion (2SRI), and extend them to accommodate gene-environment interaction under both the linear and logistic regression models for the continuous and binary outcomes, respectively. Extensive simulation and analytical derivations show that finding solutions in the linear regression model setting is relatively straightforward; however, the logistic regression model is significantly more complex and demands additional effort.


title: $a$-Numbers of Cyclic Degree $p^2$ Covers of the Projective Line

abstract: We investigate the $a$-numbers of $\mathbb{Z}/p^2\mathbb{Z}$-covers in characteristic $p>2$ and extend a technique originally introduced by Farnell and Pries for $\mathbb{Z}/p\mathbb{Z}$-covers. As an application of our approach, we demonstrate that the $a$-numbers of ``minimal'' $\mathbb{Z}/9\mathbb{Z}$-covers can be deduced from the associated branching datum.


title: Aldous-type spectral gap results for the complete monomial group

abstract: Let us consider the continuous-time random walk on $G\wr S_n$, the complete monomial group of degree $n$ over a finite group $G$, as follows: An element in $G\wr S_n$ can be multiplied (left or right) by an element of the form \begin{itemize} \item $(u,v)_G:=(\mathbf{e},\dots,\mathbf{e};(u,v))$ with rate $x_{u,v}(\geq 0)$, or \item $(g)^{(w)}:=(\dots,\mathbf{e},\hspace*{-0.65cm}\underset{\substack{\uparrow\\w\text{th position}}}{g}\hspace*{-0.65cm},\mathbf{e},\dots;\mathbf{id})$ with rate $y_w\alpha_g\; (y_w> 0,\;\alpha_g=\alpha_{g^{-1}}\geq 0)$, \end{itemize} such that $\{(u,v)_G,\;(g)^{(w)}:x_{u,v}>0,\;y_w\alpha_g>0,\;1\leq u<v\leq n,\;g\in G,\;1\leq w\leq n\}$ generates $G\wr S_n$. We also consider the continuous-time random walk on $G\times\{1,\dots,n\}$ generated by one natural action of the elements $(u,v)_G,1\leq u<v\leq n$ and $(g)^{(w)},\;g\in G,1\leq w\leq n$ on $G\times\{1,\dots,n\}$ with the aforementioned rates. We show that the spectral gaps of the two random walks are the same. This is an analogue of the Aldous' spectral gap conjecture for the complete monomial group of degree $n$ over a finite group $G$.


title: A four-term exact sequence of surface orbifold pure braid groups

abstract: We prove a four-term exact sequence of surface orbifold pure braid groups for all genus $\geq 1$, $2$-dimensional orientable orbifolds with cone points. This corrects our earlier result in arXiv.2106.08110.


title: A dragon out of breath? Monitoring high-velocity outflows from the high-mass gamma-ray binary LS 2883/PSR B1259-63 during the 2017--2021 binary cycle

abstract: Observations of the high-mass gamma-ray binary LS 2883/PSR B1259--63 with the Chandra X-ray Observatory during the 2011--2014 and 2014--2017 binary cycles have shown X-ray emitting clumps, presumably ejected from the binary during periastron passages. These clumps traveled at projected velocities of $\sim0.1 c$ and have shown evidence of being accelerated. The clumps also evolved in shape, size, and flux. We monitored this binary with Chandra during the 2017--2021 binary cycle to search for additional X-ray emitting ejections. While we find evidence of extended emission in two of the six observations, it is unlike the clumps observed in the previous three binary cycles. More specifically, the extended emission is not well localized and no bright clump is observed moving away from the binary. It is still unclear what caused the lack of X-ray emitting clump in this orbital cycle, but it may be due to changes in the decretion disk of the Be star.


title: Variability studies of active galactic nuclei from the long-term monitoring program with the Cherenkov Telescope Array

abstract: Blazars are active galactic nuclei (AGN) with a relativistic jet oriented toward the observer. This jet is composed of accelerated particles which can display emission over the entire electromagnetic spectrum. Spectral variability has been observed on short- and long-time scales in AGN, with a power spectral density (PSD) that can show a break at frequencies below the well-known red-noise process. This break frequency in the PSD has been observed in X-rays to scale with the accretion regime and the mass of the central black hole. It is expected that a break could also be seen in the very-high-energy gamma rays, but constraining the shape of the PSD in these wavelengths has not been possible with the current instruments. The Cherenkov Telescope Array (CTA) will be more sensitive by a factor of five to ten depending on energy than the current generation of imaging atmospheric Cherenkov telescopes, therefore it will be possible with CTA to reconstruct the PSD with a high accuracy, bringing new information about AGN variability. In this work, we focus on the AGN long-term monitoring program planned with CTA. The program is proposed to begin with early-start observing campaigns with CTA precursors. This would allow us to probe longer time scales on the AGN PSD.


title: Towards Robust and Truly Large-Scale Audio-Sheet Music Retrieval

abstract: A range of applications of multi-modal music information retrieval is centred around the problem of connecting large collections of sheet music (images) to corresponding audio recordings, that is, identifying pairs of audio and score excerpts that refer to the same musical content. One of the typical and most recent approaches to this task employs cross-modal deep learning architectures to learn joint embedding spaces that link the two distinct modalities - audio and sheet music images. While there has been steady improvement on this front over the past years, a number of open problems still prevent large-scale employment of this methodology. In this article we attempt to provide an insightful examination of the current developments on audio-sheet music retrieval via deep learning methods. We first identify a set of main challenges on the road towards robust and large-scale cross-modal music retrieval in real scenarios. We then highlight the steps we have taken so far to address some of these challenges, documenting step-by-step improvement along several dimensions. We conclude by analysing the remaining challenges and present ideas for solving these, in order to pave the way to a unified and robust methodology for cross-modal music retrieval.


title: Information Forensics and Security: A quarter-century-long journey

abstract: Information Forensics and Security (IFS) is an active R&D area whose goal is to ensure that people use devices, data, and intellectual properties for authorized purposes and to facilitate the gathering of solid evidence to hold perpetrators accountable. For over a quarter century since the 1990s, the IFS research area has grown tremendously to address the societal needs of the digital information era. The IEEE Signal Processing Society (SPS) has emerged as an important hub and leader in this area, and the article below celebrates some landmark technical contributions. In particular, we highlight the major technological advances on some selected focus areas in the field developed in the last 25 years from the research community and present future trends.


title: Flow separation control design with experimental validation

abstract: Flow control aims at modifying a natural flow state to reach an other flow state considered as advantageous. In this paper, active feedback flow separation control is investigated with two different closed-loop control strategies, involving a reference signal tracking architecture. Firstly, a data-driven control law, leading to a linear (integral) controller is employed. Secondly, a phenomenological/model-driven approach, leading to a non-linear positive (integral) control strategy is investigated. While the former benefits of a tuning simplicity, the latter prevents undesirable effects and formally guarantees closed-loop stability. Both control approaches were validated through wind tunnel experiments of flow separation over a movable NACA 4412 plain flap. These control laws were designed with respect to hot film measurements, performed over the flap for different deflection angles. Both control approaches proved efficient in avoiding flow separation. The main contribution of this work is to provide practitioners simple but yet efficient ways to design a flow separation controller. In addition, a complete validation campaign data-set is provided.


title: Code Soliloquies for Accurate Calculations in Large Language Models

abstract: High-quality conversational datasets are crucial for the successful development of Intelligent Tutoring Systems (ITS) that utilize a Large Language Model (LLM) backend. Synthetic student-teacher dialogues, generated using advanced GPT-4 models, are a common strategy for creating these datasets. However, subjects like physics that entail complex calculations pose a challenge. While GPT-4 presents impressive language processing capabilities, its limitations in fundamental mathematical reasoning curtail its efficacy for such subjects. To tackle this limitation, we introduce in this paper an innovative stateful prompt design. Our design orchestrates a mock conversation where both student and tutorbot roles are simulated by GPT-4. Each student response triggers an internal monologue, or `code soliloquy' in the GPT-tutorbot, which assesses whether its subsequent response would necessitate calculations. If a calculation is deemed necessary, it scripts the relevant Python code and uses the Python output to construct a response to the student. Our approach notably enhances the quality of synthetic conversation datasets, especially for subjects that are calculation-intensive. Our preliminary Subject Matter Expert evaluations reveal that our Higgs model, a fine-tuned LLaMA model, effectively uses Python for computations, which significantly enhances the accuracy and computational reliability of Higgs' responses. Code, models, and datasets is available at https://github.com/luffycodes/Tutorbot-Spock-Phys.


title: Optimal Conditional Inference in Adaptive Experiments

abstract: We study batched bandit experiments and consider the problem of inference conditional on the realized stopping time, assignment probabilities, and target parameter, where all of these may be chosen adaptively using information up to the last batch of the experiment. Absent further restrictions on the experiment, we show that inference using only the results of the last batch is optimal. When the adaptive aspects of the experiment are known to be location-invariant, in the sense that they are unchanged when we shift all batch-arm means by a constant, we show that there is additional information in the data, captured by one additional linear function of the batch-arm means. In the more restrictive case where the stopping time, assignment probabilities, and target parameter are known to depend on the data only through a collection of polyhedral events, we derive computationally tractable and optimal conditional inference procedures.


title: Beyond Qubits : An Extensive Noise Analysis for Qutrit Quantum Teleportation

abstract: The four quantum noises Bit Flip, Phase Flip, Depolarization, and Amplitude Damping as well as any potential combinations of them are examined in this papers investigation of quantum teleportation using qutrit states. Among the above mentioned noises, we observed phase flip has highest fidelity. Compared to uncorrelated Amplitude Damping, we find that correlated Amplitude Damping performs two times better. Finally, we agreed that, for better fidelity, it is preferable to provide the same noise in channel state if noise is unavoidable.


title: Stratified Type Theory

abstract: A hierarchy of type universes is a rudimentary ingredient in the type theories of many proof assistants to prevent the logical inconsistency resulting from combining dependent functions and the type-in-type rule. In this work, we argue that a universe hierarchy is not the only option for a type theory with a type universe. Taking inspiration from Leivant's Stratified System F, we introduce Stratified Type Theory (StraTT), where rather than stratifying universes by levels, we stratify typing judgements and restrict the domain of dependent functions to strictly lower levels. Even with type-in-type, this restriction suffices to enforce consistency. In StraTT, we consider a number of extensions beyond just stratified dependent functions. First, the subsystem subStraTT employs McBride's crude-but-effective stratification (also known as displacement) as a simple form of level polymorphism where global definitions with concrete levels can be displaced uniformly to any higher level. Second, to recover some expressivity lost due to the restriction on dependent function domains, the full StraTT includes a separate nondependent function type with a "floating" domain whose level matches that of the overall function type. Finally, we have implemented a prototype type checker for StraTT extended with datatypes and inference for level and displacement annotations, along with a small core library. We have proven subStraTT to be consistent and StraTT to be type safe, but consistency of the full StraTT remains an open problem, largely due to the interaction between floating functions and cumulativity of judgements. Nevertheless, we believe StraTT to be consistent, and as evidence have verified the failure of some well-known type-theoretic paradoxes using our implementation.


title: Analysis of the Error-Correcting Radius of a Renormalisation Decoder for Kitaev's Toric Code

abstract: Kitaev's toric code is arguably the most studied quantum code and is expected to be implemented in future generations of quantum computers. The renormalisation decoders introduced by Duclos-Cianci and Poulin exhibit one of the best trade-offs between efficiency and speed, but one question that was left open is how they handle worst-case or adversarial errors, i.e. what is the order of magnitude of the smallest weight of an error pattern that will be wrongly decoded. We initiate such a study involving a simple hard-decision and deterministic version of a renormalisation decoder. We exhibit an uncorrectable error pattern whose weight scales like $d^{1/2}$ and prove that the decoder corrects all error patterns of weight less than $\frac{5}{6} d^{\log_{2}(6/5)}$, where $d$ is the minimum distance of the toric code.


title: Dark Sector Effective Field Theory

abstract: We introduce the effective field theory of two different light dark particles interacting with the standard model (SM) light states in a single vertex, termed dark sector effective field theory (DSEFT). We focus on the new light particles with spin up to 1 and being real in essence, namely, new real scalars $\phi$ and $S$, Majorana fermions $\chi$ and $\psi$, and real vectors $X_\mu$ and $V_\mu$. In the framework of low energy effective field theory with QED and QCD symmetry, the DSEFT can be classified into six categories, including the scalar-scalar-SM ($\phi S$-SM), fermion-fermion-SM ($\chi\psi$-SM), vector-vector-SM ($X V$-SM), scalar-fermion-SM ($\phi \chi$-SM), scalar-vector-SM ($\phi X$-SM), and fermion-vector-SM ($\chi X$-SM) cases. For each case, we construct the effective operator basis up to canonical dimension 7, which will cover most interesting phenomenology at low energy. As a phenomenological example, we investigate the longstanding neutron lifetime anomaly through the neutron dark decay modes $n \to \chi \phi \text{ or } \chi X$ from the effective interactions in the fermion-scalar-SM or fermion-vector-SM case. When treating the light fermion as a dark matter candidate, we also explore the constraints from DM-neutron annihilation signal at Super-Kamiokande. We find the neutron dark decay in each scenario can accommodate the anomaly, at the same time, without contradicting with the Super-Kamiokande limit.


title: Revealing Performance Issues in Server-side WebAssembly Runtimes via Differential Testing

abstract: WebAssembly (Wasm) is a bytecode format originally serving as a compilation target for Web applications. It has recently been used increasingly on the server side, e.g., providing a safer, faster, and more portable alternative to Linux containers. With the popularity of server-side Wasm applications, it is essential to study performance issues (i.e., abnormal latency) in Wasm runtimes, as they may cause a significant impact on server-side applications. However, there is still a lack of attention to performance issues in server-side Wasm runtimes. In this paper, we design a novel differential testing approach WarpDiff to identify performance issues in server-side Wasm runtimes. The key insight is that in normal cases, the execution time of the same test case on different Wasm runtimes should follow an oracle ratio. We identify abnormal cases where the execution time ratio significantly deviates from the oracle ratio and subsequently locate the Wasm runtimes that cause the performance issues. We apply WarpDiff to test five popular server-side Wasm runtimes using 123 test cases from the LLVM test suite and demonstrate the top 10 abnormal cases we identified. We further conduct an in-depth analysis of these abnormal cases and summarize seven performance issues, all of which have been confirmed by the developers. We hope our work can inspire future investigation on improving Wasm runtime implementation and thus promoting the development of server-side Wasm applications.


title: This is the Table I Want! Interactive Data Transformation on Desktop and in Virtual Reality

abstract: Data transformation is an essential step in data science. While experts primarily use programming to transform their data, there is an increasing need to support non-programmers with user interface-based tools. With the rapid development in interaction techniques and computing environments, we report our empirical findings about the effects of interaction techniques and environments on performing data transformation tasks. Specifically, we studied the potential benefits of direct interaction and virtual reality (VR) for data transformation. We compared gesture interaction versus a standard WIMP user interface, each on the desktop and in VR. With the tested data and tasks, we found time performance was similar between desktop and VR. Meanwhile, VR demonstrates preliminary evidence to better support provenance and sense-making throughout the data transformation process. Our exploration of performing data transformation in VR also provides initial affirmation for enabling an iterative and fully immersive data science workflow.


title: Estimation of the angular position of a two-wheeled balancing robot using a real IMU with selected filters

abstract: A low-cost measurement system using filtering of measurements for two-wheeled balancing robot stabilisation purposes has been addressed in this paper. In particular, a measurement system based on gyroscope, accelerometer, and encoder has been considered. The measurements have been corrected for deterministic disturbances and then filtered with Kalman, $\alpha$-$\beta$ type, and complementary filters. A quantitative assessment of selected filters has been given. As a result, the complete structure of a measurement system has been obtained. The performance of the proposed measurement system has been validated experimentally by using a dedicated research rig.


title: A Click Ahead: Real-Time Forecasting of Keyboard and Mouse Actions using RNNs and Computer Vision

abstract: Computer input is more complex than a sequence of single mouse clicks and keyboard presses. We introduce a novel method to identify and represent the user interactions and build a system which predicts - in real-time - the action a user is most likely going to take next. For this, a recurrent neural network (RNN) is trained on a person's usage of the computer. We demonstrate that it is enough to train the RNN on a user's activity over approximately a week to achieve an accuracy of 34.63 % when predicting the next action from a set of almost 500 possible actions. Specific examples for how these predictions may be leveraged to build tools for improving and speeding up workflows of computer users are discussed.


title: A multi-zone view on the multi-wavelength emission of blazars

abstract: In this work, a time-dependent modeling is developed to study the emission properties of blazars in the low state. Motivated by various observations, we speculate and assume that numerous discrete radiation zones throughout the jet of a blazar contribute to the broadband emission. We model the temporal evolution of the electron spectrum in each emission zone taking into account the injection, cooling and escape of relativistic electrons. By doing so, we are able to calculate the multi-wavelength emission of each radiation zone. The observed emission of a blazar is then the superposition of the emission from all discrete radiation zones. We revisit the multi-wavelength spectral energy distributions, light curves and polarisation under the model, and discuss its potential to reproduce the flat radio spectra, the core-shift phenomena, the minute-scale gamma-ray variability, and the large polarisation-angle swings, which are difficult to explain under the conventional one-zone models simultaneously.


title: SANPO: A Scene Understanding, Accessibility, Navigation, Pathfinding, Obstacle Avoidance Dataset

abstract: We introduce SANPO, a large-scale egocentric video dataset focused on dense prediction in outdoor environments. It contains stereo video sessions collected across diverse outdoor environments, as well as rendered synthetic video sessions. (Synthetic data was provided by Parallel Domain.) All sessions have (dense) depth and odometry labels. All synthetic sessions and a subset of real sessions have temporally consistent dense panoptic segmentation labels. To our knowledge, this is the first human egocentric video dataset with both large scale dense panoptic segmentation and depth annotations. In addition to the dataset we also provide zero-shot baselines and SANPO benchmarks for future research. We hope that the challenging nature of SANPO will help advance the state-of-the-art in video segmentation, depth estimation, multi-task visual modeling, and synthetic-to-real domain adaptation, while enabling human navigation systems. SANPO is available here: https://google-research-datasets.github.io/sanpo_dataset/


title: Interpolation Constraints for Computing Worst-Case Bounds in Performance Estimation Problems

abstract: The Performance Estimation Problem (PEP) approach consists in computing worst-case performance bounds on optimization algorithms by solving an optimization problem: one maximizes an error criterion over all initial conditions allowed and all functions in a given class of interest. The maximal value is then a worst-case bound, and the maximizer provides an example reaching that worst case. This approach was introduced for optimization algorithms but could in principle be applied to many other contexts involving worst-case bounds. The key challenge is the representation of infinite-dimensional objects involved in these optimization problems such as functions, and complex or non-convex objects as linear operators and their powers, networks in decentralized optimization etc. This challenge can be resolved by interpolation constraints, which allow representing the effect of these objects on vectors of interest, rather than the whole object, leading to tractable finite dimensional problems. We review several recent interpolation results and their implications in obtaining of worst-case bounds via PEP.


title: Band Flattening and Overlap Fermion

abstract: We show that, for each symmetry class based on the tenfold way classification, the effective Dirac operator obtained by integrating out the additional bulk direction takes a value in the corresponding classifying space, from which we obtain the flat band Hamiltonian. We then obtain the overlap Dirac operator for each symmetry class and establish the Ginsparg--Wilson relation associated with $\mathcal{C}$ and $\mathcal{T}$ symmetries, and also the mod-two index theorem.

categories: hep-th cond-mat.mes-hall hep-lat math.DG


title: Dynamics of redshift/blueshift during free fall under the Schwarzschild horizon

abstract: We consider a free-falling observer who crosses the event horizon in the Schwarzschild background. In the course of this fall, he/she can receive signals from an object (like a star surface) that emits radiation. We study how the frequency received by an observer changes depending on the proper time on his/her trajectory. The scenarios are classified depending on whether the frequency is infinite, finite or zero near the singularity and the horizon. This depends crucially on the angular momenta of an observer and a photon. In this work we consider also emission process, and, as we show, conditions of emission strongly influence parameters of a photon, and thus received frequency. As one of our main results, we present numerical calculations showing evolution of the received frequency during the process of diving into a black hole, depending on parameters of an observer and emitter. We also analyze how a falling observer will see a night sky as he/she approaches the singularity. We show that there appear several blind zones, which were not analyzed previously.


title: KP integrability through the $x-y$ swap relation

abstract: We discuss a universal relation that we call the $x-y$ swap relation, which plays a prominent role in the theory of topological recursion, Hurwitz theory, and free probability theory. We describe in a very precise and detailed way the interaction of the $x-y$ swap relation and KP integrability. As an application, we prove a recent conjecture that relates some particular instances of topological recursion to the Mironov-Morozov-Semenoff matrix integrals.


title: Explainable Artificial Intelligence for Drug Discovery and Development -- A Comprehensive Survey

abstract: The field of drug discovery has experienced a remarkable transformation with the advent of artificial intelligence (AI) and machine learning (ML) technologies. However, as these AI and ML models are becoming more complex, there is a growing need for transparency and interpretability of the models. Explainable Artificial Intelligence (XAI) is a novel approach that addresses this issue and provides a more interpretable understanding of the predictions made by machine learning models. In recent years, there has been an increasing interest in the application of XAI techniques to drug discovery. This review article provides a comprehensive overview of the current state-of-the-art in XAI for drug discovery, including various XAI methods, their application in drug discovery, and the challenges and limitations of XAI techniques in drug discovery. The article also covers the application of XAI in drug discovery, including target identification, compound design, and toxicity prediction. Furthermore, the article suggests potential future research directions for the application of XAI in drug discovery. The aim of this review article is to provide a comprehensive understanding of the current state of XAI in drug discovery and its potential to transform the field.


title: Refined instanton analysis of the 2D $\mathbb{C}P^{N-1}$ model: mass gap, theta dependence, and mirror symmetry

abstract: We address nonperturbative dynamics of the two-dimensional bosonic and supersymmetric $\mathbb{C}P^{N-1}$ models for general $N$ by developing new tools directly on $\mathbb{R}^2$. The analysis starts with a new formulation of instantons that is consistent with the existence of the classical moduli space, classical dipole--dipole type interactions of instanton--anti-instanton pairs, and vanishing interaction of instanton--instanton pairs. The classical consistency is achieved via a representation of the instanton as a collection of $N$ pointlike constituents carrying pair of real and imaginary charges valued in the weight lattice of $SU(N)$. The constituents interact via a generalized Coulomb interaction and do not violate the fact that instanton is a single lump with integer topological charge. By developing the appropriate Gibbs distribution, we show that the vacuum can be captured by a statistical field theory of these constituents, and their cluster expansion. Contrary to the common belief that instantons do not capture the vacuum structure and non-perturbation properties of such theories, our refined analysis is able to produce properties such as mass gap, theta dependence, and confinement of the theory on $\mathbb{R}^2$. In supersymmetric theory, our construction gives a new derivation of the mirror symmetry between the sigma model and the dual Landau--Ginzburg model by Hori and Vafa. Our construction also demonstrates that there is absolutely no conflict between large $N$ and instantons.


title: Autoregressive Sign Language Production: A Gloss-Free Approach with Discrete Representations

abstract: Gloss-free Sign Language Production (SLP) offers a direct translation of spoken language sentences into sign language, bypassing the need for gloss intermediaries. This paper presents the Sign language Vector Quantization Network, a novel approach to SLP that leverages Vector Quantization to derive discrete representations from sign pose sequences. Our method, rooted in both manual and non-manual elements of signing, supports advanced decoding methods and integrates latent-level alignment for enhanced linguistic coherence. Through comprehensive evaluations, we demonstrate superior performance of our method over prior SLP methods and highlight the reliability of Back-Translation and Fr\'echet Gesture Distance as evaluation metrics.


title: Chaotic studies in Magnetic Dipoles

abstract: The present work investigates the effect of an external rotating magnetic field on a magnetic needle, and aims to study chaotic behaviour. The equation of motion is modified to include damping and gravity. The bifurcation behaviour of such evolving systems is also studied. Furthermore, the coupling in pairs of magnetic needles is also analyzed. In addition, a 2-dimensional array of coupled needles is set up, and the synchronization properties of the population is studied. The study is completed by carrying out an investigation of the effects of noise on the synchronization of such a system.