title: Interval and $\ell$-interval Rational Parking Functions

abstract: Interval parking functions are a generalization of parking functions in which cars have an interval preference for their parking. We generalize this definition to parking functions with $n$ cars and $m\geq n$ parking spots, which we call interval rational parking functions and provide a formula for their enumeration. By specifying an integer parameter $\ell\geq 0$, we then consider the subset of interval rational parking functions in which each car parks at most $\ell$ spots away from their initial preference. We call these $\ell$-interval rational parking functions and provide recursive formulas to enumerate this set for all positive integers $m\geq n$ and $\ell$. We also establish formulas for the number of nondecreasing $\ell$-interval rational parking functions via the outcome map on rational parking functions. We also consider the intersection between $\ell$-interval parking functions and Fubini rankings and show the enumeration of these sets is given by generalized Fibonacci numbers. We conclude by specializing $\ell=1$, and establish that the set of $1$-interval rational parking functions with $n$ cars and $m$ spots are in bijection with the set of barred preferential arrangements of $[n]$ with $m-n$ bars. This readily implies enumerative formulas. Further, in the case where $\ell=1$, we recover the results of Hadaway and Harris that unit interval parking functions are in bijection with the set of Fubini rankings, which are enumerated by the Fubini numbers.


title: DPSUR: Accelerating Differentially Private Stochastic Gradient Descent Using Selective Update and Release

abstract: Machine learning models are known to memorize private data to reduce their training loss, which can be inadvertently exploited by privacy attacks such as model inversion and membership inference. To protect against these attacks, differential privacy (DP) has become the de facto standard for privacy-preserving machine learning, particularly those popular training algorithms using stochastic gradient descent, such as DPSGD. Nonetheless, DPSGD still suffers from severe utility loss due to its slow convergence. This is partially caused by the random sampling, which brings bias and variance to the gradient, and partially by the Gaussian noise, which leads to fluctuation of gradient updates. Our key idea to address these issues is to apply selective updates to the model training, while discarding those useless or even harmful updates. Motivated by this, this paper proposes DPSUR, a Differentially Private training framework based on Selective Updates and Release, where the gradient from each iteration is evaluated based on a validation test, and only those updates leading to convergence are applied to the model. As such, DPSUR ensures the training in the right direction and thus can achieve faster convergence than DPSGD. The main challenges lie in two aspects -- privacy concerns arising from gradient evaluation, and gradient selection strategy for model update. To address the challenges, DPSUR introduces a clipping strategy for update randomization and a threshold mechanism for gradient selection. Experiments conducted on MNIST, FMNIST, CIFAR-10, and IMDB datasets show that DPSUR significantly outperforms previous works in terms of convergence speed and model utility.


title: Assessing the Impact of Noise on Quantum Neural Networks: An Experimental Analysis

abstract: In the race towards quantum computing, the potential benefits of quantum neural networks (QNNs) have become increasingly apparent. However, Noisy Intermediate-Scale Quantum (NISQ) processors are prone to errors, which poses a significant challenge for the execution of complex algorithms or quantum machine learning. To ensure the quality and security of QNNs, it is crucial to explore the impact of noise on their performance. This paper provides a comprehensive analysis of the impact of noise on QNNs, examining the Mottonen state preparation algorithm under various noise models and studying the degradation of quantum states as they pass through multiple layers of QNNs. Additionally, the paper evaluates the effect of noise on the performance of pre-trained QNNs and highlights the challenges posed by noise models in quantum computing. The findings of this study have significant implications for the development of quantum software, emphasizing the importance of prioritizing stability and noise-correction measures when developing QNNs to ensure reliable and trustworthy results. This paper contributes to the growing body of literature on quantum computing and quantum machine learning, providing new insights into the impact of noise on QNNs and paving the way towards the development of more robust and efficient quantum algorithms.


title: Identification for Tree-shaped Structural Causal Models in Polynomial Time

abstract: Linear structural causal models (SCMs) are used to express and analyse the relationships between random variables. Direct causal effects are represented as directed edges and confounding factors as bidirected edges. Identifying the causal parameters from correlations between the nodes is an open problem in artificial intelligence. In this paper, we study SCMs whose directed component forms a tree. Van der Zander et al. (AISTATS'22, PLMR 151, pp. 6770--6792, 2022) give a PSPACE-algorithm for the identification problem in this case, which is a significant improvement over the general Gr\"obner basis approach, which has doubly-exponential time complexity in the number of structural parameters. In this work, we present a randomized polynomial-time algorithm, which solves the identification problem for tree-shaped SCMs. For every structural parameter, our algorithms decides whether it is generically identifiable, generically 2-identifiable, or generically unidentifiable. (No other cases can occur.) In the first two cases, it provides one or two fractional affine square root terms of polynomials (FASTPs) for the corresponding parameter, respectively.


title: Fluctuations, correlations, and Casimir-like forces in the homogeneous cooling state of a granular gas

abstract: The fluctuating hydrodynamics by Brey et. al. is analytically solved to get the long-time limit of the fluctuations of the number density, velocity field, and energy density around the homogeneous cooling state of a granular gas, under physical conditions where it keeps stable. Explicit expressions are given for the non-white contributions in the elastic limit. For small dissipation, the latter is shown to be much smaller than the inelastic contributions, in general. The fluctuation-induced Casimir-like forces on the walls of the system are calculated assuming a fluctuating pressure tensor resulting from perturbing its Navier-Stokes expression. This way, the Casimir-like forces emerges as the correlation between the longitudinal velocity and the energy density. Interestingly, the fluctuation-induced forces push/pull the system towards the square or rectangular geometry when they vanish, in good agreement with the event-driven numerical simulations.


title: Control and sorting of eccentric all-dielectric core-shell nanoparticles using two counter-propagating plane waves

abstract: Many typical nanoscale structures consist of dielectric nanoparticles with an inevitable oxide-generated coating around them. Depending on the fabrication techniques, these coatings may not be homogeneous, and their distortion can cause problems in the applications of such systems. Based on finite element simulations, inhomogeneous core-shell nanoparticle systems are numerically studied when illuminated with two counter-propagating plane waves in the optical range. It is found that the electromagnetic field distortions caused by the inhomogeneous system under Mie resonance conditions allow the system to exhibit controllable one-directional impulsion and rotation, which mainly depends on the offset between the core and shell. The overall geometry and composition of the system also dictate the type of resonance being excited. Overall, this "photonic thruster" effect consisting of an accelerating and spinning projectile would provide stability to particle movement and additionally establish a method to distinguish inhomogeneous from homogeneous particles. The method can be scaled to a wide range of nanoscale dielectric particles. Thus, the results are useful for detecting defects in nanosystems with a simple concept and may open avenues for improving nanoparticle synthesis methods.


title: Towards Explainable Strategy Templates using NLP Transformers

abstract: This paper bridges the gap between mathematical heuristic strategies learned from Deep Reinforcement Learning (DRL) in automated agent negotiation, and comprehensible, natural language explanations. Our aim is to make these strategies more accessible to non-experts. By leveraging traditional Natural Language Processing (NLP) techniques and Large Language Models (LLMs) equipped with Transformers, we outline how parts of DRL strategies composed of parts within strategy templates can be transformed into user-friendly, human-like English narratives. To achieve this, we present a top-level algorithm that involves parsing mathematical expressions of strategy templates, semantically interpreting variables and structures, generating rule-based primary explanations, and utilizing a Generative Pre-trained Transformer (GPT) model to refine and contextualize these explanations. Subsequent customization for varied audiences and meticulous validation processes in an example illustrate the applicability and potential of this approach.


title: Hardware Resilience Properties of Text-Guided Image Classifiers

abstract: This paper presents a novel method to enhance the reliability of image classification models during deployment in the face of transient hardware errors. By utilizing enriched text embeddings derived from GPT-3 with question prompts per class and CLIP pretrained text encoder, we investigate their impact as an initialization for the classification layer. Our approach achieves a remarkable $5.5\times$ average increase in hardware reliability (and up to $14\times$) across various architectures in the most critical layer, with minimal accuracy drop ($0.3\%$ on average) compared to baseline PyTorch models. Furthermore, our method seamlessly integrates with any image classification backbone, showcases results across various network architectures, decreases parameter and FLOPs overhead, and follows a consistent training recipe. This research offers a practical and efficient solution to bolster the robustness of image classification models against hardware failures, with potential implications for future studies in this domain. Our code and models are released at https://github.com/TalalWasim/TextGuidedResilience.


title: Do VSR Models Generalize Beyond LRS3?

abstract: The Lip Reading Sentences-3 (LRS3) benchmark has primarily been the focus of intense research in visual speech recognition (VSR) during the last few years. As a result, there is an increased risk of overfitting to its excessively used test set, which is only one hour duration. To alleviate this issue, we build a new VSR test set named WildVSR, by closely following the LRS3 dataset creation processes. We then evaluate and analyse the extent to which the current VSR models generalize to the new test data. We evaluate a broad range of publicly available VSR models and find significant drops in performance on our test set, compared to their corresponding LRS3 results. Our results suggest that the increase in word error rates is caused by the models inability to generalize to slightly harder and in the wild lip sequences than those found in the LRS3 test set. Our new test benchmark is made public in order to enable future research towards more robust VSR models.


title: HGCLIP: Exploring Vision-Language Models with Graph Representations for Hierarchical Understanding

abstract: Object categories are typically organized into a multi-granularity taxonomic hierarchy. When classifying categories at different hierarchy levels, traditional uni-modal approaches focus primarily on image features, revealing limitations in complex scenarios. Recent studies integrating Vision-Language Models (VLMs) with class hierarchies have shown promise, yet they fall short of fully exploiting the hierarchical relationships. These efforts are constrained by their inability to perform effectively across varied granularity of categories. To tackle this issue, we propose a novel framework (HGCLIP) that effectively combines CLIP with a deeper exploitation of the Hierarchical class structure via Graph representation learning. We explore constructing the class hierarchy into a graph, with its nodes representing the textual or image features of each category. After passing through a graph encoder, the textual features incorporate hierarchical structure information, while the image features emphasize class-aware features derived from prototypes through the attention mechanism. Our approach demonstrates significant improvements on 11 diverse visual recognition benchmarks. Our codes are fully available at https://github.com/richard-peng-xia/HGCLIP.


title: 3D Printed Discrete Dielectric Lens With Improved Matching Layers

abstract: This paper presents a non-zoned discrete dielectric lens comprising two or three matching layers to reduce the 50-110 GHz frequency range reflections. Based on Chebyshev and binomial multi-section transformers, the designed models use matching layers at the top and bottom. In addition, the presented designs use pins instead of the conventional slots for the matching layers, thus easing the manufacturing process. The results show that the broadband realized gain obtained using the proposed design is higher for both the two- and three-layer design than the commonly used quarter-wave transformer. A Binomial lens with two matchings layers using 38 unit cells is fabricated and illuminated by an open-ended waveguide to validate the simulation results obtained using CST Microwave Studio. The fabrication process uses stereolithography additive manufacturing.


title: Unveiling Phase Space Modifications: A Clash of Modified Gravity and the Generalized Uncertainty Principle

abstract: This study explores the link between Modified Gravity and modifications of phase space volume. Analyzing Fermi gas modifications {in the non-relativistic limit of the} Ricci-based gravities, we derive a generalized partition function in the grand-canonical ensemble, connecting Modified Gravity models with the Generalized Uncertainty Principle. Using this correspondence, we also establish bounds on the linear Generalized Uncertainty Principle: $-6\times10^{22}\lesssim\sigma\lesssim 3\times 10^{22}{\text{ s}}/{\text{kg m}}$, as well as lower bounds for Palatini $f(R)$ gravity $\beta > -7.51587\times 10^7 \text{ m}^2$ and Eddington-inspired Born-Infeld gravity $\epsilon > -1.88\times 10^7 \text{ m}^2$, ensuring microscopic stability. This connection also facilitates testing gravity proposals through tabletop experiments.


title: Enhancing Task-Oriented Dialogues with Chitchat: a Comparative Study Based on Lexical Diversity and Divergence

abstract: As a recent development, task-oriented dialogues (TODs) have been enriched with chitchat in an effort to make dialogues more diverse and engaging. This enhancement is particularly valuable as TODs are often confined to narrow domains, making the mitigation of repetitive and predictable responses a significant challenge. This paper presents a comparative analysis of three chitchat enhancements, aiming to identify the most effective approach in terms of diversity. Additionally, we quantify the divergence between the added chitchat, the original task-oriented language, and chitchat typically found in chitchat datasets, highlighting the top 20 divergent keywords for each comparison. Our findings drive a discussion on future enhancements for augmenting TODs, emphasizing the importance of grounding dialogues beyond the task to achieve more diverse and natural exchanges.


title: Interactive Dual-Conformer with Scene-Inspired Mask for Soft Sound Event Detection

abstract: Traditional binary hard labels for sound event detection (SED) lack details about the complexity and variability of sound event distributions. Recently, a novel annotation workflow is proposed to generate fine-grained non-binary soft labels, resulting in a new real-life dataset named MAESTRO Real for SED. In this paper, we first propose an interactive dual-conformer (IDC) module, in which a cross-interaction mechanism is applied to effectively exploit the information from soft labels. In addition, a novel scene-inspired mask (SIM) based on soft labels is incorporated for more precise SED predictions. The SIM is initially generated through a statistical approach, referred as SIM-V1. However, the fixed artificial mask may mismatch the SED model, resulting in limited effectiveness. Therefore, we further propose SIM-V2, which employs a word embedding model for adaptive SIM estimation. Experimental results show that the proposed IDC module can effectively utilize the information from soft labels, and the integration of SIM-V1 can further improve the accuracy. In addition, the impact of different word embedding dimensions on SIM-V2 is explored, and the results show that the appropriate dimension can enable SIM-V2 achieve superior performance than SIM-V1. In DCASE 2023 Challenge Task4B, the proposed system achieved the top ranking performance on the evaluation dataset of MAESTRO Real.


title: Massive topological edge channels in three-dimensional topological materials induced by extreme surface anisotropy

abstract: A two-dimensional quantum spin Hall insulator exhibits one-dimensional gapless spin-filtered edge channels allowing for dissipationless transport of charge and spin. However, the sophisticated fabrication requirement of two-dimensional materials and the low capacity of one-dimensional channels hinder the broadening applications. We introduce a method to manipulate a three-dimensional topological material to host a large number of one-dimensional topological edge channels utilizing surface anisotropy. Taking ZrTe5 as a model system, we realize a highly anisotropic surface due to the synergistic effect of the lattice geometry and Coulomb interaction, and achieve massive one-dimensional topological edge channels -- confirmed by electronic characterization using angle-resolved photoemission spectroscopy, in combination with first-principles calculations. Our work provides a new avenue to engineer the topological properties of three-dimensional materials through nanoscale tunning of surface morphology and opens up a promising prospect for the development of low-power-consumption electronic nano devices based on one-dimensional topological edge channels.


title: The Bishop--Phelps--Bollob\'as property for weighted holomorphic mappings

abstract: Given an open subset $U$ of a complex Banach space $E$, a weight $v$ on $U$ and a complex Banach space $F$, let $H^\infty_v(U,F)$ denote the Banach space of all weighted holomorphic mappings from $U$ into $F$, endowed with the weighted supremum norm. We introduce and study a version of the Bishop--Phelps--Bollob\'as property for $H^\infty_v(U,F)$ ($WH^\infty$-BPB property, for short). A result of Lindenstrauss type with sufficient conditions for $H^\infty_v(U,F)$ to have the $WH^\infty$-BPB property for every space $F$ is stated. This is the case of $H^\infty_{v_p}(\mathbb{D},F)$ with $p\geq 1$, where $v_p$ is the standard polynomial weight on $\mathbb{D}$. The study of the relations of the $WH^\infty$-BPB property for the complex and vector-valued cases is also addressed as well as the extension of the cited property for mappings $f\in H^\infty_v(U,F)$ such that $vf$ has relatively compact range in $F$.


title: A weighted multidetector extension to the 5-vector method for the search of continuous gravitational wave signals

abstract: The 5-vector method is one of the main pipeline used by the LIGO-Virgo-KAGRA Collaboration for the analysis of continuous gravitational waves (CWs). This method is a matched filter in the frequency domain based on the splitting in five frequencies of the expected gravitational wave frequency due to the Earth sidereal motion. The data 5-vector is composed by five components, each defined as the Fourier transform of the data at one of the five frequencies where the signal power is split. When dealing with a scenario involving $n$ detectors, the standard multidetector extension combines the data 5-vector from each detector, resulting in a total of $5n$ components. In this letter, we introduce a novel multidetector extension that goes beyond the standard approach. It takes into consideration the varying noise levels and observation times associated with each detector, offering a more sophisticated and effective approach for CWs analysis.


title: Inequalities \`a la P\'olya for the Aharonov--Bohm eigenvalues of the disk

abstract: We prove an analogue of P\'olya's conjecture for the eigenvalues of the magnetic Schr\"odinger operator with Aharonov--Bohm potential on the disk, for Dirichlet and magnetic Neumann boundary conditions. This answers a question posed by R. L. Frank and A. M. Hansson in 2008.


title: Learning Saliency From Fixations

abstract: We present a novel approach for saliency prediction in images, leveraging parallel decoding in transformers to learn saliency solely from fixation maps. Models typically rely on continuous saliency maps, to overcome the difficulty of optimizing for the discrete fixation map. We attempt to replicate the experimental setup that generates saliency datasets. Our approach treats saliency prediction as a direct set prediction problem, via a global loss that enforces unique fixations prediction through bipartite matching and a transformer encoder-decoder architecture. By utilizing a fixed set of learned fixation queries, the cross-attention reasons over the image features to directly output the fixation points, distinguishing it from other modern saliency predictors. Our approach, named Saliency TRansformer (SalTR), achieves metric scores on par with state-of-the-art approaches on the Salicon and MIT300 benchmarks.


title: A special class of $k$-harmonic maps inducing calibrated fibrations

abstract: We consider two special classes of $k$-harmonic maps between Riemannian manifolds which are related to calibrated geometry, satisfying a first order fully nonlinear PDE. The first is a special type of weakly conformal map $u \colon (L^k, g) \to (M^n, h)$ where $k \leq n$ and $\alpha$ is a calibration $k$-form on $M$. Away from the critical set, the image is an $\alpha$-calibrated submanifold of $M$. These were previously studied by Cheng-Karigiannis-Madnick when $\alpha$ was associated to a vector cross product, but we clarify that such a restriction is unnecessary. The second, which is new, is a special type of weakly horizontally conformal map $u \colon (M^n, h) \to (L^k, g)$ where $n \geq k$ and $\alpha$ is a calibration $(n-k)$-form on $M$. Away from the critical set, the fibres $u^{-1} \{ u(x) \}$ are $\alpha$-calibrated submanifolds of $M$. We also review some previously established analytic results for the first class; we exhibit some explicit noncompact examples of the second class, where $(M, h)$ are the Bryant-Salamon manifolds with exceptional holonomy; we remark on the relevance of this new PDE to the Strominger-Yau-Zaslow conjecture for mirror symmetry in terms of special Lagrangian fibrations and to the $\mathrm{G}_2$ version by Gukov-Yau-Zaslow in terms of coassociative fibrations; and we present several open questions for future study.


title: Friction of a driven chain: Role of momentum conservation, Goldstone and radiation modes

abstract: We analytically study friction and dissipation of a driven bead in a 1D harmonic chain, and analyze the role of internal damping mechanism as well as chain length. Specifically, we investigate Dissipative Particle Dynamics and Langevin Dynamics, as paradigmatic examples that do and do not display translational symmetry, with distinct results: For identical parameters, the friction forces can differ by many orders of magnitude. For slow driving, a Goldstone mode traverses the entire system, resulting in friction of the driven bead that grows arbitrarily large (Langevin) or gets arbitrarily small (Dissipative Particle Dynamics) with system size. For a long chain, the friction for DPD is shown to be bound, while it shows a singularity (i.e. can be arbitrarily large) for Langevin damping. For long underdamped chains, a radiation mode is recovered in either case, with friction independent of damping mechanism. For medium length chains, the chain shows the expected resonant behavior. At the resonance, friction is non-analytic in damping parameter $\gamma$, depending on it as $\gamma^{-1}$. Generally, no zero frequency bulk friction coefficient can be determined, as the limits of small frequency and infinite chain length do not commute, and we discuss the regimes where "simple" macroscopic friction occurs.


title: Searching for Snippets of Open-Domain Dialogue in Task-Oriented Dialogue Datasets

abstract: Most existing dialogue corpora and models have been designed to fit into 2 predominant categories : task-oriented dialogues portray functional goals, such as making a restaurant reservation or booking a plane ticket, while chit-chat/open-domain dialogues focus on holding a socially engaging talk with a user. However, humans tend to seamlessly switch between modes and even use chitchat to enhance task-oriented conversations. To bridge this gap, new datasets have recently been created, blending both communication modes into conversation examples. The approaches used tend to rely on adding chit-chat snippets to pre-existing, human-generated task-oriented datasets. Given the tendencies observed in humans, we wonder however if the latter do not \textit{already} hold chit-chat sequences. By using topic modeling and searching for topics which are most similar to a set of keywords related to social talk, we explore the training sets of Schema-Guided Dialogues and MultiWOZ. Our study shows that sequences related to social talk are indeed naturally present, motivating further research on ways chitchat is combined into task-oriented dialogues.


title: RetroDiff: Retrosynthesis as Multi-stage Distribution Interpolation

abstract: Retrosynthesis poses a fundamental challenge in biopharmaceuticals, aiming to aid chemists in finding appropriate reactant molecules and synthetic pathways given determined product molecules. With the reactant and product represented as 2D graphs, retrosynthesis constitutes a conditional graph-to-graph generative task. Inspired by the recent advancements in discrete diffusion models for graph generation, we introduce Retrosynthesis Diffusion (RetroDiff), a novel diffusion-based method designed to address this problem. However, integrating a diffusion-based graph-to-graph framework while retaining essential chemical reaction template information presents a notable challenge. Our key innovation is to develop a multi-stage diffusion process. In this method, we decompose the retrosynthesis procedure to first sample external groups from the dummy distribution given products and then generate the external bonds to connect the products and generated groups. Interestingly, such a generation process is exactly the reverse of the widely adapted semi-template retrosynthesis procedure, i.e. from reaction center identification to synthon completion, which significantly reduces the error accumulation. Experimental results on the benchmark have demonstrated the superiority of our method over all other semi-template methods.


title: Machine learning-based decentralized TDMA for VLC IoT networks

abstract: In this paper, a machine learning-based decentralized time division multiple access (TDMA) algorithm for visible light communication (VLC) Internet of Things (IoT) networks is proposed. The proposed algorithm is based on Q-learning, a reinforcement learning algorithm. This paper considers a decentralized condition in which there is no coordinator node for sending synchronization frames and assigning transmission time slots to other nodes. The proposed algorithm uses a decentralized manner for synchronization, and each node uses the Q-learning algorithm to find the optimal transmission time slot for sending data without collisions. The proposed algorithm is implemented on a VLC hardware system, which had been designed and implemented in our laboratory. Average reward, convergence time, goodput, average delay, and data packet size are evaluated parameters. The results show that the proposed algorithm converges quickly and provides collision-free decentralized TDMA for the network. The proposed algorithm is compared with carrier-sense multiple access with collision avoidance (CSMA/CA) algorithm as a potential selection for decentralized VLC IoT networks. The results show that the proposed algorithm provides up to 61% more goodput and up to 49% less average delay than CSMA/CA.


title: Empirical Comparison between Cross-Validation and Mutation-Validation in Model Selection

abstract: Mutation validation (MV) is a recently proposed approach for model selection, garnering significant interest due to its unique characteristics and potential benefits compared to the widely used cross-validation (CV) method. In this study, we empirically compared MV and $k$-fold CV using benchmark and real-world datasets. By employing Bayesian tests, we compared generalization estimates yielding three posterior probabilities: practical equivalence, CV superiority, and MV superiority. We also evaluated the differences in the capacity of the selected models and computational efficiency. We found that both MV and CV select models with practically equivalent generalization performance across various machine learning algorithms and the majority of benchmark datasets. MV exhibited advantages in terms of selecting simpler models and lower computational costs. However, in some cases MV selected overly simplistic models leading to underfitting and showed instability in hyperparameter selection. These limitations of MV became more evident in the evaluation of a real-world neuroscientific task of predicting sex at birth using brain functional connectivity.


title: Conformable Fractional Bohr Hamiltonian with Bonatsos and Double-Well Sextic Potentials

abstract: Using the conformable fractional calculus, a new formulation of the Bohr Hamiltonian is introduced. The conformable fractional energy spectra of free- and two- parameters anharmonic oscillator potentials are investigated. The energy eigenvalues and wave functions are calculated utilizing the finite-difference discretization method. It is proved that the conformable fractional spectra of the free-parameter Bonatsos potentials, $\frac{\beta ^{2 n}}{2}$, close completely the gaps between the classical spectra of the vibrational U(5) dynamical symmetry, the $E(5)-\beta ^{2 n}$ models, and the E(5) critical point symmetry. The ground effective sextic potential, which generates both the ground state and the $\beta$ excited states $0^+$, is considered to have two degenerate minima. In this case, the conformable fractional spectra of sextic potentials show a change, as a function of barrier height, from $\gamma$-unstable O(6) energy level sequence to the spectrum of $E(5)-\beta ^{6}$ model and simultaneously provide new features. The shape coexistence phenomena, in the ground band states, are identified. The energy spectrum and shape coexistence with mixing phenomena in $\, ^{96}\text{MO}$ nucleus are discussed in the framework of the conformable fractional Bohr Hamiltonian.


title: You Only Explain Once

abstract: In this paper, we propose a new black-box explainability algorithm and tool, YO-ReX, for efficient explanation of the outputs of object detectors. The new algorithm computes explanations for all objects detected in the image simultaneously. Hence, compared to the baseline, the new algorithm reduces the number of queries by a factor of 10X for the case of ten detected objects. The speedup increases further with with the number of objects. Our experimental results demonstrate that YO-ReX can explain the outputs of YOLO with a negligible overhead over the running time of YOLO. We also demonstrate similar results for explaining SSD and Faster R-CNN. The speedup is achieved by avoiding backtracking by combining aggressive pruning with a causal analysis.


title: Geometric Covering using Random Fields

abstract: A set of vectors $S \subseteq \mathbb{R}^d$ is $(k_1,\varepsilon)$-clusterable if there are $k_1$ balls of radius $\varepsilon$ that cover $S$. A set of vectors $S \subseteq \mathbb{R}^d$ is $(k_2,\delta)$-far from being clusterable if there are at least $k_2$ vectors in $S$, with all pairwise distances at least $\delta$. We propose a probabilistic algorithm to distinguish between these two cases. Our algorithm reaches a decision by only looking at the extreme values of a scalar valued hash function, defined by a random field, on $S$; hence, it is especially suitable in distributed and online settings. An important feature of our method is that the algorithm is oblivious to the number of vectors: in the online setting, for example, the algorithm stores only a constant number of scalars, which is independent of the stream length. We introduce random field hash functions, which are a key ingredient in our paradigm. Random field hash functions generalize locality-sensitive hashing (LSH). In addition to the LSH requirement that ``nearby vectors are hashed to similar values", our hash function also guarantees that the ``hash values are (nearly) independent random variables for distant vectors". We formulate necessary conditions for the kernels which define the random fields applied to our problem, as well as a measure of kernel optimality, for which we provide a bound. Then, we propose a method to construct kernels which approximate the optimal one.


title: The fuzzy bit

abstract: In this paper, the formulation of Quantum Mechanics in terms of fuzzy logic and fuzzy sets is explored. A result by Pykacz, that establishes a correspondence between (quantum) logics (lattices with certain properties) and certain families of fuzzy sets, is applied to the Birkhoff-von Neumann logic, the lattice of projectors of a Hilbert space. Three cases are considered: the qubit, two qubits entangled and a qutrit `nested' inside the two entangled qubits. The membership functions of the fuzzy sets are explicitly computed and all the connectives of the fuzzy sets are interpreted as operations with these particular membership functions. In this way, a complete picture of the standard quantum logic in terms of fuzzy sets is obtained for the systems considered.


title: Invisible Relevance Bias: Text-Image Retrieval Models Prefer AI-Generated Images

abstract: With the advancement of generation models, AI-generated content (AIGC) is becoming more realistic, flooding the Internet. A recent study suggests that this phenomenon causes source bias in text retrieval for web search. Specifically, neural retrieval models tend to rank generated texts higher than human-written texts. In this paper, we extend the study of this bias to cross-modal retrieval. Firstly, we successfully construct a suitable benchmark to explore the existence of the bias. Subsequent extensive experiments on this benchmark reveal that AI-generated images introduce an invisible relevance bias to text-image retrieval models. Specifically, our experiments show that text-image retrieval models tend to rank the AI-generated images higher than the real images, even though the AI-generated images do not exhibit more visually relevant features to the query than real images. This invisible relevance bias is prevalent across retrieval models with varying training data and architectures. Furthermore, our subsequent exploration reveals that the inclusion of AI-generated images in the training data of the retrieval models exacerbates the invisible relevance bias. The above phenomenon triggers a vicious cycle, which makes the invisible relevance bias become more and more serious. To elucidate the potential causes of invisible relevance and address the aforementioned issues, we introduce an effective training method aimed at alleviating the invisible relevance bias. Subsequently, we apply our proposed debiasing method to retroactively identify the causes of invisible relevance, revealing that the AI-generated images induce the image encoder to embed additional information into their representation. This information exhibits a certain consistency across generated images with different semantics and can make the retriever estimate a higher relevance score.


title: Measurement of $J/\psi$-pair production in $pp$ collisions at $\sqrt{s}=13$ TeV and study of gluon transverse-momentum dependent PDFs

abstract: The production cross-section of $J/\psi$ pairs in proton-proton collisions at a centre-of-mass energy of $\sqrt{s}=13$ TeV is measured using a data sample corresponding to an integrated luminosity of 4.2 fb$^{-1}$ collected by the LHCb experiment. The measurement is performed with both $J/\psi$ mesons in the transverse momentum range $0<p_{\text{T}}<14$ GeV/$c$ and rapidity range $2.0<y<4.5$. The cross-section of this process is measured to be 16.36$\pm$0.28(stat)$\pm$0.88(syst) nb. The contributions from single-parton scattering and double-parton scattering are separated based on the dependence of the cross-section on the absolute rapidity difference $\Delta y$ between the two $J/\psi$ mesons. The effective cross-section of double-parton scattering is measured to be $\sigma_{\text{eff}}=$13.1$\pm$1.8(stat)$\pm$2.3(syst) mb. The distribution of the azimuthal angle $\phi_{\text{CS}}$ of one of the $J/\psi$ mesons in the Collins-Soper frame and the $p_{\text{T}}$-spectrum of the $J/\psi$ pairs are also measured for the study of the gluon transverse-momentum dependent distributions inside protons. The extracted values of $\langle\cos2\phi_{\text{CS}}\rangle$ and $\langle\cos4\phi_{\text{CS}}\rangle$ are consistent with zero, but the presence of azimuthal asymmetry at a few percent level is allowed.


title: Brain MRI Screening Tool with Federated Learning

abstract: In clinical practice, we often see significant delays between MRI scans and the diagnosis made by radiologists, even for severe cases. In some cases, this may be caused by the lack of additional information and clues, so even the severe cases need to wait in the queue for diagnosis. This can be avoided if there is an automatic software tool, which would supplement additional information, alerting radiologists that the particular patient may be a severe case. We are presenting an automatic brain MRI Screening Tool and we are demonstrating its capabilities for detecting tumor-like pathologies. It is the first version on the path toward a robust multi-pathology screening solution. The tool supports Federated Learning, so multiple institutions may contribute to the model without disclosing their private data.


title: Question Answering in Natural Language: the Special Case of Temporal Expressions

abstract: Although general question answering has been well explored in recent years, temporal question answering is a task which has not received as much focus. Our work aims to leverage a popular approach used for general question answering, answer extraction, in order to find answers to temporal questions within a paragraph. To train our model, we propose a new dataset, inspired by SQuAD, specifically tailored to provide rich temporal information. We chose to adapt the corpus WikiWars, which contains several documents on history's greatest conflicts. Our evaluation shows that a deep learning model trained to perform pattern matching, often used in general question answering, can be adapted to temporal question answering, if we accept to ask questions whose answers must be directly present within a text.


title: Observation of $\Lambda_{b}^{0} \to \Lambda_{c}^{+} \bar{D}^{(*)0} K^{-}$ and $\Lambda_{b}^{0} \to \Lambda_{c}^{+} D_{s}^{*-}$ decays

abstract: The decays $\Lambda_b^0 \to \Lambda_c^+\bar{D}^{(*)0}K^-$ and $\Lambda_b^0 \to \Lambda_c^+ D_s^{*-}$ are observed for the first time, in proton-proton collision data at $\sqrt{s}=13$TeV corresponding to an integrated luminosity of 5.4 fb${}^{-1}$ collected with the LHCb detector. Their ratios of branching fractions with respect to the $\Lambda_b^0\!\to\Lambda_c^+\mathrm{D}_s^-$ mode are measured to be \begin{align*} \begin{split} \frac{\mathcal{B}(\Lambda_b^0 \to \Lambda_c^+\bar{D}^0 K^-)}{\mathcal{B}(\Lambda_b^0 \to \Lambda_c^+ D_s^-)} & = 0.1908 {}_{-0.0034}^{+0.0036} {}_{-0.0018}^{+0.0016} \pm 0.0038 \frac{\mathcal{B}(\Lambda_b^0 \to \Lambda_c^+\bar{D}^{*0} K^-)}{\mathcal{B}(\Lambda_b^0 \to \Lambda_c^+ D_s^-)} & = 0.589 {}_{-0.017}^{+0.018} {}_{-0.018}^{+0.017} \pm 0.012 \frac{\mathcal{B}(\Lambda_b^0 \to \Lambda_c^+ D_s^{*-})}{\mathcal{B}(\Lambda_b^0 \to \Lambda_c^+ D_s^-)} & = 1.668 \pm 0.022 {}_{-0.055}^{+0.061}\ , \end{split} \end{align*} where the first uncertainties are statistical, the second systematic, and the third, for the $\Lambda_b^0 \to \Lambda_c^+ \bar{D}^{(*)0} K^-$ decays, are due to the uncertainties on the branching fractions of the $D_s^- \to K^- K^+ \pi^-$ and $\bar{D}^0 \to K^+\pi^-$ decay modes. The measured branching fractions probe factorization assumptions in effective theories and provide the normalization for future pentaquark searches in $\Lambda_b^0 \to \Lambda_c^+ \bar{D}^{(*)0}K^-$ decay channels.


title: Study of polysterene based scintillator ageing in the DANSS experiment

abstract: DANSS is a spectrometer of reactor antineutrino based on plastic scintillator. The sensitive volume of the detector is made of 2500 polystyrene based scintillator plates with wavelength shifting (WLS) fiber readout (strips). We present a study of the strips light yield during 6.5 years of DANSS continuous running. Overall ageing at the rate $0.55 \pm 0.05(syst.)$ % per year is observed that is considerably smaller than in other similar experiments. We also observe the WLS fiber attenuation length shortening at the rate $0.26 \pm 0.04(stat.)$ % per year.


title: Class Uncertainty: A Measure to Mitigate Class Imbalance

abstract: Class-wise characteristics of training examples affect the performance of deep classifiers. A well-studied example is when the number of training examples of classes follows a long-tailed distribution, a situation that is likely to yield sub-optimal performance for under-represented classes. This class imbalance problem is conventionally addressed by approaches relying on the class-wise cardinality of training examples, such as data resampling. In this paper, we demonstrate that considering solely the cardinality of classes does not cover all issues causing class imbalance. To measure class imbalance, we propose "Class Uncertainty" as the average predictive uncertainty of the training examples, and we show that this novel measure captures the differences across classes better than cardinality. We also curate SVCI-20 as a novel dataset in which the classes have equal number of training examples but they differ in terms of their hardness; thereby causing a type of class imbalance which cannot be addressed by the approaches relying on cardinality. We incorporate our "Class Uncertainty" measure into a diverse set of ten class imbalance mitigation methods to demonstrate its effectiveness on long-tailed datasets as well as on our SVCI-20. Code and datasets will be made available.


title: PortfolioMentor: Multimodal Generative AI Companion for Learning and Crafting Interactive Digital Art Portfolios

abstract: Digital art portfolios serve as impactful mediums for artists to convey their visions, weaving together visuals, audio, interactions, and narratives. However, without technical backgrounds, design students often find it challenging to translate creative ideas into tangible codes and designs, given the lack of tailored resources for the non-technical, academic support in art schools, and a comprehensive guiding tool throughout the mentally demanding process. Recognizing the role of companionship in code learning and leveraging generative AI models' capabilities in supporting creative tasks, we present PortfolioMentor, a coding companion chatbot for IDEs. This tool guides and collaborates with students through proactive suggestions and responsible Q&As for learning, inspiration, and support. In detail, the system starts with the understanding of the task and artist's visions, follows the co-creation of visual illustrations, audio or music suggestions and files, click-scroll effects for interactions, and creative vision conceptualization, and finally synthesizes these facets into a polished interactive digital portfolio.


abstract: The Steward Observatory LEO Satellite Photometric Survey is a comprehensive observational survey to characterize the apparent brightness of the Starlink and OneWeb low Earth orbit satellites and evaluate the potential impact on astronomy. We report the results of over 16,000 independent measurements of nearly 2800 individual satellites. In addition to photometry, we also measured the astrometric position of each satellite and evaluated the accuracy of predicting satellite position with the available two-line element sets. The apparent brightness of a satellite seen in the sky is not constant and depends on the Sun-satellite-observer geometry. To capture this, we designed the survey to create an all-geometries set of measurements to fully characterize the brightness of each population of satellites as seen in the sky. We visualize the data with sky-plots that show the correlation of apparent brightness with on-sky position and relative Sun-satellite-observer geometry. The sky-plots show where in the sky the satellites are brightest. In addition to visual magnitudes, we also present two new metrics: the expected photon flux and the effective albedo. The expected photon flux metric assesses the potential impact on astronomy sensors by predicting the flux for a satellite trail in an image from a theoretical 1 m class telescope and sensor. The effective albedo metric assesses where a satellite is more reflective than baseline, which ties to the physical structure of the satellite and indicates the potential for brightness-reducing design changes. We intend to use this methodology and resulting data to inform the astronomy community about satellite brightness.


title: Color Confinement and Random Matrices -- A random walk down group manifold toward Casimir scaling --

abstract: We explain the microscopic origin of linear confinement potential with the Casimir scaling in generic confining gauge theories. In the low-temperature regime of confining gauge theories such as QCD, Polyakov lines are slowly varying Haar random modulo exponentially small corrections with respect to the inverse temperature, as shown by one of the authors (M.~H.) and Watanabe. With exact Haar randomness, computation of the two-point correlator of Polyakov loops reduces to the problem of random walk on group manifold. Linear confinement potential with approximate Casimir scaling except at short distances follows naturally from slowly varying Haar randomness. With exponentially small corrections to Haar randomness, string breaking and loss of Casimir scaling at long distance follow. Hence we obtain the Casimir scaling which is only approximate and holds only at intermediate distance, which is precisely needed to explain the results of lattice simulations. For $(1+1)$-dimensional theories, there is a simplification that admits the Casimir scaling at short distances as well.


title: Robust Decision Aggregation with Second-order Information

abstract: We consider a decision aggregation problem with two experts who each make a binary recommendation after observing a private signal about an unknown binary world state. An agent, who does not know the joint information structure between signals and states, sees the experts' recommendations and aims to match the action with the true state. Under the scenario, we study whether supplemented additionally with second-order information (each expert's forecast on the other's recommendation) could enable a better aggregation. We adopt a minimax regret framework to evaluate the aggregator's performance, by comparing it to an omniscient benchmark that knows the joint information structure. With general information structures, we show that second-order information provides no benefit. No aggregator can improve over a trivial aggregator, which always follows the first expert's recommendation. However, positive results emerge when we assume experts' signals are conditionally independent given the world state. When the aggregator is deterministic, we present a robust aggregator that leverages second-order information, which can significantly outperform counterparts without it. Second, when two experts are homogeneous, by adding a non-degenerate assumption on the signals, we demonstrate that random aggregators using second-order information can surpass optimal ones without it. In the remaining settings, the second-order information is not beneficial. We also extend the above results to the setting when the aggregator's utility function is more general.


title: Video Anomaly Detection using GAN

abstract: Accounting for the increased concern for public safety, automatic abnormal event detection and recognition in a surveillance scene is crucial. It is a current open study subject because of its intricacy and utility. The identification of aberrant events automatically, it's a difficult undertaking because everyone's idea of abnormality is different. A typical occurrence in one circumstance could be seen as aberrant in another. Automatic anomaly identification becomes particularly challenging in the surveillance footage with a large crowd due to congestion and high occlusion. With the use of machine learning techniques, this thesis study aims to offer the solution for this use case so that human resources won't be required to keep an eye out for any unusual activity in the surveillance system records. We have developed a novel generative adversarial network (GAN) based anomaly detection model. This model is trained such that it learns together about constructing a high dimensional picture space and determining the latent space from the video's context. The generator uses a residual Autoencoder architecture made up of a multi-stage channel attention-based decoder and a two-stream, deep convolutional encoder that can realise both spatial and temporal data. We have also offered a technique for refining the GAN model that reduces training time while also generalising the model by utilising transfer learning between datasets. Using a variety of assessment measures, we compare our model to the current state-of-the-art techniques on four benchmark datasets. The empirical findings indicate that, in comparison to existing techniques, our network performs favourably on all datasets.


title: Cultural Bias and Cultural Alignment of Large Language Models

abstract: Culture fundamentally shapes people's reasoning, behavior, and communication. As people increasingly use generative artificial intelligence (AI) to expedite and automate personal and professional tasks, cultural values embedded in AI models may bias people's authentic expression and contribute to the dominance of certain cultures. We conduct a disaggregated evaluation of cultural bias for five widely used large language models (OpenAI's GPT-4o/4-turbo/4/3.5-turbo/3) by comparing the models' responses to nationally representative survey data. All models exhibit cultural values resembling English-speaking and Protestant European countries. We test cultural prompting as a control strategy to increase cultural alignment for each country/territory. For recent models (GPT-4, 4-turbo, 4o), this improves the cultural alignment of the models' output for 71-81% of countries and territories. We suggest using cultural prompting and ongoing evaluation to reduce cultural bias in the output of generative AI.


title: ACT-Diffusion: Efficient Adversarial Consistency Training for One-step Diffusion Models

abstract: Though diffusion models excel in image generation, their step-by-step denoising leads to slow generation speeds. Consistency training addresses this issue with single-step sampling but often produces lower-quality generations and requires high training costs. In this paper, we show that optimizing consistency training loss minimizes the Wasserstein distance between target and generated distributions. As timestep increases, the upper bound accumulates previous consistency training losses. Therefore, larger batch sizes are needed to reduce both current and accumulated losses. We propose Adversarial Consistency Training (ACT), which directly minimizes the Jensen-Shannon (JS) divergence between distributions at each timestep using a discriminator. Theoretically, ACT enhances generation quality, and convergence. By incorporating a discriminator into the consistency training framework, our method achieves improved FID scores on CIFAR10 and ImageNet 64$\times$64 and LSUN Cat 256$\times$256 datasets, retains zero-shot image inpainting capabilities, and uses less than $1/6$ of the original batch size and fewer than $1/2$ of the model parameters and training steps compared to the baseline method, this leads to a substantial reduction in resource consumption. Our code is available:https://github.com/kong13661/ACT


title: Lead-acid battery lifetime extension in solar home systems under different operating conditions

abstract: Solar home systems (SHS) provide low-cost electricity access for rural off-grid communities. Batteries are a crucial part of the system, however they are often the first point of failure due to shorter lifetimes. Using field data, this work models the degradation of lead-acid batteries for different SHS use-cases, finding the dominant ageing mechanisms in each case. Corrosion is the dominant ageing mechanisms in all cases apart from the highest use case. This is caused by extended time at high state of charge (SOC) and hence high voltage. A new voltage control scheme is proposed for one of the use cases dominated by corrosion, whereby the number of days between full recharges varies depending on the degradation mechanisms the battery experiences. Simulating the new voltage control scheme yields a 25% increase in battery lifetime whilst ensuring no loss of load to the user.


title: Explaining ATOMKI, $(g-2)_\mu$, and MiniBooNE anomalies with light mediators in $U(1)_H$ extended model

abstract: We consider $U(1)_H$ extensions of Type-I 2HDM plus a singlet scalar $\phi_H$, introducing a new Higgs doublet $H_2$ and a singlet $\phi_H$ charged under $U(1)_H$. The SM Higgs doublet $H_1$ as well as all the SM fermions and three right-handed singlet neutrinos, introduced to generate nonzero neutrino masses and mixings, are neutral under $U(1)_H$. We also introduce a SM singlet Dirac fermion, charged under $U(1)_H$ and utilize it as sterile neutrinos relevant to the MiniBooNE experiment. The $U(1)_H$ symmetry breaks due to the vacuum expectation values of $H_2$ and $\phi_H$, leading to the emergence of a light vector boson with a mass of approximately 17 MeV. This vector boson interacts with fermions through mass mixing and kinetic mixing process involving other neutral gauge bosons. Furthermore, alongside the light vector boson, another light scalar particle with a mass around 10--100 MeV may arise from scalar sector mixing. By utilizing the gauge couplings of the light vector boson and the Yukawa couplings of the light scalar, this model can simultaneously provide an explanation for the Beryllium anomaly observed in the ATOMKI experiment, the anomalous magnetic moment of charged leptons and the excess of electron-like events detected at the MiniBooNE experiment.


title: MonoNav: MAV Navigation via Monocular Depth Estimation and Reconstruction

abstract: A major challenge in deploying the smallest of Micro Aerial Vehicle (MAV) platforms (< 100 g) is their inability to carry sensors that provide high-resolution metric depth information (e.g., LiDAR or stereo cameras). Current systems rely on end-to-end learning or heuristic approaches that directly map images to control inputs, and struggle to fly fast in unknown environments. In this work, we ask the following question: using only a monocular camera, optical odometry, and offboard computation, can we create metrically accurate maps to leverage the powerful path planning and navigation approaches employed by larger state-of-the-art robotic systems to achieve robust autonomy in unknown environments? We present MonoNav: a fast 3D reconstruction and navigation stack for MAVs that leverages recent advances in depth prediction neural networks to enable metrically accurate 3D scene reconstruction from a stream of monocular images and poses. MonoNav uses off-the-shelf pre-trained monocular depth estimation and fusion techniques to construct a map, then searches over motion primitives to plan a collision-free trajectory to the goal. In extensive hardware experiments, we demonstrate how MonoNav enables the Crazyflie (a 37 g MAV) to navigate fast (0.5 m/s) in cluttered indoor environments. We evaluate MonoNav against a state-of-the-art end-to-end approach, and find that the collision rate in navigation is significantly reduced (by a factor of 4). This increased safety comes at the cost of conservatism in terms of a 22% reduction in goal completion.


title: Subnetwork Ensembles

abstract: Neural network ensembles have been effectively used to improve generalization by combining the predictions of multiple independently trained models. However, the growing scale and complexity of deep neural networks have led to these methods becoming prohibitively expensive and time consuming to implement. Low-cost ensemble methods have become increasingly important as they can alleviate the need to train multiple models from scratch while retaining the generalization benefits that traditional ensemble learning methods afford. This dissertation introduces and formalizes a low-cost framework for constructing Subnetwork Ensembles, where a collection of child networks are formed by sampling, perturbing, and optimizing subnetworks from a trained parent model. We explore several distinct methodologies for generating child networks and we evaluate their efficacy through a variety of ablation studies and established benchmarks. Our findings reveal that this approach can greatly improve training efficiency, parametric utilization, and generalization performance while minimizing computational cost. Subnetwork Ensembles offer a compelling framework for exploring how we can build better systems by leveraging the unrealized potential of deep neural networks.


title: Possibilities of Identifying Members from Milky Way Satellite Galaxies using Unsupervised Machine Learning Algorithms

abstract: A detailed study of stellar populations in Milky Way (MW) satellite galaxies remains an observational challenge due to their faintness and fewer spectroscopically confirmed member stars. We use unsupervised machine learning methods to identify new members for nine nearby MW satellite galaxies using Gaia data release-3 (Gaia DR3) astrometry and the Dark Energy Survey (DES) and the DECam Local Volume Exploration Survey (DELVE) photometry. Two density-based clustering algorithms, DBSCAN and HDBSCAN, have been used in the four-dimensional astrometric parameter space to identify member stars belonging to MW satellite galaxies. Our results indicate that we can recover more than 80% of the known spectroscopically confirmed members in most of the satellite galaxies and also reject 95-100% of spectroscopic non-members. We have also added many new members using this method. We compare our results with previous studies that also use photometric and astrometric data and discuss the suitability of density-based clustering methods for MW satellite galaxies


title: Tight contact structures on a family of hyperbolic L-spaces

abstract: We classify tight contact structures on various surgeries on the Whitehead link, which provides the first classification result on an infinite family of hyperbolic L-spaces. We also determine which of the tight contact structures are Stein fillable and which are virtually overtwisted.


title: Single-Photon-Based Clock Analysis and Recovery in Quantum Key Distribution

abstract: Quantum key distribution is one of the first quantum technologies ready for the market. Current quantum telecommunication systems usually utilize a service channel for synchronizing the transmitter (Alice) and the receiver (Bob). However, the possibility of removing this service channel and exploiting a clock recovery method is intriguing for future implementation, both in fiber and free-space links. In this paper, we investigate criteria to recover the clock in a quantum communication scenario, and experimentally demonstrated the possibility of using a quantum-based clock recovery system in a time-bin quantum key distribution protocol. The performance of the clock recovery technique, in terms of quantum bit error rate and secret key rate, is equivalent to using the service channel for clock sharing.


title: Hybrid quantum-classical reservoir computing for simulating chaotic systems

abstract: Forecasting chaotic systems is a notably complex task, which in recent years has been approached with reasonable success using reservoir computing (RC), a recurrent network with fixed random weights (the reservoir) used to extract the spatio-temporal information of the system. This work presents a hybrid quantum reservoir-computing (HQRC) framework, which replaces the reservoir in RC with a quantum circuit. The modular structure and measurement feedback in the circuit are used to encode the complex system dynamics in the reservoir states, from which classical learning is performed to predict future dynamics. The noiseless simulations of HQRC demonstrate valid prediction times comparable to state-of-the-art classical RC models for both the Lorenz63 and double-scroll chaotic paradigmatic systems and adhere to the attractor dynamics long after the forecasts have deviated from the ground truth.


title: Two dimensional quantum lattice models via mode optimized hybrid CPU-GPU density matrix renormalization group method

abstract: We present a hybrid numerical approach to simulate quantum many body problems on two spatial dimensional quantum lattice models via the non-Abelian ab initio version of the density matrix renormalization group method on state-of-the-art high performance computing infrastructures. We demonstrate for the two dimensional spinless fermion model and for the Hubbard model on torus geometry that altogether several orders of magnitude in computational time can be saved by performing calculations on an optimized basis and by utilizing hybrid CPU-multiGPU parallelization. At least an order of magnitude reduction in computational complexity results from mode optimization, while a further order of reduction in wall time is achieved by massive parallelization. Our results are measured directly in FLOP and seconds. A detailed scaling analysis of the obtained performance as a function of matrix ranks and as a function of system size up to $12\times 12$ lattice topology is discussed. Our CPU-multiGPU model also tremendously accelerates the calculation of the one- and two-particle reduced density matrices, which can be used to construct various order parameters and trace quantum phase transitions with high fidelity.


title: Projective span of Wall manifolds

abstract: The projective span of a smooth manifold is defined to be the maximal number of linearly independent tangent line fields. We initiate a study of projective span, highlighting its relationship with the span, a more classical invariant. We calculate the projective span for all Wall manifolds, which are certain mapping tori of Dold manifolds.


title: MINTY: Rule-based Models that Minimize the Need for Imputing Features with Missing Values

abstract: Rule models are often preferred in prediction tasks with tabular inputs as they can be easily interpreted using natural language and provide predictive performance on par with more complex models. However, most rule models' predictions are undefined or ambiguous when some inputs are missing, forcing users to rely on statistical imputation models or heuristics like zero imputation, undermining the interpretability of the models. In this work, we propose fitting concise yet precise rule models that learn to avoid relying on features with missing values and, therefore, limit their reliance on imputation at test time. We develop MINTY, a method that learns rules in the form of disjunctions between variables that act as replacements for each other when one or more is missing. This results in a sparse linear rule model, regularized to have small dependence on features with missing values, that allows a trade-off between goodness of fit, interpretability, and robustness to missing values at test time. We demonstrate the value of MINTY in experiments using synthetic and real-world data sets and find its predictive performance comparable or favorable to baselines, with smaller reliance on features with missing values.


title: Boosting the Power of Small Multimodal Reasoning Models to Match Larger Models with Self-Consistency Training

abstract: Multimodal reasoning is a challenging task that requires models to reason across multiple modalities to answer questions. Existing approaches have made progress by incorporating language and visual modalities into a two-stage reasoning framework, separating rationale generation from answer inference. However, these approaches often fall short due to the inadequate quality of the generated rationales. In this work, we delve into the importance of rationales in model reasoning. We observe that when rationales are completely accurate, the model's accuracy significantly improves, highlighting the need for high-quality rationale generation. Motivated by this, we propose MC-CoT, a self-consistency training strategy that generates multiple rationales and answers, subsequently selecting the most accurate through a voting process. This approach not only enhances the quality of generated rationales but also leads to more accurate and robust answers. Through extensive experiments, we demonstrate that our approach significantly improves model performance across various benchmarks. Remarkably, we show that even smaller base models, when equipped with our proposed approach, can achieve results comparable to those of larger models, illustrating the potential of our approach in harnessing the power of rationales for improved multimodal reasoning. The code is available at https://github.com/chengtan9907/mc-cot.


title: When is Off-Policy Evaluation Useful? A Data-Centric Perspective

abstract: Evaluating the value of a hypothetical target policy with only a logged dataset is important but challenging. On the one hand, it brings opportunities for safe policy improvement under high-stakes scenarios like clinical guidelines. On the other hand, such opportunities raise a need for precise off-policy evaluation (OPE). While previous work on OPE focused on improving the algorithm in value estimation, in this work, we emphasize the importance of the offline dataset, hence putting forward a data-centric framework for evaluating OPE problems. We propose DataCOPE, a data-centric framework for evaluating OPE, that answers the questions of whether and to what extent we can evaluate a target policy given a dataset. DataCOPE (1) forecasts the overall performance of OPE algorithms without access to the environment, which is especially useful before real-world deployment where evaluating OPE is impossible; (2) identifies the sub-group in the dataset where OPE can be inaccurate; (3) permits evaluations of datasets or data-collection strategies for OPE problems. Our empirical analysis of DataCOPE in the logged contextual bandit settings using healthcare datasets confirms its ability to evaluate both machine-learning and human expert policies like clinical guidelines.


title: Homotopical characterization of strongly contextual simplicial distributions on cone spaces

abstract: This paper offers a novel homotopical characterization of strongly contextual simplicial distributions with binary outcomes, specifically those defined on the cone of a 1-dimensional space. In the sheaf-theoretic framework, such distributions correspond to non-signaling distributions on measurement scenarios where each context contains 2 measurements with binary outcomes. To establish our results, we employ a homotopical approach that includes collapsing measurement spaces and introduce categories associated with simplicial distributions that can detect strong contextuality.


title: Phonon collapse and anharmonic melting of the 3D charge-density wave in kagome metals

abstract: The charge-density wave (CDW) mechanism and resulting structure of the AV3Sb5 family of kagome metals has posed a puzzling challenge since their discovery four years ago. In fact, the lack of consensus on the origin and structure of the CDW hinders the understanding of the emerging phenomena. Here, by employing a non-perturbative treatment of anharmonicity from first-principles calculations, we reveal that the charge-density transition in CsV3Sb5 is driven by the large electron-phonon coupling of the material and that the melting of the CDW state is attributed to ionic entropy and lattice anharmonicity. The calculated transition temperature is in very good agreement with experiments, implying that soft mode physics are at the core of the charge-density wave transition. Contrary to the standard assumption associated with a pure kagome lattice, the CDW is essentially three-dimensional as it is triggered by an unstable phonon at the L point. The absence of involvement of phonons at the M point enables us to constrain the resulting symmetries to six possible space groups. The unusually large electron-phonon linewidth of the soft mode explains why inelastic scattering experiments did not observe any softened phonon. We foresee that large anharmonic effects are ubiquitous and could be fundamental to understand the observed phenomena also in other kagome families.


title: $U(N)$ Torus Link Invariants in the Large $N$ limit from Matrix Model Approach

abstract: In this paper we study $U(N)$ colored HOMFLY-PT polynomials of torus links in the double scaling limit (polynomial variable $q\rightarrow 1$, $N\rightarrow \infty$ keeping $q^N$ fixed). We show that, in this limit, the colored HOMFLY-PT polynomial of any $(L\alpha,L\beta)$ torus link can be expressed in terms of the colored HOMFLY-PT polynomial of $(L,L)$ torus link. Using the connection between matrix models and the Chern-Simons field theoretic invariants, we show that the colored torus link invariants are uniquely expressed in terms of connected correlation functions of operators in $U(N)$ matrix model. We determine the leading and subleading contribution to some of the correlators at large $N$ from the matrix model approach and find that they match exactly with those obtained from the corresponding colored HOMFLY-PT polynomials.


title: SySMOL: Co-designing Algorithms and Hardware for Neural Networks with Heterogeneous Precisions

abstract: Recent quantization techniques have enabled heterogeneous precisions at very fine granularity, e.g., each parameter/activation can take on a different precision, resulting in compact neural networks without sacrificing accuracy. However, there is a lack of efficient architectural support for such networks, which require additional hardware to decode the precision settings for individual variables, align the variables, and provide fine-grained mixed-precision compute capabilities. The complexity of these operations introduces high overheads. Thus, the improvements in inference latency/energy of these networks are not commensurate with the compression ratio, and may be inferior to larger quantized networks with uniform precisions. We present an end-to-end co-design approach encompassing computer architecture, training algorithm, and inference optimization to efficiently execute networks with fine-grained heterogeneous precisions. The key to our approach is a novel training algorithm designed to accommodate hardware constraints and inference operation requirements, outputting networks with input-channel-wise heterogeneous precisions and at most three precision levels. Combined with inference optimization techniques, existing architectures with low-cost enhancements can support such networks efficiently, yielding optimized tradeoffs between accuracy, compression ratio and inference latency/energy. We demonstrate the efficacy of our approach across CPU and GPU architectures. For various representative neural networks, our approach achieves >10x improvements in both compression ratio and inference latency, with negligible degradation in accuracy compared to full-precision networks.


title: A density estimation perspective on learning from pairwise human preferences

abstract: Learning from human feedback (LHF) -- and in particular learning from pairwise preferences -- has recently become a crucial ingredient in training large language models (LLMs), and has been the subject of much research. Most recent works frame it as a reinforcement learning problem, where a reward function is learned from pairwise preference data and the LLM is treated as a policy which is adapted to maximize the rewards, often under additional regularization constraints. We propose an alternative interpretation which centers on the generative process for pairwise preferences and treats LHF as a density estimation problem. We provide theoretical and empirical results showing that for a family of generative processes defined via preference behavior distribution equations, training a reward function on pairwise preferences effectively models an annotator's implicit preference distribution. Finally, we discuss and present findings on "annotator misspecification" -- failure cases where wrong modeling assumptions are made about annotator behavior, resulting in poorly-adapted models -- suggesting that approaches that learn from pairwise human preferences could have trouble learning from a population of annotators with diverse viewpoints.


title: Hierarchical Coded Gradient Aggregation Based on Layered MDS Codes

abstract: The growing privacy concerns and the communication costs associated with transmitting raw data have resulted in techniques like federated learning, where the machine learning models are trained at the edge nodes, and the parameter updates are shared with a central server. Because communications from the edge nodes are often unreliable, a hierarchical setup involving intermediate helper nodes is considered. The communication links between the edges and the helper nodes are error-prone and are modeled as straggling/failing links. To overcome the issue of link failures, coding techniques are proposed. The edge nodes communicate encoded versions of the model updates to the helper nodes, which pass them on to the master after suitable aggregation. The primary work in this area uses repetition codes and Maximum Distance Separable (MDS) codes at the edge nodes to arrive at the Aligned Repetition Coding (ARC) and Aligned MDS Coding (AMC) schemes, respectively. We propose using vector codes, specifically a family of layered MDS codes parameterized by a variable $\nu$, at the edge nodes. For the proposed family of codes, suitable aggregation strategies at the helper nodes are also developed. At the extreme values of $\nu$, our scheme matches the communication costs incurred by the ARC and AMC schemes, resulting in a graceful transition between these schemes.


title: Flux enhanced localization and reentrant delocalization in the quantum walk of interacting bosons on two-leg ladder

abstract: We study the quantum walk of two bosons possessing onsite repulsive interaction on a two-leg ladder and show that the presence of uniform flux piercing through the plaquettes of the ladder favors the localization of the bound states in the dynamics. We find that when the two bosons are symmetrically initialized on the edge rung of the ladder, they tend to edge-localize in their quantum walk - a phenomenon which is not possible in the absence of flux. On the other hand, when the bosons are initialized on the bulk rung they never localize and exhibit linear spreading in their quantum walk. Interestingly, however, we find that in the later case a finite flux favours localization of the bulk bound states in the presence of sufficiently weak quasiperiodic disorder which is otherwise insufficient to localize the particles in the absence of flux. In both the cases, we obtain that the localization in the dynamics strongly depends on the combined effect of the flux and interaction strengths, as a result which we obtain a signature of re-entrant delocalization as a function of flux (interaction) for fixed interaction (flux) strengths.


title: On The Impact of Replacing Private Cars with Autonomous Shuttles: An Agent-Based Approach

abstract: The European Green Deal aims to achieve climate neutrality by 2050, which demands improved emissions efficiency from the transportation industry. This study uses an agent-based simulation to analyze the sustainability impacts of shared autonomous shuttles. We forecast travel demands for 2050 and simulate regulatory interventions in the form of replacing private cars with a fleet of shared autonomous shuttles in specific areas. We derive driving-related emissions, energy consumption, and non-driving-related emissions to calculate life-cycle emissions. We observe reduced life-cycle emissions from 0.4% to 9.6% and reduced energy consumption from 1.5% to 12.2%.


title: Magnetic penetration depth of Aluminum thin films

abstract: We present a study of the superconducting penetration depth $\lambda$ in aluminum thin films of varying thickness. The range of thicknesses chosen spans from the thin-film regime to the regime approaching bulk behavior. The penetration depths observed range from $\lambda = 163.3\pm0.4~\rm{nm}$ for the thinnest $20~\rm{nm}$ samples down to $\lambda = 53.6\pm0.4~\rm{nm}$ for the $200~\rm{nm}$-thick ones. In order to accurately determine $\lambda$, we performed complementary measurements using the frequency of superconducting $LC$ resonators as well as the resistance of normal-state meanders. Both methods yield comparable results, providing a well-characterized set of values of $\lambda$ in aluminum in the relevant range for applications in fields such as quantum computing and microwave radiation detector technologies.


title: Weight fluctuations in (deep) linear neural networks and a derivation of the inverse-variance flatness relation

abstract: We investigate the stationary (late-time) training regime of single- and two-layer underparameterized linear neural networks within the continuum limit of stochastic gradient descent (SGD) for synthetic Gaussian data. In the case of a single-layer network in the weakly underparameterized regime, the spectrum of the noise covariance matrix deviates notably from the Hessian, which can be attributed to the broken detailed balance of SGD dynamics. The weight fluctuations are in this case generally anisotropic, but effectively experience an isotropic loss. For an underparameterized two-layer network, we describe the stochastic dynamics of the weights in each layer and analyze the associated stationary covariances. We identify the inter-layer coupling as a distinct source of anisotropy for the weight fluctuations. In contrast to the single-layer case, the weight fluctuations are effectively subject to an anisotropic loss, the flatness of which is inversely related to the fluctuation variance. We thereby provide an analytical derivation of the recently observed inverse variance-flatness relation in a model of a deep linear neural network.


title: Mean-Covariance Steering of a Linear Stochastic System with Input Delay and Additive Noise

abstract: In this paper, we introduce a novel approach to solve the (mean-covariance) steering problem for a fairly general class of linear continuous-time stochastic systems subject to input delays. Specifically, we aim at steering delayed linear stochastic differential equations to a final desired random variable with given mean and covariance. We first establish a controllability result for these control systems, revealing the existence of a lower bound under which the covariance of the control system can not be steered. This structural threshold covariance stems from a unique combined effect due to stochastic diffusions and delays. Next, we propose a numerically cheap approach to reach any neighbor of this threshold covariance in finite time. Via an optimal control-based strategy, we enhance the aforementioned approach to keep the system covariance small at will in the whole control horizon. Under some additional assumptions on the dynamics, we give theoretical guarantees on the efficiency of our method. Finally, numerical simulations are provided to ground our theoretical findings, showcasing the ability of our methods in optimally approaching the covariance threshold.


title: Decompositions of the mean continuous ranked probability score

abstract: The continuous ranked probability score (crps) is the most commonly used scoring rule in the evaluation of probabilistic forecasts for real-valued outcomes. To assess and rank forecasting methods, researchers compute the mean crps over given sets of forecast situations, based on the respective predictive distributions and outcomes. We propose a new, isotonicity-based decomposition of the mean crps into interpretable components that quantify miscalibration (MSC), discrimination ability (DSC), and uncertainty (UNC), respectively. In a detailed theoretical analysis, we compare the new approach to empirical decompositions proposed earlier, generalize to population versions, analyse their properties and relationships, and relate to a hierarchy of notions of calibration. The isotonicity-based decomposition guarantees the nonnegativity of the components and quantifies calibration in a sense that is stronger than for other types of decompositions, subject to the nondegeneracy of empirical decompositions. We illustrate the usage of the isotonicity-based decomposition in case studies from weather prediction and machine learning.


title: Exponential Quantum Space Advantage for Approximating Maximum Directed Cut in the Streaming Model

abstract: While the search for quantum advantage typically focuses on speedups in execution time, quantum algorithms also offer the potential for advantage in space complexity. Previous work has shown such advantages for data stream problems, in which elements arrive and must be processed sequentially without random access, but these have been restricted to specially-constructed problems [Le Gall, SPAA `06] or polynomial advantage [Kallaugher, FOCS `21]. We show an exponential quantum space advantage for the maximum directed cut problem. This is the first known exponential quantum space advantage for any natural streaming problem. This also constitutes the first unconditional exponential quantum resource advantage for approximating a discrete optimization problem in any setting. Our quantum streaming algorithm $0.4844$-approximates the value of the largest directed cut in a graph stream with $n$ vertices using polylog$(n)$ space, while previous work by Chou, Golovnev, and Velusamy [FOCS '20] implies that obtaining an approximation ratio better than $4/9 \approx 0.4444$ requires $\Omega(\sqrt{n})$ space for any classical streaming algorithm. Our result is based on a recent $\widetilde{\text{O}}(\sqrt{n})$ space classical streaming approach by Saxena, Singer, Sudan, and Velusamy [FOCS '23], with an additional improvement in the approximation ratio due to recent work by Singer [APPROX '23].


title: Effective cross-plane thermal conductivity of metal-dielectric multilayers at low temperatures

abstract: Heat transfer in layered metal-dielectric structures is considered theoretically based on an analytical solution of the Boltzmann transfer equation for the phonon distribution function. Taking into account the size effect, the problem of effective cross-plane thermal conductivity of structures containing two metal layers is analyzed in detail. If the thickness of the metal layers is less than the phonon mean free path, interlayer heat transfer is carried out predominantly by phonons, and the effective cross-plane thermal conductivity is determined by the reflection of phonons from the metal/dielectric interfaces. In the opposite case of thick metal layers, the effective cross-plane thermal conductivity is determined both by the thermal conductivity of the metal layers and by the thermal resistance of the dielectric layers. The results obtained are generalized to multilayer structures and superlattices.


title: Scalable AI Safety via Doubly-Efficient Debate

abstract: The emergence of pre-trained AI systems with powerful capabilities across a diverse and ever-increasing set of complex domains has raised a critical challenge for AI safety as tasks can become too complicated for humans to judge directly. Irving et al. [2018] proposed a debate method in this direction with the goal of pitting the power of such AI models against each other until the problem of identifying (mis)-alignment is broken down into a manageable subtask. While the promise of this approach is clear, the original framework was based on the assumption that the honest strategy is able to simulate deterministic AI systems for an exponential number of steps, limiting its applicability. In this paper, we show how to address these challenges by designing a new set of debate protocols where the honest strategy can always succeed using a simulation of a polynomial number of steps, whilst being able to verify the alignment of stochastic AI systems, even when the dishonest strategy is allowed to use exponentially many simulation steps.


title: Towards Auditing Large Language Models: Improving Text-based Stereotype Detection

abstract: Large Language Models (LLM) have made significant advances in the recent past becoming more mainstream in Artificial Intelligence (AI) enabled human-facing applications. However, LLMs often generate stereotypical output inherited from historical data, amplifying societal biases and raising ethical concerns. This work introduces i) the Multi-Grain Stereotype Dataset, which includes 52,751 instances of gender, race, profession and religion stereotypic text and ii) a novel stereotype classifier for English text. We design several experiments to rigorously test the proposed model trained on the novel dataset. Our experiments show that training the model in a multi-class setting can outperform the one-vs-all binary counterpart. Consistent feature importance signals from different eXplainable AI tools demonstrate that the new model exploits relevant text features. We utilise the newly created model to assess the stereotypic behaviour of the popular GPT family of models and observe the reduction of bias over time. In summary, our work establishes a robust and practical framework for auditing and evaluating the stereotypic bias in LLM.


title: Byzantine Robustness and Partial Participation Can Be Achieved at Once: Just Clip Gradient Differences

abstract: Distributed learning has emerged as a leading paradigm for training large machine learning models. However, in real-world scenarios, participants may be unreliable or malicious, posing a significant challenge to the integrity and accuracy of the trained models. Byzantine fault tolerance mechanisms have been proposed to address these issues, but they often assume full participation from all clients, which is not always practical due to the unavailability of some clients or communication constraints. In our work, we propose the first distributed method with client sampling and provable tolerance to Byzantine workers. The key idea behind the developed method is the use of gradient clipping to control stochastic gradient differences in recursive variance reduction. This allows us to bound the potential harm caused by Byzantine workers, even during iterations when all sampled clients are Byzantine. Furthermore, we incorporate communication compression into the method to enhance communication efficiency. Under general assumptions, we prove convergence rates for the proposed method that match the existing state-of-the-art (SOTA) theoretical results. We also propose a heuristic on adjusting any Byzantine-robust method to a partial participation scenario via clipping.


title: The Nadler-Quinn problem for simplicial inverse systems

abstract: We show that if $X$ is an arc-like continuum which can be represented as an inverse limit of a simplicial inverse system on arcs, then for every point $x \in X$ there is a plane embedding of $X$ in which $x$ is accessible. This answers a special case of the Nadler-Quinn question from 1972.


title: Stability of near surface nitrogen vacancy centers using dielectric surface passivation

abstract: We study the photo-physical stability of ensemble near-surface nitrogen vacancy (NV) centers in diamond under vacuum and air. The optically detected magnetic resonance contrast of the NV centers was measured following exposure to laser illumination, showing opposing trends in air compared to vacuum (increasing by up to 9% and dropping by up to 25%, respectively). Characterization using Raman and X-ray photoelectron spectroscopies suggests a surface reconstruction: In air, atmospheric oxygen adsorption on surface leads to an increase in NV- fraction, whereas in vacuum, net oxygen desorption increases the NV0 fraction. NV charge state switching is confirmed by photoluminescence spectroscopy. Deposition of ~ 2 nm alumina (Al2O3) over the diamond surface was shown to stabilize the NV charge state under illumination in either environment, attributed to a more stable surface electronegativity. The use of alumina coating on diamond is therefore a promising approach to improve the resilience of NV sensors.


title: Unified Treatment of Null and Spatial Infinity III: Asymptotically Minkowski Space-times

abstract: The Spi framework provides a 4-dimensional approach to investigate the asymptotic properties of gravitational fields as one recedes from isolated systems in any space-like direction, without reference to a Cauchy surface. It is well suited to unify descriptions at null and spatial infinity because $\mathscr{I}$ arises as the null cone of $i^\circ$. The goal of this work is to complete this task by introducing a natural extension of the asymptotic conditions at null and spatial infinity, by 'gluing' the two descriptions appropriately. Space-times satisfying these conditions are asymptotically flat in both regimes and thus represent isolated gravitating systems. They will be said to be Asymptotically Minkowskian at $i^\circ$. We show that in these space-times the Spi group $\mathfrak{S}$ as well as the BMS group $\mathcal{B}$ naturally reduce to a single Poincar\'e group, denoted by $\mathfrak{p}_{i^\circ}$ to highlight the fact that it arises from the gluing procedure at $i^\circ$. The asymptotic conditions are sufficiently weak to allow for the possibility that the Newman-Penrose component $\Psi^\circ_1$ diverges in the distant past along $\mathscr{I}^+$. This can occur in astrophysical sources that are not asymptotically stationary in the past, e.g. in scattering situations. Nonetheless, as we show in the companion paper, the energy momentum and angular momentum defined at $i^\circ$ equals the sum of that defined at a cross-section $S$ of $\mathscr{I}^+$ and corresponding flux across $\mathscr{I}^+$ to the past of $S$, when the quantities refer to the preferred Poincar\'e subgroup $\mathfrak{p}_{i^\circ}$.


title: Exactly conservative physics-informed neural networks and deep operator networks for dynamical systems

abstract: We introduce a method for training exactly conservative physics-informed neural networks and physics-informed deep operator networks for dynamical systems. The method employs a projection-based technique that maps a candidate solution learned by the neural network solver for any given dynamical system possessing at least one first integral onto an invariant manifold. We illustrate that exactly conservative physics-informed neural network solvers and physics-informed deep operator networks for dynamical systems vastly outperform their non-conservative counterparts for several real-world problems from the mathematical sciences.


title: Rational homotopy type of relative universal fibrations

abstract: For any group $G$ of self homotopy equivalences of the finite nilpotent complex $X$, acting nilpotently on its homology, and for any nilpotent subcomplex $A$, we prove that the universal fibration $$ X \longrightarrow B(*,{\rm aut}^{A}_G(X),X)\longrightarrow B{\rm aut}^{A}_G(X), $$ which classifies $A$-fibrations for which the image of the $A$-holonomy action lies in $G$, has a Lie model of the form $$ L\longrightarrow L\widetilde\times {\cal D}er^ML\longrightarrow{\cal D}er^ML $$ in which: $M\hookrightarrow L$ is a Lie model of $A\hookrightarrow X$ and ${\cal D}er^ML$ is a connected complete differential graded Lie algebra of derivations of $L$ which vanish on $M$. The rational homotopy type of extended relative mapping fibrations is also similarly characterized.


title: A robust framework for quantum computation using quasi-hidden molecular degrees of freedom

abstract: We discuss a novel approach to quantum information processing with molecules based on molecular degrees of freedom which are isolated from the environment as well as from the rest of the molecule. Such a degree of freedom can provide long-term quantum storage even in a noisy environment, and provides an independent protected quantum memory while quantum operations are performed between the rest of the molecule and external systems. We present several possibilities for realizing a quasi-hidden degree of freedom in a molecule, and discuss a number of examples for using such a degree of freedom in practice. Using quasi-hidden degrees of freedom could substantially improve the prospects for a molecule-based quantum computer.


title: Minimizing Corners in Colored Rectilinear Grids

abstract: Given a rectilinear grid $G$, in which cells are either assigned a single color, out of $k$ possible colors, or remain white, can we color white grid cells of $G$ to minimize the total number of corners of the resulting colored rectilinear polygons in $G$? We show how this problem relates to hypergraph visualization, prove that it is NP-hard even for $k=2$, and present an exact dynamic programming algorithm. Together with a set of simple kernelization rules, this leads to an FPT-algorithm in the number of colored cells of the input. We additionally provide an XP-algorithm in the solution size, and a polynomial $\mathcal{O}(OPT)$-approximation algorithm.


title: Enhanced Dilepton production near the color superconducting phase and the QCD critical point

abstract: The dilepton production yields in relativistic heavy ion collisions are investigated along isentropic trajectories in the quark (Wigner) phase within the two-flavor Nambu-Jona-Lasinio model. An enhancement of the ultra-low energy dilepton yield in the vicinity of the color superconducting (CSC) phase and the QCD critical point (QCD-CP) is found, compared to the free quark gas. Furthermore, we have found a nontrivial structure in the beam energy dependence of the ultra-low energy dilepton yield. A local maximum and minimum of the dilepton yield as a function of entropy per baryon emerge when the trajectories are close to both locations of the CSC phase transition line and the QCD-CP. Only the maximum appears in the scenario without the CSC phase but with the QCD-CP. On the other hand, when only the CSC phase is considered, the dilepton yield monotonically increases as the beam energy decreases. These distinctive patterns could potentially serve as signals of the CSC phase and QCD-CP. In addition, it is found that the dilepton production yield and the location of the minimum strongly depend on the value of diquark coupling, suggesting the possibility that the value of the diquark coupling may be extracted from experimental data.


title: A Blockchain Solution for Collaborative Machine Learning over IoT

abstract: The rapid growth of Internet of Things (IoT) devices and applications has led to an increased demand for advanced analytics and machine learning techniques capable of handling the challenges associated with data privacy, security, and scalability. Federated learning (FL) and blockchain technologies have emerged as promising approaches to address these challenges by enabling decentralized, secure, and privacy-preserving model training on distributed data sources. In this paper, we present a novel IoT solution that combines the incremental learning vector quantization algorithm (XuILVQ) with Ethereum blockchain technology to facilitate secure and efficient data sharing, model training, and prototype storage in a distributed environment. Our proposed architecture addresses the shortcomings of existing blockchain-based FL solutions by reducing computational and communication overheads while maintaining data privacy and security. We assess the performance of our system through a series of experiments, showcasing its potential to enhance the accuracy and efficiency of machine learning tasks in IoT settings.