title: Restricted Global Optimization for QAOA

abstract: The Quantum Approximate Optimization Algorithm (QAOA) has emerged as a promising variational quantum algorithm for addressing NP hard combinatorial optimization problems. However, a significant limitation lies in optimizing its classical parameters, which is in itself an NP hard problem. To circumvent this obstacle, initialization heuristics, enhanced problem encodings and beneficial problem scalings have been proposed. While such strategies further improve QAOA's performance, their remaining problem is the sole utilization of local optimizers. We show that local optimization methods are inherently inadequate within the complex cost landscape of QAOA. Instead, global optimization techniques greatly improve QAOA's performance across diverse problem instances. While global optimization generally requires high numbers of function evaluations, we demonstrate how restricted global optimizers still show better performance without requiring an exceeding amount of function evaluations.


title: Hungarian Qubit Assignment for Optimized Mapping of Quantum Circuits on Multi-Core Architectures

abstract: Modular quantum computing architectures offer a promising alternative to monolithic designs for overcoming the scaling limitations of current quantum computers. To achieve scalability beyond small prototypes, quantum architectures are expected to adopt a modular approach, featuring clusters of tightly connected quantum bits with sparser connections between these clusters. Efficiently distributing qubits across multiple processing cores is critical for improving quantum computing systems' performance and scalability. To address this challenge, we propose the Hungarian Qubit Assignment (HQA) algorithm, which leverages the Hungarian algorithm to improve qubit-to-core assignment. The HQA algorithm considers the interactions between qubits over the entire circuit, enabling fine-grained partitioning and enhanced qubit utilization. We compare the HQA algorithm with state-of-the-art alternatives through comprehensive experiments using both real-world quantum algorithms and random quantum circuits. The results demonstrate the superiority of our proposed approach, outperforming existing methods, with an average improvement of 1.28$\times$.


title: ORTexME: Occlusion-Robust Human Shape and Pose via Temporal Average Texture and Mesh Encoding

abstract: In 3D human shape and pose estimation from a monocular video, models trained with limited labeled data cannot generalize well to videos with occlusion, which is common in the wild videos. The recent human neural rendering approaches focusing on novel view synthesis initialized by the off-the-shelf human shape and pose methods have the potential to correct the initial human shape. However, the existing methods have some drawbacks such as, erroneous in handling occlusion, sensitive to inaccurate human segmentation, and ineffective loss computation due to the non-regularized opacity field. To address these problems, we introduce ORTexME, an occlusion-robust temporal method that utilizes temporal information from the input video to better regularize the occluded body parts. While our ORTexME is based on NeRF, to determine the reliable regions for the NeRF ray sampling, we utilize our novel average texture learning approach to learn the average appearance of a person, and to infer a mask based on the average texture. In addition, to guide the opacity-field updates in NeRF to suppress blur and noise, we propose the use of human body mesh. The quantitative evaluation demonstrates that our method achieves significant improvement on the challenging multi-person 3DPW dataset, where our method achieves 1.8 P-MPJPE error reduction. The SOTA rendering-based methods fail and enlarge the error up to 5.6 on the same dataset.


title: On the sensitivity of computed partial charges toward basis set and (exchange-)correlation treatment

abstract: Partial charges are a central concept in general chemistry and chemical biology, yet dozens of different computational definitions exist. In prior work [M. Cho et al., \textit{ChemPhysChem} {\bf 21}, 688-696 (2020)], we showed that these can be reduced to at most three `principal components of ionicity'. The present study addressed the dependance on computed partial charges $q$ on 1-particle basis set and (for WFT methods) $n$-particle correlation treatment or (for DFT methods) exchange-correlation functional, for several representative partial charge definitions such as QTAIM, Hirshfeld, Hirshfeld-I, HLY (electrostatic), NPA, and APT. Our findings show that semi-empirical double hybrids can closely approach the CCSD(T) `gold standard' for this property. In fact, owing to an error compensation in MP2, CCSD partial charges are further away from CCSD(T) than is MP2. The non-local correlation is important, especially when there is a substantial amount of non-local exchange. Employing range separation provides no clear advantage, while global hybrids with 20-30\% Hartree-Fock exchange exhibit the best performance across all charge types. Basis set convergence analysis shows that an augmented triple-zeta haVTZ+d basis set is sufficient for Hirshfeld, Hirshfeld-I, HLY, and APT methods. In contrast, QTAIM and NPA display slower basis set convergence. It is noteworthy that for both NPA and QTAIM, HF exhibits the slowest basis set convergence when contrasted with the correlation components of MP2 and CCSD. Triples corrections in CCSD(T), denoted as CCSD(T)-CCSD, exhibit even faster basis set convergence.


title: Solving linear objective optimization problem subjected to novel max-min fuzzy relational equalities as a generalization of the vertex cover problem

abstract: This paper considers the linear objective function optimization with respect to a novel system of fuzzy relation equations, where the fuzzy compositions are defined by the minimum t-norm. It is proved that the feasible solution set is formed as a union of the finite number of closed convex cells. Some necessary and sufficient conditions are presented to conceptualize the feasibility of the problem. Moreover, seven rules are introduced with the aim of simplifying the original problem, and then an algorithm is accordingly presented to find a global optimum. It is shown that the original problem in a special case is reduced to the well-known minimum vertex cover problem. Finally, an example is described to illustrate the proposed algorithm.


title: Integrable Magnetic Fluid Hyperthermia Systems for 3D Magnetic Particle Imaging

abstract: Background: Combining magnetic particle imaging (MPI) and magnetic fluid hyperthermia (MFH) offers the ability to perform localized hyperthermia and magnetic particle imaging-assisted ther-mometry of hyperthermia treatment. This allows precise regional selective heating inside the body without invasive interventions. In current MPI-MFH platforms, separate systems are used, which require object transfer from one system to another. Here, we present the design, development and evaluation process for integrable MFH platforms, which extends a commercial MPI scanner with the functionality of MFH. Methods: The biggest issue of integrating magnetic fluid hyperthermia platforms into a magnetic par-ticle imaging system is the magnetic coupling of the devices, which induces high voltage in the imaging system, and is harming its components. In this paper we use a self-compensation approach derived from heuristic algorithms to protect the magnetic particle imaging scanner. The integrable platforms are evaluated regarding electrical and magnetic characteristics, cooling capability, field strength, the magnetic coupling to a replica of the magnetic particle imaging system's main solenoid and particle heating. Results: The MFH platforms generate suitable magnetic fields for magnetic heating of particles and are compatible with a commercial magnetic particle imaging scanner. In combination with the imaging system, selective heating with a gradient field and steerable heating positioning using the MPI focus fields are possible. Conclusion: The proposed MFH platforms serve as a therapeutic tool to unlock MFH functionality of a commercial magnetic particle imaging scanner, enabling its use in future preclinical trials of MPI-guided, spatially selective magnetic hyperthermia therapy.


title: Bounded point derivations on Campanato spaces

abstract: Let $X$ be a compact subset of the complex plane and $x \in X$. A necessary and sufficient condition is given in terms of Hausdorff contents for the existence of a bounded point derivation at $x$ on the space of vanishing Campanato functions that are analytic in a neighborhood of $X$. This generalizes many known conditions for the existence of bounded point derivations on other function spaces.


title: SG-Bot: Object Rearrangement via Coarse-to-Fine Robotic Imagination on Scene Graphs

abstract: Object rearrangement is pivotal in robotic-environment interactions, representing a significant capability in embodied AI. In this paper, we present SG-Bot, a novel rearrangement framework that utilizes a coarse-to-fine scheme with a scene graph as the scene representation. Unlike previous methods that rely on either known goal priors or zero-shot large models, SG-Bot exemplifies lightweight, real-time, and user-controllable characteristics, seamlessly blending the consideration of commonsense knowledge with automatic generation capabilities. SG-Bot employs a three-fold procedure--observation, imagination, and execution--to adeptly address the task. Initially, objects are discerned and extracted from a cluttered scene during the observation. These objects are first coarsely organized and depicted within a scene graph, guided by either commonsense or user-defined criteria. Then, this scene graph subsequently informs a generative model, which forms a fine-grained goal scene considering the shape information from the initial scene and object semantics. Finally, for execution, the initial and envisioned goal scenes are matched to formulate robotic action policies. Experimental results demonstrate that SG-Bot outperforms competitors by a large margin.


title: Finite-time Lyapunov exponents for SPDEs with fractional noise

abstract: We estimate the finite-time Lyapunov exponents for a stochastic partial differential equation driven by a fractional Brownian motion (fbm) with Hurst index $H\in(0,1)$ close to a bifurcation of pitchfork type. We characterize regions depending on the distance from bifurcation, the Hurst parameter of the fbm and the noise strength where finite-time Lyapunov exponents are positive and thus indicate a change of stability. The results on finite-time Lyapunov exponents are novel also for SDEs perturbed by fractional noise.


title: Regret and Conservatism of Distributionally Robust Constrained Stochastic Model Predictive Control

abstract: We analyse the conservatism and regret of distributionally robust (DR) stochastic model predictive control (SMPC) when using moment-based ambiguity sets for modeling unknown uncertainties. To quantify the conservatism, we compare the deterministic constraint tightening while taking a DR approach against the optimal tightening when the exact distributions of the stochastic uncertainties are known. Furthermore, we quantify the regret by comparing the performance when the distributions of the stochastic uncertainties are known and unknown. Analysing the accumulated sub-optimality of SMPC due to the lack of knowledge about the true distributions of the uncertainties marks the novel contribution of this work.


title: Exploring the Correlation Between Ultrasound Speed and the State of Health of LiFePO$_4$ Prismatic Cells

abstract: Electric vehicles (EVs) have become a popular mode of transportation, with their performance depending on the ageing of the Li-ion batteries used to power them. However, it can be challenging and time-consuming to determine the capacity retention of a battery in service. A rapid and reliable testing method for state of health (SoH) determination is desired. Ultrasonic testing techniques are promising due to their efficient, portable, and non-destructive features. In this study, we demonstrate that ultrasonic speed decreases with the degradation of the capacity of an LFP prismatic cell. We explain this correlation through numerical simulation, which describes wave propagation in porous media. We propose that the reduction of binder stiffness can be a primary cause of the change in ultrasonic speed during battery ageing. This work brings new insights into ultrasonic SoH estimation techniques.


title: Real versus complex plane curves

abstract: We prove that a smooth, complex plane curve $C$ of odd degree can be defined by a polynomial with real coefficients if and only if $C$ is isomorphic to its complex conjugate. Counterexamples are known for curves of even degree. More generally, we prove that a plane curve $C$ over an algebraically closed field $K$ of characteristic $0$ with field of moduli $k_{C}\subset K$ is defined by a polynomial with coefficients in $k'$, where $k'/k_{C}$ is an extension with $[k':k_{C}]\le 3$ and $[k':k_{C}]\mid \operatorname{deg} C$.


title: Brain Tumor Detection Using Deep Learning Approaches

abstract: Brain tumors are collections of abnormal cells that can develop into masses or clusters. Because they have the potential to infiltrate other tissues, they pose a risk to the patient. The main imaging technique used, MRI, may be able to identify a brain tumor with accuracy. The fast development of Deep Learning methods for use in computer vision applications has been facilitated by a vast amount of training data and improvements in model construction that offer better approximations in a supervised setting. The need for these approaches has been the main driver of this expansion. Deep learning methods have shown promise in improving the precision of brain tumor detection and classification using magnetic resonance imaging (MRI). The study on the use of deep learning techniques, especially ResNet50, for brain tumor identification is presented in this abstract. As a result, this study investigates the possibility of automating the detection procedure using deep learning techniques. In this study, I utilized five transfer learning models which are VGG16, VGG19, DenseNet121, ResNet50 and YOLO V4 where ResNet50 provide the best or highest accuracy 99.54%. The goal of the study is to guide researchers and medical professionals toward powerful brain tumor detecting systems by employing deep learning approaches by way of this evaluation and analysis.


title: Empowering People with Intellectual and Developmental Disabilities through Cognitively Accessible Visualizations

abstract: Data has transformative potential to empower people with Intellectual and Developmental Disabilities (IDD). However, conventional data visualizations often rely on complex cognitive processes, and existing approaches for day-to-day analysis scenarios fail to consider neurodivergent capabilities, creating barriers for people with IDD to access data and leading to even further marginalization. We argue that visualizations could be an equalizer for people with IDD to participate in data-driven conversations. Drawing on preliminary research findings and our experiences working with people with IDD and their data, we introduce and expand on the concept of cognitively accessible visualizations, unpack its meaning and roles in increasing IDD individuals' access to data, and discuss two immediate research objectives. Specifically, we argue that cognitively accessible visualizations should support people with IDD in personal data storytelling for effective self-advocacy and self-expression, and balance novelty and familiarity in data design to accommodate cognitive diversity and promote inclusivity.


title: Intentional binding enhances hybrid BCI control

abstract: Mental imagery-based brain-computer interfaces (BCIs) allow to interact with the external environment by naturally bypassing the musculoskeletal system. Making BCIs efficient and accurate is paramount to improve the reliability of real-life and clinical applications, from open-loop device control to closed-loop neurorehabilitation. By promoting sense of agency and embodiment, realistic setups including multimodal channels of communication, such as eye-gaze, and robotic prostheses aim to improve BCI performance. However, how the mental imagery command should be integrated in those hybrid systems so as to ensure the best interaction is still poorly understood. To address this question, we performed a hybrid EEG-based BCI experiment involving healthy volunteers enrolled in a reach-and-grasp action operated by a robotic arm. Main results showed that the hand grasping motor imagery timing significantly affects the BCI accuracy as well as the spatiotemporal brain dynamics. Higher control accuracy was obtained when motor imagery is performed just after the robot reaching, as compared to before or during the movement. The proximity with the subsequent robot grasping favored intentional binding, led to stronger motor-related brain activity, and primed the ability of sensorimotor areas to integrate information from regions implicated in higher-order cognitive functions. Taken together, these findings provided fresh evidence about the effects of intentional binding on human behavior and cortical network dynamics that can be exploited to design a new generation of efficient brain-machine interfaces.


title: Free probability via entropic optimal transport

abstract: Let $\mu$ and $\nu$ be probability measures on $\mathbb{R}$ with compact support, and let $\mu \boxplus \nu$ denote their additive free convolution. We show that for $z \in \mathbb{R}$ greater than the sum of essential suprema of $\mu$ and $\nu$, we have \begin{equation*} \int_{-\infty}^\infty \log(z - x) \mu \boxplus \nu (\mathrm{d}x) = \sup_{\Pi} \left\{ \mathbf{E}_\Pi[\log(z - (X+Y)] - H(\Pi|\mu \otimes \nu) \right\}, \end{equation*} where the supremum is taken over all couplings $\Pi$ of the probability measures $\mu$ and $\nu$, and $H(\Pi|\mu \otimes \nu)$ denotes the relative entropy of a coupling $\Pi$ against product measure. We prove similar formulas for the multiplicative free convolution $\mu \boxtimes \nu$ and the free compression $[\mu]_\tau$ of probability measures, as well as for multivariate free operations. Thus the integrals of a log-potential against the fundamental measure operations of free probability may be formulated in terms of entropic optimal transport problems. The optimal couplings in these variational descriptions of the free probability operations can be computed explicitly, and from these we can then deduce the standard $R$- and $S$-transform descriptions of additive and multiplicative free convolution. We use our optimal transport formulations to derive new inequalities relating free and classical operations on probability measures, such as the inequality \begin{equation*} \int_{-\infty}^\infty \log(z - x) \mu \boxplus \nu (\mathrm{d}x) \geq \int_{-\infty}^{\infty} \log(z-x) \mu \ast \nu( \mathrm{d}x) \end{equation*} relating free and classical convolution. Our approach is based on applying a large deviation principle on the symmetric group to the quadrature formulas of Marcus, Spielman and Srivastava.


title: Weak Convergence of Stochastic Integrals on Skorokhod Space in Skorokhod's J1 and M1 Topologies

abstract: We revisit the theory of stochastic integral convergence on Skorokhod space, providing a new comprehensive treatment under Skorokhod's J1 and M1 topologies based on a simple and tractable notion of good decompositions for the integrators. Our analysis yields new insights even in the classical J1 setting and addresses the sharpness of various key results. As regards convergence of stochastic integrals in the M1 setting, our contribution is twofold. Firstly, we derive useful sufficient conditions. Secondly, we demonstrate the limitations of general weak continuity properties for strictly M1 convergent integrators. Moreover, we provide an important structural result for local martingales on Skorokhod space, showing that their M1 tightness generally implies their J1 tightness. The practicality of our results is illustrated through novel contributions to applications from econometric theory, statistical mechanics, mathematical finance, and insurance mathematics.


title: On aspherical configuration Lie groupoids

abstract: The complement of the hyperplanes $\{x_i=x_j\}$, for all $i\neq j$ in $M^n$, for $M$ an aspherical $2$-manifold, is known to be aspherical. Here we consider the situation, when $M$ is a $2$-dimensional orbifold. We prove this complement to be aspherical for a class of aspherical $2$-dimensional orbifolds, and predict that it should be true in general also. We generalize this question in the category of Lie groupoids, as orbifolds can be identified with a certain kind of Lie groupoids.


title: Holonomic $\mathcal{D}$-modules of arithmetic type and middle convolution

abstract: The aim of the present paper is to study arithmetic properties of $\mathcal{D}$-modules on an algebraic variety over the field of algebraic numbers. We first provide a framework for extending a class of $G$-connections (resp., globally nilpotent connections; resp., almost everywhere nilpotent connections) to holonomic $\mathcal{D}$-modules. It is shown that the derived category of $\mathcal{D}$-modules in each of such extended classes carries a Grothendieck six-functor formalism. This fact leads us to obtain the stability of the middle convolution for $G$-connections with respect to the global inverse radii. As a consequence of our study of middle convolution, we prove equivalences between various arithmetic properties on rigid Fuchsian systems. This result gives, for such systems of differential equations, an affirmative answer to a conjecture described in a paper written by Y. Andr\'{e} and F. Baldassarri.


title: A Variational Auto-Encoder Enabled Multi-Band Channel Prediction Scheme for Indoor Localization

abstract: Indoor localization is getting increasing demands for various cutting-edged technologies, like Virtual/Augmented reality and smart home. Traditional model-based localization suffers from significant computational overhead, so fingerprint localization is getting increasing attention, which needs lower computation cost after the fingerprint database is built. However, the accuracy of indoor localization is limited by the complicated indoor environment which brings the multipath signal refraction. In this paper, we provided a scheme to improve the accuracy of indoor fingerprint localization from the frequency domain by predicting the channel state information (CSI) values from another transmitting channel and spliced the multi-band information together to get more precise localization results. We tested our proposed scheme on COST 2100 simulation data and real time orthogonal frequency division multiplexing (OFDM) WiFi data collected from an office scenario.


title: Electroencephalogram Sensor Data Compression Using An Asymmetrical Sparse Autoencoder With A Discrete Cosine Transform Layer

abstract: Electroencephalogram (EEG) data compression is necessary for wireless recording applications to reduce the amount of data that needs to be transmitted. In this paper, an asymmetrical sparse autoencoder with a discrete cosine transform (DCT) layer is proposed to compress EEG signals. The encoder module of the autoencoder has a combination of a fully connected linear layer and the DCT layer to reduce redundant data using hard-thresholding nonlinearity. Furthermore, the DCT layer includes trainable hard-thresholding parameters and scaling layers to give emphasis or de-emphasis on individual DCT coefficients. Finally, the one-by-one convolutional layer generates the latent space. The sparsity penalty-based cost function is employed to keep the feature map as sparse as possible in the latent space. The latent space data is transmitted to the receiver. The decoder module of the autoencoder is designed using the inverse DCT and two fully connected linear layers to improve the accuracy of data reconstruction. In comparison to other state-of-the-art methods, the proposed method significantly improves the average quality score in various data compression experiments.


title: Empowering Precision Medicine: AI-Driven Schizophrenia Diagnosis via EEG Signals: A Comprehensive Review from 2002-2023

abstract: Schizophrenia (SZ) is a prevalent mental disorder characterized by cognitive, emotional, and behavioral changes. Symptoms of SZ include hallucinations, illusions, delusions, lack of motivation, and difficulties in concentration. Diagnosing SZ involves employing various tools, including clinical interviews, physical examinations, psychological evaluations, the Diagnostic and Statistical Manual of Mental Disorders (DSM), and neuroimaging techniques. Electroencephalography (EEG) recording is a significant functional neuroimaging modality that provides valuable insights into brain function during SZ. However, EEG signal analysis poses challenges for neurologists and scientists due to the presence of artifacts, long-term recordings, and the utilization of multiple channels. To address these challenges, researchers have introduced artificial intelligence (AI) techniques, encompassing conventional machine learning (ML) and deep learning (DL) methods, to aid in SZ diagnosis. This study reviews papers focused on SZ diagnosis utilizing EEG signals and AI methods. The introduction section provides a comprehensive explanation of SZ diagnosis methods and intervention techniques. Subsequently, review papers in this field are discussed, followed by an introduction to the AI methods employed for SZ diagnosis and a summary of relevant papers presented in tabular form. Additionally, this study reports on the most significant challenges encountered in SZ diagnosis, as identified through a review of papers in this field. Future directions to overcome these challenges are also addressed. The discussion section examines the specific details of each paper, culminating in the presentation of conclusions and findings.


title: Opers with real monodromy and Eichler-Shimura isomorphism

abstract: The purpose of the present paper is to investigate $G$-opers on pointed Riemann surfaces (for a simple algebraic group $G$ of adjoint type) and their monodromy maps. In the first part, we review some general facts on $G$-opers, or more generally, principal $G$-bundles with holomorphic connection having simple poles along marked points, including the correspondence with $G$-representations of the fundamental group. One of the main results, proved in the second part, asserts that the space of certain $G$-opers with real monodromy forms a discrete set. This fact generalizes the discreteness theorem for real projective structures, already proved by G. Faltings. As an application, we establish the Eichler-Shimura isomorphism for each $\mathrm{PSL}_2$-oper with real monodromy. The resulting decomposition of the (parabolic) de Rham cohomology group of its symmetric product defines a polarized real Hodge structure.


title: PrNet: A Neural Network for Correcting Pseudoranges to Improve Positioning with Android Raw GNSS Measurements

abstract: We present a neural network for mitigating biased errors in pseudoranges to improve localization performance with data collected from mobile phones. A satellite-wise Multilayer Perceptron (MLP) is designed to regress the pseudorange bias correction from six satellite, receiver, context-related features derived from Android raw Global Navigation Satellite System (GNSS) measurements. To train the MLP, we carefully calculate the target values of pseudorange bias using location ground truth and smoothing techniques and optimize a loss function involving the estimation residuals of smartphone clock bias. The corrected pseudoranges are then used by a model-based localization engine to compute locations. The Google Smartphone Decimeter Challenge (GSDC) dataset, which contains Android smartphone data collected from both rural and urban areas, is utilized for evaluation. Both fingerprinting and cross-trace localization results demonstrate that our proposed method outperforms model-based and state-of-the-art data-driven approaches.


title: Dynamically Assisted Tunneling in the Floquet Picture

abstract: We study how tunneling through a potential barrier $V(x)$ can be enhanced by an additional harmonically oscillating electric field ${\mathfrak E}(t)={\mathfrak E}_0\cos(\omega t)$. To this end, we transform into the Kramers-Henneberger frame and calculate the coupled Floquet channels numerically. We find distinct signatures of resonances when the incident energy $E$ equals the driving frequency $\omega=E$ which clearly shows the breakdown of the time-averaged potential approximation. As a simple model for experimental applications (e.g., in solid state physics), we study the rectangular potential, which can also be benchmarked with respect to analytical results. Finally, we consider the truncated Coulomb potential relevant for nuclear fusion.


title: BOMs Away! Inside the Minds of Stakeholders: A Comprehensive Study of Bills of Materials for Software Systems

abstract: Software Bills of Materials (SBOMs) have emerged as tools to facilitate the management of software dependencies, vulnerabilities, licenses, and the supply chain. While significant effort has been devoted to increasing SBOM awareness and developing SBOM formats and tools, recent studies have shown that SBOMs are still an early technology not yet adequately adopted in practice. Expanding on previous research, this paper reports a comprehensive study that investigates the current challenges stakeholders encounter when creating and using SBOMs. The study surveyed 138 practitioners belonging to five stakeholder groups (practitioners familiar with SBOMs, members of critical open source projects, AI/ML, cyber-physical systems, and legal practitioners) using differentiated questionnaires, and interviewed 8 survey respondents to gather further insights about their experience. We identified 12 major challenges facing the creation and use of SBOMs, including those related to the SBOM content, deficiencies in SBOM tools, SBOM maintenance and verification, and domain-specific challenges. We propose and discuss 4 actionable solutions to the identified challenges and present the major avenues for future research and development.


title: Boolformer: Symbolic Regression of Logic Functions with Transformers

abstract: In this work, we introduce Boolformer, the first Transformer architecture trained to perform end-to-end symbolic regression of Boolean functions. First, we show that it can predict compact formulas for complex functions which were not seen during training, when provided a clean truth table. Then, we demonstrate its ability to find approximate expressions when provided incomplete and noisy observations. We evaluate the Boolformer on a broad set of real-world binary classification datasets, demonstrating its potential as an interpretable alternative to classic machine learning methods. Finally, we apply it to the widespread task of modelling the dynamics of gene regulatory networks. Using a recent benchmark, we show that Boolformer is competitive with state-of-the art genetic algorithms with a speedup of several orders of magnitude. Our code and models are available publicly.


title: Rational Points on Generic Marked Hypersurfaces

abstract: Over fields of characteristic zero, we show that for $n=1,d\geq4$ or $n=2,d\geq5$ or $n\geq3, d\geq 2n$, the generic $m$-marked degree-$d$ hypersurface in $\mathbb{P}^{n+1}$ admits the $m$ marked points as all the rational points. Over arbitrary fields, we show that for $n=1,d\geq4$ or $n\geq2, d\geq 2n+3$, the identiy map is the only rational self-map of the generic degree-$d$ hypersurface in $\mathbb{P}^{n+1}$.


title: A mixed quasi-trace surface finite element method for the Laplace-Beltrami problem

abstract: Trace finite element methods have become a popular option for solving surface partial differential equations, especially in problems where surface and bulk effects are coupled. In such methods a surface mesh is formed by approximately intersecting the continuous surface on which the PDE is posed with a three-dimensional (bulk) tetrahedral mesh. In classical $H^1$-conforming trace methods, the surface finite element space is obtained by restricting a bulk finite element space to the surface mesh. It is not clear how to carry out a similar procedure in order to obtain other important types of finite element spaces such as $H({\rm div})$-conforming spaces. Following previous work of Olshanskii, Reusken, and Xu on $H^1$-conforming methods, we develop a ``quasi-trace'' mixed method for the Laplace-Beltrami problem. The finite element mesh is taken to be the intersection of the surface with a regular tetrahedral bulk mesh as previously described, resulting in a surface triangulation that is highly unstructured and anisotropic but satisfies a classical maximum angle condition. The mixed method is then employed on this mesh. Optimal error estimates with respect to the bulk mesh size are proved along with superconvergent estimates for the projection of the scalar error and a postprocessed scalar approximation.


title: Observation of non-planar dust acoustic solitary wave in a strongly coupled dusty plasma

abstract: The nonlinear evolution and propagation of a stable dust acoustic solitary wave (DASW) in a non-planar geometry is investigated here. The experiment is performed in a strongly coupled dusty plasma consisting of monodisperse micron particles levitated in the sheath of a capacitively coupled RF argon plasma. The non-planar waves are generated with the help of a cylindrical conducting exciter pin placed at the centre of the homogeneous dust cloud. A negative excitation pulse is used to create a dust void and a dust density perturbation simultaneously around the exciter. From the edge of the void, the density perturbation propagates as a nonlinear (cylindrical) non-planar dust acoustic solitary wave. The characteristics of the solitary wave are measured using image analysis of the recorded video of wave propagation. Numerical solution of the modified Korteweg de Vries (KdV) equation with an additional term to take care of the non-planar geometry is compared with the experimental observation. The wave amplitude and width are measured as a function of time and compared with the theoretical predictions.


title: Physics-informed State-space Neural Networks for Transport Phenomena

abstract: This work introduces Physics-informed State-space neural network Models (PSMs), a novel solution to achieving real-time optimization, flexibility, and fault tolerance in autonomous systems, particularly in transport-dominated systems such as chemical, biomedical, and power plants. Traditional data-driven methods fall short due to a lack of physical constraints like mass conservation; PSMs address this issue by training deep neural networks with sensor data and physics-informing using components' Partial Differential Equations (PDEs), resulting in a physics-constrained, end-to-end differentiable forward dynamics model. Through two in silico experiments -- a heated channel and a cooling system loop -- we demonstrate that PSMs offer a more accurate approach than a purely data-driven model. In the former experiment, PSMs demonstrated significantly lower average root-mean-square errors across test datasets compared to a purely data-driven neural network, with reductions of 44 %, 48 %, and 94 % in predicting pressure, velocity, and temperature, respectively. Beyond accuracy, PSMs demonstrate a compelling multitask capability, making them highly versatile. In this work, we showcase two: supervisory control of a nonlinear system through a sequentially updated state-space representation and the proposal of a diagnostic algorithm using residuals from each of the PDEs. The former demonstrates PSMs' ability to handle constant and time-dependent constraints, while the latter illustrates their value in system diagnostics and fault detection. We further posit that PSMs could serve as a foundation for Digital Twins, constantly updated digital representations of physical systems.

categories: cs.LG cs.SY eess.SY physics.comp-ph physics.flu-dyn


title: SupeRBNN: Randomized Binary Neural Network Using Adiabatic Superconductor Josephson Devices

abstract: Adiabatic Quantum-Flux-Parametron (AQFP) is a superconducting logic with extremely high energy efficiency. By employing the distinct polarity of current to denote logic `0' and `1', AQFP devices serve as excellent carriers for binary neural network (BNN) computations. Although recent research has made initial strides toward developing an AQFP-based BNN accelerator, several critical challenges remain, preventing the design from being a comprehensive solution. In this paper, we propose SupeRBNN, an AQFP-based randomized BNN acceleration framework that leverages software-hardware co-optimization to eventually make the AQFP devices a feasible solution for BNN acceleration. Specifically, we investigate the randomized behavior of the AQFP devices and analyze the impact of crossbar size on current attenuation, subsequently formulating the current amplitude into the values suitable for use in BNN computation. To tackle the accumulation problem and improve overall hardware performance, we propose a stochastic computing-based accumulation module and a clocking scheme adjustment-based circuit optimization method. We validate our SupeRBNN framework across various datasets and network architectures, comparing it with implementations based on different technologies, including CMOS, ReRAM, and superconducting RSFQ/ERSFQ. Experimental results demonstrate that our design achieves an energy efficiency of approximately 7.8x10^4 times higher than that of the ReRAM-based BNN framework while maintaining a similar level of model accuracy. Furthermore, when compared with superconductor-based counterparts, our framework demonstrates at least two orders of magnitude higher energy efficiency.


title: The Sigma invariants for the Golden Mean Thompson group

abstract: We use a method of Bieri, Geoghegan and Kochloukova to calculate the BNSR-invariants for the irrational slope Thompson's group $F_{\tau}$. To do so we establish conditions under which the Sigma invariants coincide with those of a subgroup of finite index, addressing a problem posed by Strebel.


title: Can We Reliably Improve the Robustness to Image Acquisition of Remote Sensing of PV Systems?

abstract: Photovoltaic (PV) energy is crucial for the decarbonization of energy systems. Due to the lack of centralized data, remote sensing of rooftop PV installations is the best option to monitor the evolution of the rooftop PV installed fleet at a regional scale. However, current techniques lack reliability and are notably sensitive to shifts in the acquisition conditions. To overcome this, we leverage the wavelet scale attribution method (WCAM), which decomposes a model's prediction in the space-scale domain. The WCAM enables us to assess on which scales the representation of a PV model rests and provides insights to derive methods that improve the robustness to acquisition conditions, thus increasing trust in deep learning systems to encourage their use for the safe integration of clean energy in electric systems.


title: Regionally Additive Models: Explainable-by-design models minimizing feature interactions

abstract: Generalized Additive Models (GAMs) are widely used explainable-by-design models in various applications. GAMs assume that the output can be represented as a sum of univariate functions, referred to as components. However, this assumption fails in ML problems where the output depends on multiple features simultaneously. In these cases, GAMs fail to capture the interaction terms of the underlying function, leading to subpar accuracy. To (partially) address this issue, we propose Regionally Additive Models (RAMs), a novel class of explainable-by-design models. RAMs identify subregions within the feature space where interactions are minimized. Within these regions, it is more accurate to express the output as a sum of univariate functions (components). Consequently, RAMs fit one component per subregion of each feature instead of one component per feature. This approach yields a more expressive model compared to GAMs while retaining interpretability. The RAM framework consists of three steps. Firstly, we train a black-box model. Secondly, using Regional Effect Plots, we identify subregions where the black-box model exhibits near-local additivity. Lastly, we fit a GAM component for each identified subregion. We validate the effectiveness of RAMs through experiments on both synthetic and real-world datasets. The results confirm that RAMs offer improved expressiveness compared to GAMs while maintaining interpretability.


title: Coherent anharmonicity transfer from matter to light in the THz regime

abstract: Optical nonlinearities are fundamental in several types of optical information processing protocols. However, the high laser intensities needed for implementing phase nonlinearities using conventional optical materials represent a challenge for nonlinear optics in the few-photon regime. We introduce an infrared cavity quantum electrodynamics (QED) approach for imprinting nonlinear phase shifts on individual THz pulses in reflection setups, conditional on the input power. Power-dependent phase shifts on the order of $ 0.1\, \pi$ can be achieved with femtosecond pulses of only a few $\mu$W input power. The proposed scheme involves a small number of intersubband quantum well transition dipoles evanescently coupled to the near field of an infrared resonator. The field evolution is nonlinear due to the dynamical transfer of spectral anharmonicity from material dipoles to the infrared vacuum, through an effective dipolar chirping mechanism that transiently detunes the quantum well transitions from the vacuum field, leading to photon blockade. We develop analytical theory that describes the dependence of the imprinted nonlinear phase shift on relevant physical parameters. For a pair of quantum well dipoles, the phase control scheme is shown to be robust with respect to inhomogeneities in the dipole transition frequencies and relaxation rates. Numerical results based on the Lindblad quantum master equation validate the theory in the regime where the material dipoles are populated up to the second excitation manifold. In contrast with conventional QED schemes for phase control that require strong light-matter interaction, the proposed phase nonlinearity works best in weak coupling, increasing the prospects for its experimental realization using current nanophotonic technology.


title: A Multi-label Classification Approach to Increase Expressivity of EMG-based Gesture Recognition

abstract: Objective: The objective of the study is to efficiently increase the expressivity of surface electromyography-based (sEMG) gesture recognition systems. Approach: We use a problem transformation approach, in which actions were subset into two biomechanically independent components - a set of wrist directions and a set of finger modifiers. To maintain fast calibration time, we train models for each component using only individual gestures, and extrapolate to the full product space of combination gestures by generating synthetic data. We collected a supervised dataset with high-confidence ground truth labels in which subjects performed combination gestures while holding a joystick, and conducted experiments to analyze the impact of model architectures, classifier algorithms, and synthetic data generation strategies on the performance of the proposed approach. Main Results: We found that a problem transformation approach using a parallel model architecture in combination with a non-linear classifier, along with restricted synthetic data generation, shows promise in increasing the expressivity of sEMG-based gestures with a short calibration time. Significance: sEMG-based gesture recognition has applications in human-computer interaction, virtual reality, and the control of robotic and prosthetic devices. Existing approaches require exhaustive model calibration. The proposed approach increases expressivity without requiring users to demonstrate all combination gesture classes. Our results may be extended to larger gesture vocabularies and more complicated model architectures.


title: SR-PredictAO: Session-based Recommendation with High-Capability Predictor Add-On

abstract: Session-based recommendation, aiming at making the prediction of the user's next item click based on the information in a single session only even in the presence of some random user's behavior, is a complex problem. This complex problem requires a high-capability model of predicting the user's next action. Most (if not all) existing models follow the encoder-predictor paradigm where all studies focus on how to optimize the encoder module extensively in the paradigm but they ignore how to optimize the predictor module. In this paper, we discover the existing critical issue of the low-capability predictor module among existing models. Motivated by this, we propose a novel framework called \emph{\underline{S}ession-based \underline{R}ecommendation with \underline{Pred}ictor \underline{A}dd-\underline{O}n} (SR-PredictAO). In this framework, we propose a high-capability predictor module which could alleviate the effect of random user's behavior for prediction. It is worth mentioning that this framework could be applied to any existing models, which could give opportunities for further optimizing the framework. Extensive experiments on two real benchmark datasets for three state-of-the-art models show that \emph{SR-PredictAO} out-performs the current state-of-the-art model by up to 2.9\% in HR@20 and 2.3\% in MRR@20. More importantly, the improvement is consistent across almost all the existing models on all datasets, which could be regarded as a significant contribution in the field.


title: Generating robotic elliptical excisions with human-like tool-tissue interactions

abstract: In surgery, the application of appropriate force levels is critical for the success and safety of a given procedure. While many studies are focused on measuring in situ forces, little attention has been devoted to relating these observed forces to surgical techniques. Answering questions like "Can certain changes to a surgical technique result in lower forces and increased safety margins?" could lead to improved surgical practice, and importantly, patient outcomes. However, such studies would require a large number of trials and professional surgeons, which is generally impractical to arrange. Instead, we show how robots can learn several variations of a surgical technique from a smaller number of surgical demonstrations and interpolate learnt behaviour via a parameterised skill model. This enables a large number of trials to be performed by a robotic system and the analysis of surgical techniques and their downstream effects on tissue. Here, we introduce a parameterised model of the elliptical excision skill and apply a Bayesian optimisation scheme to optimise the excision behaviour with respect to expert ratings, as well as individual characteristics of excision forces. Results show that the proposed framework can successfully align the generated robot behaviour with subjects across varying levels of proficiency in terms of excision forces.


title: De-authentication using Ambient Light Sensor

abstract: While user authentication happens before initiating or resuming a login session, de-authentication detects the absence of a previously-authenticated user to revoke her currently active login session. The absence of proper de-authentication can lead to well-known lunchtime attacks, where a nearby adversary takes over a carelessly departed user's running login session. The existing solutions for automatic de-authentication have distinct practical limitations, e.g., extraordinary deployment requirements or high initial cost of external equipment. In this paper, we propose "DE-authentication using Ambient Light sensor" (DEAL), a novel, inexpensive, fast, and user-friendly de-authentication approach. DEAL utilizes the built-in ambient light sensor of a modern computer to determine if the user is leaving her work-desk. DEAL, by design, is resilient to natural shifts in lighting conditions and can be configured to handle abrupt changes in ambient illumination (e.g., due to toggling of room lights). We collected data samples from 4800 sessions with 120 volunteers in 4 typical workplace settings and conducted a series of experiments to evaluate the quality of our proposed approach thoroughly. Our results show that DEAL can de-authenticate a departing user within 4 seconds with a hit rate of 89.15% and a fall-out of 7.35%. Finally, bypassing DEAL to launch a lunchtime attack is practically infeasible as it requires the attacker to either take the user's position within a few seconds or manipulate the sensor readings sophisticatedly in real-time.


title: Optimizing the Wasserstein GAN for TeV Gamma Ray Detection with VERITAS

abstract: The observation of very-high-energy (VHE, E>100 GeV) gamma rays is mediated by the imaging atmospheric Cherenkov technique (IACTs). At these energies, gamma rays interact with the atmosphere to create a cascade of electromagnetic air showers that are visible to the IACT cameras on the ground with distinct morphological and temporal features. However, hadrons with significantly higher incidence rates are also imaged with similar features, and must be distinguished with handpicked parameters extracted from the images. The advent of sophisticated deep learning models has enabled an alternative image analysis technique that has been shown to improve the detection of gamma rays, by improving background rejection. In this study, we propose an unsupervised Wasserstein Generative Adversarial Network (WGAN) framework trained on normalized, uncleaned stereoscopic shower images of real events from the VERITAS observatory to extract the landscape of their latent space and optimize against the corresponding inferred latent space of simulated gamma-ray events. We aim to develop a data driven approach to guide the understanding of the extracted features of real gamma-ray images, and will optimize the WGAN to calculate a probabilistic prediction of "gamma-ness" per event. In this poster, we present results of ongoing work toward the optimization of the WGAN, including the exploration of conditional parameters and multi-task learning.


title: Composition-based phase stability model for multicomponent metal alloys

abstract: The vastness of the space of possible multicomponent metal alloys is hoped to provide improved structural materials but also challenges traditional, low-throughput materials design efforts. Computational screening could narrow this search space if models for materials stability and desired properties exist that are sufficiently inexpensive and accurate to efficiently guide experiments. Towards this effort, here we develop a method to rapidly assess the thermodynamic stability of a metal alloy composition of arbitrary number of elements, stoichiometry, and temperature based on density functional theory (DFT) data. In our model, the Gibbs free energy of the solid solution contains binary enthalpy contributions and ideal configurational entropy, whereas only enthalpy is considered for intermetallic competing phases. Compared to a past model for predicting the formation of single-phase high-entropy alloys [Phys. Rev. X 5, 011041 (2015)], our method is similarly inexpensive, since it assesses enthalpies based on existing DFT data, but less heuristic, more broadly applicable, and more accurate (70--75%) compared to experiment.


title: Model-based Deep Learning for High-Dimensional Periodic Structures

abstract: This work presents a deep learning surrogate model for the fast simulation of high-dimensional frequency selective surfaces. We consider unit-cells which are built as multiple concatenated stacks of screens and their design requires the control over many geometrical degrees of freedom. Thanks to the introduction of physical insight into the model, it can produce accurate predictions of the S-parameters of a certain structure after training with a reduced dataset.The proposed model is highly versatile and it can be used with any kind of frequency selective surface, based on either perforations or patches of any arbitrary geometry. Numeric examples are presented here for the case of frequency selective surfaces composed of screens with rectangular perforations, showing an excellent agreement between the predicted performance and such obtained with a full-wave simulator.


title: Towards Answering Health-related Questions from Medical Videos: Datasets and Approaches

abstract: The increase in the availability of online videos has transformed the way we access information and knowledge. A growing number of individuals now prefer instructional videos as they offer a series of step-by-step procedures to accomplish particular tasks. The instructional videos from the medical domain may provide the best possible visual answers to first aid, medical emergency, and medical education questions. Toward this, this paper is focused on answering health-related questions asked by the public by providing visual answers from medical videos. The scarcity of large-scale datasets in the medical domain is a key challenge that hinders the development of applications that can help the public with their health-related questions. To address this issue, we first proposed a pipelined approach to create two large-scale datasets: HealthVidQA-CRF and HealthVidQA-Prompt. Later, we proposed monomodal and multimodal approaches that can effectively provide visual answers from medical videos to natural language questions. We conducted a comprehensive analysis of the results, focusing on the impact of the created datasets on model training and the significance of visual features in enhancing the performance of the monomodal and multi-modal approaches. Our findings suggest that these datasets have the potential to enhance the performance of medical visual answer localization tasks and provide a promising future direction to further enhance the performance by using pre-trained language-vision models.


title: Conformations, correlations, and instabilities of a flexible fiber in an active fluid

abstract: Fluid-structure interactions between active and passive components are important for many biological systems to function. A particular example is chromatin in the cell nucleus, where ATP-powered processes drive coherent motions of the chromatin fiber over micron lengths. Motivated by this system, we develop a multiscale model of a long flexible polymer immersed in a suspension of active force dipoles as an analog to a chromatin fiber in an active fluid -- the nucleoplasm. Linear analysis identifies an orientational instability driven by hydrodynamic and alignment interactions between the fiber and the suspension, and numerical simulations show activity can drive coherent motions and structured conformations. These results demonstrate how active and passive components, connected through fluid-structure interactions, can generate coherent structures and self-organize on large scales.


title: Smooth Nash Equilibria: Algorithms and Complexity

abstract: A fundamental shortcoming of the concept of Nash equilibrium is its computational intractability: approximating Nash equilibria in normal-form games is PPAD-hard. In this paper, inspired by the ideas of smoothed analysis, we introduce a relaxed variant of Nash equilibrium called $\sigma$-smooth Nash equilibrium, for a smoothness parameter $\sigma$. In a $\sigma$-smooth Nash equilibrium, players only need to achieve utility at least as high as their best deviation to a $\sigma$-smooth strategy, which is a distribution that does not put too much mass (as parametrized by $\sigma$) on any fixed action. We distinguish two variants of $\sigma$-smooth Nash equilibria: strong $\sigma$-smooth Nash equilibria, in which players are required to play $\sigma$-smooth strategies under equilibrium play, and weak $\sigma$-smooth Nash equilibria, where there is no such requirement. We show that both weak and strong $\sigma$-smooth Nash equilibria have superior computational properties to Nash equilibria: when $\sigma$ as well as an approximation parameter $\epsilon$ and the number of players are all constants, there is a constant-time randomized algorithm to find a weak $\epsilon$-approximate $\sigma$-smooth Nash equilibrium in normal-form games. In the same parameter regime, there is a polynomial-time deterministic algorithm to find a strong $\epsilon$-approximate $\sigma$-smooth Nash equilibrium in a normal-form game. These results stand in contrast to the optimal algorithm for computing $\epsilon$-approximate Nash equilibria, which cannot run in faster than quasipolynomial-time. We complement our upper bounds by showing that when either $\sigma$ or $\epsilon$ is an inverse polynomial, finding a weak $\epsilon$-approximate $\sigma$-smooth Nash equilibria becomes computationally intractable.


title: Induced subgraphs and tree decompositions XII. Grid theorem for pinched graphs

abstract: Given an integer $c\geq 1$, we say a graph $G$ is $c$-pinched if $G$ does not contain an induced subgraph consisting of $c$ cycles, all going through a single common vertex and otherwise pairwise disjoint and with no edges between them. What can be said about the structure of $c$-pinched graphs? For instance, $1$-pinched graphs are exactly graphs of treewidth $1$. However, bounded treewidth for $c>1$ is immediately seen to be a false hope because complete graphs, complete bipartite graphs, subdivided walls and line-graphs of subdivided walls are all examples of $2$-pinched graphs with arbitrarily large treewidth. There is even a fifth obstruction for larger values of $c$, discovered by Pohoata and later independently by Davies, consisting of $3$-pinched graphs with unbounded treewidth and no large induced subgraph isomorphic to any of the first four obstructions. We fuse the above five examples into a grid-type theorem fully describing the unavoidable induced subgraphs of pinched graphs with large treewidth. More precisely, we prove that for every integer $c\geq 1$, a $c$-pinched graph $G$ has large treewidth if and only if $G$ contains one of the following as an induced subgraph: a large complete graph, a large complete bipartite graph, a subdivision of a large wall, the line-graph of a subdivision of a large wall, or a large graph from the Pohoata-Davies construction. Our main result also generalizes to an extension of pinched graphs where the lengths of excluded cycles are lower-bounded.


title: Generalized Mie theory for full-wave numerical calculations of scattering near-field optical microscopy with arbitrary geometries

abstract: Scattering-type scanning near-field optical microscopy is becoming a premier method for the nanoscale optical investigation of materials well beyond the diffraction limit. A number of popular numerical methods exist to predict the near-field contrast for axisymmetric configurations of scatterers on a surface in the quasi-electrostatic approximation. Here, a fully electrodynamic approach is given for the calculation of near-field contrast of several scatterers in arbitrary configuration, based on the generalized Mie scattering method. Examples for the potential of this new approach are given by showing the coupling of hyperbolic phonon polaritons in hexagonal boron nitride layers and showing enhanced scattering in core-shell systems. In general, this method enables the numerical calculation of the near-field contrast in a variety of strongly resonant scatterers and is able to accurately recreate spatial near-field maps.


title: Exact black hole solutions in higher-order scalar-tensor theories

abstract: In this chapter, we discuss explicit black hole solutions in higher-order scalar-tensor theories. After a brief recap of no-hair theorems, we start our discussion by so-called stealth solutions present in theories with parity and shift symmetry. Stealth solutions are such that their metric are Ricci flat General Relativity solutions, but they are accompanied by a non-trivial scalar field, in both spherically-symmetric and rotating cases. The stealth metrics then enable to construct an analytic stationary solution of scalar-tensor theory which is called disformed Kerr metric. This solution constitutes a measurable departure from the usual Kerr geometry of GR. We discuss within parity and shift symmetric theories several non-stealth solutions. We then consider scalar-tensor theories stemming from a Kaluza-Klein reduction of a higher-dimensional Lovelock theory. These theories encompass all Horndeski functionals and hence go beyond parity and shift symmetry. Reduction and singular limits allow one to obtain non-stealth black holes with differing interesting properties which are not Ricci flat metrics. We analyse the solutions obtained and classify them with respect to the geometry of the internal space according to their Kaluza-Klein origin.


title: TeV Detection of the Extreme HSP Blazar RBS 1366 by VERITAS

abstract: Extreme high-synchrotron-peak blazars (EHSPs) are postulated as the most efficient and extreme particle accelerators in the universe but remain enigmatic as a possible new class of TeV gamma-ray blazars. Blazars are active galactic nuclei (AGNs) with jets of relativistic particles that generate non-thermal emission pointed along the line-of-sight. Their spectral energy distribution (SED) are characterized by synchrotron and inverse-Compton peaks, indicating acceleration of leptonic and possibly hadronic particle populations in the jet. EHSPs are characterized by a peak synchrotron frequency > 1017 Hz with their Compton peak expected to fall in the TeV range. Indeed, the handful of EHSPs detected by Imaging Air Cherenkov Telescopes (IACTs) have presented challenges where some may be a high-frequency extension of the blazar sequence while others peaking around 10 TeV may represent a different class of TeV emitters. Detections of the high-energy and very-high-energy (HE; E > 100 MeV, VHE; E > 100 GeV) components of the Compton peak will play an important role in constraining the acceleration model derived from the SED. We present the discovery of TeV emission from RBS 1366, a candidate EHSP, by the VERITAS observatory. Using HE and VHE data from the Fermi-LAT and VERITAS observatories, respectively, we characterize the detection by providing an SED and model fit in the context of other EHSP candidates. Our work confirms the status of RBS 1366 as an EHBL.


title: A double-clad ytterbium-doped tapered fiber with circular birefringence as a gain medium for structured light

abstract: Amplifying radially and azimuthally polarized beams is a significant challenge due to the instability of the complex beam shape and polarization in inhomogeneous environment. In this Letter, we demonstrated experimentally an efficient approach to directly amplify cylindrical-vector beams with axially symmetric polarization and doughnut-shaped intensity profile in a picosecond MOPA system based on a double-clad ytterbium-doped tapered fiber. To prevent polarization and beam shape distortion during amplification, for the first time to the best of our knowledge, we proposed using the spun architecture of the tapered fiber. In contrast to an isotropic fiber architecture, a spun configuration possessing nearly-circular polarization eigenstates supports stable wavefront propagation. Applying this technique, we amplified the cylindrical-vector beam up to 22 W of average power with 10 ps pulses at a central wavelength of 1030 nm and a repetition rate of 15 MHz, maintaining both mode and polarization stability.


title: Dynamical percolation transition in vegetation patterns from satellite images

abstract: We analyze the vegetation growth dynamics with a stochastic cellular automata model and in real-world data obtained from satellite images. We look for areas where vegetation breaks down into clusters, comparing it to a percolation transition that happens in the cellular automata model and is an early warning signal of land degradation. We use satellite imagery data such as the Normalized Difference Vegetation Index (NDVI) and Leaf Area Index (LAI). We consider the periodic effect of seasons as a periodic environmental stress, and show numerically how the vegetation can be resilient to high stress during seasonal fluctuations. We qualitatively recognize these effects in real-world vegetation images. Finally, we qualitatively evaluate the environmental stress in land images by considering both the vegetation density and its clusterization.


title: Ground state of Bose gases interacting through singular potentials

abstract: We consider a system of $N$ bosons on the three-dimensional unit torus. The particles interact through repulsive pair interactions of the form $N^{3\beta-1} v (N^\beta x)$ for $\beta \in (0,1)$. We prove the next order correction to Bogoliubov theory for the ground state and the ground state energy.


title: Bridging the Gaps of Both Modality and Language: Synchronous Bilingual CTC for Speech Translation and Speech Recognition

abstract: In this study, we present synchronous bilingual Connectionist Temporal Classification (CTC), an innovative framework that leverages dual CTC to bridge the gaps of both modality and language in the speech translation (ST) task. Utilizing transcript and translation as concurrent objectives for CTC, our model bridges the gap between audio and text as well as between source and target languages. Building upon the recent advances in CTC application, we develop an enhanced variant, BiL-CTC+, that establishes new state-of-the-art performances on the MuST-C ST benchmarks under resource-constrained scenarios. Intriguingly, our method also yields significant improvements in speech recognition performance, revealing the effect of cross-lingual learning on transcription and demonstrating its broad applicability. The source code is available at https://github.com/xuchennlp/S2T.


title: Distributed Conjugate Gradient Method via Conjugate Direction Tracking

abstract: We present a distributed conjugate gradient method for distributed optimization problems, where each agent computes an optimal solution of the problem locally without any central computation or coordination, while communicating with its immediate, one-hop neighbors over a communication network. Each agent updates its local problem variable using an estimate of the average conjugate direction across the network, computed via a dynamic consensus approach. Our algorithm enables the agents to use uncoordinated step-sizes. We prove convergence of the local variable of each agent to the optimal solution of the aggregate optimization problem, without requiring decreasing step-sizes. In addition, we demonstrate the efficacy of our algorithm in distributed state estimation problems, and its robust counterparts, where we show its performance compared to existing distributed first-order optimization methods.


title: Smooth ECE: Principled Reliability Diagrams via Kernel Smoothing

abstract: Calibration measures and reliability diagrams are two fundamental tools for measuring and interpreting the calibration of probabilistic predictors. Calibration measures quantify the degree of miscalibration, and reliability diagrams visualize the structure of this miscalibration. However, the most common constructions of reliability diagrams and calibration measures -- binning and ECE -- both suffer from well-known flaws (e.g. discontinuity). We show that a simple modification fixes both constructions: first smooth the observations using an RBF kernel, then compute the Expected Calibration Error (ECE) of this smoothed function. We prove that with a careful choice of bandwidth, this method yields a calibration measure that is well-behaved in the sense of (B{\l}asiok, Gopalan, Hu, and Nakkiran 2023a) -- a consistent calibration measure. We call this measure the SmoothECE. Moreover, the reliability diagram obtained from this smoothed function visually encodes the SmoothECE, just as binned reliability diagrams encode the BinnedECE. We also provide a Python package with simple, hyperparameter-free methods for measuring and plotting calibration: `pip install relplot\`.


title: t-EER: Parameter-Free Tandem Evaluation of Countermeasures and Biometric Comparators

abstract: Presentation attack (spoofing) detection (PAD) typically operates alongside biometric verification to improve reliablity in the face of spoofing attacks. Even though the two sub-systems operate in tandem to solve the single task of reliable biometric verification, they address different detection tasks and are hence typically evaluated separately. Evidence shows that this approach is suboptimal. We introduce a new metric for the joint evaluation of PAD solutions operating in situ with biometric verification. In contrast to the tandem detection cost function proposed recently, the new tandem equal error rate (t-EER) is parameter free. The combination of two classifiers nonetheless leads to a \emph{set} of operating points at which false alarm and miss rates are equal and also dependent upon the prevalence of attacks. We therefore introduce the \emph{concurrent} t-EER, a unique operating point which is invariable to the prevalence of attacks. Using both modality (and even application) agnostic simulated scores, as well as real scores for a voice biometrics application, we demonstrate application of the t-EER to a wide range of biometric system evaluations under attack. The proposed approach is a strong candidate metric for the tandem evaluation of PAD systems and biometric comparators.

categories: cs.CR cs.LG cs.SD eess.AS eess.IV stat.CO


title: Model-based clustering using non-parametric Hidden Markov Models

abstract: Thanks to their dependency structure, non-parametric Hidden Markov Models (HMMs) are able to handle model-based clustering without specifying group distributions. The aim of this work is to study the Bayes risk of clustering when using HMMs and to propose associated clustering procedures. We first give a result linking the Bayes risk of classification and the Bayes risk of clustering, which we use to identify the key quantity determining the difficulty of the clustering task. We also give a proof of this result in the i.i.d. framework, which might be of independent interest. Then we study the excess risk of the plugin classifier. All these results are shown to remain valid in the online setting where observations are clustered sequentially. Simulations illustrate our findings.


title: ContTune: Continuous Tuning by Conservative Bayesian Optimization for Distributed Stream Data Processing Systems

abstract: The past decade has seen rapid growth of distributed stream data processing systems. Under these systems, a stream application is realized as a Directed Acyclic Graph (DAG) of operators, where the level of parallelism of each operator has a substantial impact on its overall performance. However, finding optimal levels of parallelism remains challenging. Most existing methods are heavily coupled with the topological graph of operators, unable to efficiently tune under-provisioned jobs. They either insufficiently use previous tuning experience by treating successively tuning independently, or explore the configuration space aggressively, violating the Service Level Agreements (SLA). To address the above problems, we propose ContTune, a continuous tuning system for stream applications. It is equipped with a novel Big-small algorithm, in which the Big phase decouples the tuning from the topological graph by decomposing the job tuning problem into sub-problems that can be solved concurrently. We propose a conservative Bayesian Optimization (CBO) technique in the Small phase to speed up the tuning process by utilizing the previous observations. It leverages the state-of-the-art (SOTA) tuning method as conservative exploration to avoid SLA violations. Experimental results show that ContTune reduces up to 60.75% number of reconfigurations under synthetic workloads and up to 57.5% number of reconfigurations under real workloads, compared to the SOTA method DS2.


title: Unitary Coupled-Cluster for Quantum Computation of Molecular Properties in a Strong Magnetic Field

abstract: In truncated coupled-cluster (CC) theories, non-variational and/or generally complex ground-state energies can occur. This is due to the non-Hermitian nature of the similarity transformed Hamiltonian matrix in combination with CC truncation. For chemical problems that deal with real-valued Hamiltonian matrices, complex CC energies rarely occur. However, for complex-valued Hamiltonian matrices, such as those that arise in the presence of strong magnetic fields, complex CC energies can be regularly observed unless certain symmetry conditions are fulfilled. Therefore, in the presence of magnetic fields, it is desirable to pursue CC methods that are guaranteed to give upper-bound, real-valued energies. In this work, we present the first application of unitary CC (UCC) to chemical systems in a strong magnetic field. This is achieved utilizing the variational quantum eigensolver (VQE) algorithm applied to the unitary coupled-cluster singles and doubles (UCCSD) method. We benchmark the method on the H$_2$ molecule in a strong magnetic field, and then calculate UCCSD energies for the H$_4$ molecule as a function of both geometry and field angle. We show that while standard CCSD can yield generally complex energies that are not an upper-bound to the true energy, UCCSD always results in variational and real-valued energies. We also show that the imaginary components of the CCSD energy are largest in the strongly correlated region. Lastly, the UCCSD calculations capture a large percentage of the correlation energy.


title: Algorithmic complexity and soficness of shifts in dimension two

abstract: In this manuscript we study properties of multidimensional shifts. More precisely, we study the necessary and sufficient conditions for a shift to be sofic, i.e. the boundary between sofic shifts and effective ones. To this end, we use different versions of algorithmic complexity (a.k.a. Kolmogorov complexity). In the first part of the work we suggest new necessary conditions of soficness for multidimensional shift. These conditions are expressed in terms of Kolmogorov complexity with bounded ressources. We discuss several applications of this technique. In particular, we construct an example of a two-dimensional effective and non sofic shift that has a very low combinatorial complexity : the number of global admissible N x N patterns grows only polynomially in N. We also show that the technique developed by S.Kass and K.Madden is equivalent to a special case of our method. In the second part, we discuss properties of subshifts defined in terms of density of letters. More specifically, we study two-dimensional subshifts $S(\rho)$ in the binary alphabet (white and black cells) where a configuration is admissible if every pattern of size N x N contains at most $N^\rho$ black cells. We show that $S(^\rho)$ is sofic for every $\rho<1$. Moreover, all effectif subshifts of these shifts are also sofic. The proof of this result is principally based on the construction of a self-simulating point-fixed tile set, with several new ingredients: an ad hoc model of computation based on a non deterministic cellular automaton (which allows to implement efficiently massively parallel calculations) and some properties of flows in a specific type of planar graphs.


title: Weakly-supervised Automated Audio Captioning via text only training

abstract: In recent years, datasets of paired audio and captions have enabled remarkable success in automatically generating descriptions for audio clips, namely Automated Audio Captioning (AAC). However, it is labor-intensive and time-consuming to collect a sufficient number of paired audio and captions. Motivated by the recent advances in Contrastive Language-Audio Pretraining (CLAP), we propose a weakly-supervised approach to train an AAC model assuming only text data and a pre-trained CLAP model, alleviating the need for paired target data. Our approach leverages the similarity between audio and text embeddings in CLAP. During training, we learn to reconstruct the text from the CLAP text embedding, and during inference, we decode using the audio embeddings. To mitigate the modality gap between the audio and text embeddings we employ strategies to bridge the gap during training and inference stages. We evaluate our proposed method on Clotho and AudioCaps datasets demonstrating its ability to achieve a relative performance of up to ~$83\%$ compared to fully supervised approaches trained with paired target data.


title: Electrical operation of hole spin qubits in planar MOS silicon quantum dots

abstract: Silicon hole quantum dots have been the subject of considerable attention thanks to their strong spin-orbit coupling enabling electrical control. The physics of silicon holes is qualitatively different from germanium holes and requires a separate theoretical description. In this work, we theoretically study the electrical control and coherence properties of silicon hole dots with different magnetic field orientations. We discuss possible experimental configurations to optimize the electric dipole spin resonance (EDSR) Rabi time, the phonon relaxation time, and the dephasing due to random telegraph noise. Our main findings are: (i) The in-plane $g$-factor is strongly influenced by the presence of the split-off band, as well as by any shear strain. The $g$-factor is a non-monotonic function of the top gate electric field, in agreement with recent experiments. This enables coherence sweet spots at specific values of the top gate field and specific magnetic field orientations. (ii) Even a small ellipticity (aspect ratios $\sim 1.2$) causes significant anisotropy in the in-plane $g$-factor, which can vary by $50\% - 100\%$ as the magnetic field is rotated in the plane. (iii) EDSR Rabi frequencies are comparable to Ge, and the ratio between the relaxation time and the EDSR Rabi time $\sim 10^5$. For an out-of-plane magnetic field the EDSR Rabi frequency is anisotropic with respect to the orientation of the driving electric field, varying by $\approx 20\%$ as the driving field is rotated in the plane. Our work aims to stimulate experiments by providing guidelines on optimizing configurations and geometries to achieve robust, fast and long-lived hole spin qubits in silicon.


title: ChaCha: Leveraging Large Language Models to Prompt Children to Share Their Emotions about Personal Events

abstract: Children typically learn to identify and express emotions through sharing their stories and feelings with others, particularly their family. However, it is challenging for parents or siblings to have emotional communication with children since children are still developing their communication skills. We present ChaCha, a chatbot that encourages and guides children to share personal events and associated emotions. ChaCha combines a state machine and large language models (LLMs) to keep the dialogue on track while carrying on free-form conversations. Through an exploratory study with 20 children (aged 8-12), we examine how ChaCha prompts children to share personal events and guides them to describe associated emotions. Participants perceived ChaCha as a close friend and shared their stories on various topics, such as family trips and personal achievements. Based on the findings, we discuss opportunities for leveraging LLMs to design child-friendly chatbots to support children in sharing emotions.


title: Adaptive Input-image Normalization for Solving the Mode Collapse Problem in GAN-based X-ray Images

abstract: Biomedical image datasets can be imbalanced due to the rarity of targeted diseases. Generative Adversarial Networks play a key role in addressing this imbalance by enabling the generation of synthetic images to augment datasets. It is important to generate synthetic images that incorporate a diverse range of features to accurately represent the distribution of features present in the training imagery. Furthermore, the absence of diverse features in synthetic images can degrade the performance of machine learning classifiers. The mode collapse problem impacts Generative Adversarial Networks' capacity to generate diversified images. Mode collapse comes in two varieties: intra-class and inter-class. In this paper, both varieties of the mode collapse problem are investigated, and their subsequent impact on the diversity of synthetic X-ray images is evaluated. This work contributes an empirical demonstration of the benefits of integrating the adaptive input-image normalization with the Deep Convolutional GAN and Auxiliary Classifier GAN to alleviate the mode collapse problems. Synthetically generated images are utilized for data augmentation and training a Vision Transformer model. The classification performance of the model is evaluated using accuracy, recall, and precision scores. Results demonstrate that the DCGAN and the ACGAN with adaptive input-image normalization outperform the DCGAN and ACGAN with un-normalized X-ray images as evidenced by the superior diversity scores and classification scores.


title: Bistable boundary conditions implying cusps

abstract: We consider generic families of gradient-like dynamical systems with a parameter space $P$ which is a 2-dimensional simply connected domain. We prove that if over the boundary of $P$ there is a S or Z shaped bifurcation graph containing two opposing fold bifurcation points while over the rest of the boundary there are no other bifurcation points then there is an odd number of cusps in the interior of $P$.


title: Bad Actor, Good Advisor: Exploring the Role of Large Language Models in Fake News Detection

abstract: Detecting fake news requires both a delicate sense of diverse clues and a profound understanding of the real-world background, which remains challenging for detectors based on small language models (SLMs) due to their knowledge and capability limitations. Recent advances in large language models (LLMs) have shown remarkable performance in various tasks, but whether and how LLMs could help with fake news detection remains underexplored. In this paper, we investigate the potential of LLMs in fake news detection. First, we conduct an empirical study and find that a sophisticated LLM such as GPT 3.5 could generally expose fake news and provide desirable multi-perspective rationales but still underperforms the basic SLM, fine-tuned BERT. Our subsequent analysis attributes such a gap to the LLM's inability to select and integrate rationales properly to conclude. Based on these findings, we propose that current LLMs may not substitute fine-tuned SLMs in fake news detection but can be a good advisor for SLMs by providing multi-perspective instructive rationales. To instantiate this proposal, we design an adaptive rationale guidance network for fake news detection (ARG), in which SLMs selectively acquire insights on news analysis from the LLMs' rationales. We further derive a rationale-free version of ARG by distillation, namely ARG-D, which services cost-sensitive scenarios without querying LLMs. Experiments on two real-world datasets demonstrate that ARG and ARG-D outperform three types of baseline methods, including SLM-based, LLM-based, and combinations of small and large language models.


title: Enumerating combinatorial resultant decompositions of 2-connected rigidity circuits

abstract: A rigidity circuit (in 2D) is a minimal dependent set in the rigidity matroid, i.e. a minimal graph supporting a non-trivial stress in any generic placement of its vertices in $\mathbb R^2$. Any rigidity circuit on $n\geq 5$ vertices can be obtained from rigidity circuits on a fewer number of vertices by applying the combinatorial resultant (CR) operation. The inverse operation is called a combinatorial resultant decomposition (CR-decomp). Any rigidity circuit on $n\geq 5$ vertices can be successively decomposed into smaller circuits, until the complete graphs $K_4$ are reached. This sequence of CR-decomps has the structure of a rooted binary tree called the combinatorial resultant tree (CR-tree). A CR-tree encodes an elimination strategy for computing circuit polynomials via Sylvester resultants. Different CR-trees lead to elimination strategies that can vary greatly in time and memory consumption. It is an open problem to establish criteria for optimal CR-trees, or at least to characterize those CR-trees that lead to good elimination strategies. In [12] we presented an algorithm for enumerating CR-trees where we give the algorithms for decomposing 3-connected rigidity circuits in polynomial time. In this paper we focus on those circuits that are not 3-connected, which we simply call 2-connected. In order to enumerate CR-decomps of 2-connected circuits $G$, a brute force exp-time search has to be performed among the subgraphs induced by the subsets of $V(G)$. This exp-time bottleneck is not present in the 3-connected case. In this paper we will argue that we do not have to account for all possible CR-decomps of 2-connected rigidity circuits to find a good elimination strategy; we only have to account for those CR-decomps that are a 2-split, all of which can be enumerated in polynomial time. We present algorithms and computational evidence in support of this heuristic.


title: Impact of scalar NSI on the neutrino mass ordering sensitivity at DUNE, HK and KNO

abstract: The study of neutrino non-standard interactions (NSI) is a well-motivated phenomenological scenario to explore new physics beyond the Standard Model. The possible scalar coupling of neutrinos ($\nu$) with matter is one of such new physics scenarios that appears as a sub-dominant effect that can impact the $\nu$-oscillations in matter. The presence of scalar NSI introduces an additional contribution directly to the $\nu$-mass matrix in the interaction Hamiltonian and subsequently to the $\nu$-oscillations. This indicates that scalar NSI may have a significant impact on measurements related to $\nu$-oscillations e.g. leptonic CP phase $(\delta_{CP})$, $\theta_{23}$ octant and neutrino mass ordering (MO). The linear scaling of the effects of scalar NSI with matter density also motivates its exploration in long-baseline (LBL) experiments. In this paper, we study the impact of a scalar-mediated NSI on the MO sensitivity of DUNE, HK and HK+KNO, which are upcoming LBL experiments. We study the impact on MO sensitivities at these experiments assuming that scalar NSI parameters are present in nature and is known from other non-LBL experiments. We observe that the presence of diagonal scalar NSI elements can significantly affect the $\nu$-mass ordering sensitivities. We then also combine the data from DUNE with HK and HK+KNO to explore possible synergy among these experiments in a wider parameter space. We also observe a significant enhancement in the MO sensitivities for the combined analysis.


title: SQUARE: Automatic Question Answering Evaluation using Multiple Positive and Negative References

abstract: Evaluation of QA systems is very challenging and expensive, with the most reliable approach being human annotations of correctness of answers for questions. Recent works (AVA, BEM) have shown that transformer LM encoder based similarity metrics transfer well for QA evaluation, but they are limited by the usage of a single correct reference answer. We propose a new evaluation metric: SQuArE (Sentence-level QUestion AnsweRing Evaluation), using multiple reference answers (combining multiple correct and incorrect references) for sentence-form QA. We evaluate SQuArE on both sentence-level extractive (Answer Selection) and generative (GenQA) QA systems, across multiple academic and industrial datasets, and show that it outperforms previous baselines and obtains the highest correlation with human annotations.


title: Planning Optimal Trajectories for Mobile Manipulators under End-effector Trajectory Continuity Constraint

abstract: Mobile manipulators have been employed in many applications that are traditionally performed by either multiple fixed-base robots or a large robotic system. This capability is enabled by the mobility of the mobile base. However, the mobile base also brings redundancy to the system, which makes mobile manipulator motion planning more challenging. In this paper, we tackle the mobile manipulator motion planning problem under the end-effector trajectory continuity constraint in which the end-effector is required to traverse a continuous task-space trajectory (time-parametrized path), such as in mobile printing or spraying applications. Our method decouples the problem into: (1) planning an optimal base trajectory subject to geometric task constraints, end-effector trajectory continuity constraint, collision avoidance, and base velocity constraint; which ensures that (2) a manipulator trajectory is computed subsequently based on the obtained base trajectory. To validate our method, we propose a discrete optimal base trajectory planning algorithm to solve several mobile printing tasks in hardware experiment and simulations.


title: Parallelizing non-linear sequential models over the sequence length

abstract: Sequential models, such as Recurrent Neural Networks and Neural Ordinary Differential Equations, have long suffered from slow training due to their inherent sequential nature. For many years this bottleneck has persisted, as many thought sequential models could not be parallelized. We challenge this long-held belief with our parallel algorithm that accelerates GPU evaluation of sequential models by up to 3 orders of magnitude faster without compromising output accuracy. The algorithm does not need any special structure in the sequential models' architecture, making it applicable to a wide range of architectures. Using our method, training sequential models can be more than 10 times faster than the common sequential method without any meaningful difference in the training results. Leveraging this accelerated training, we discovered the efficacy of the Gated Recurrent Unit in a long time series classification problem with 17k time samples. By overcoming the training bottleneck, our work serves as the first step to unlock the potential of non-linear sequential models for long sequence problems.


title: SALSA-CLRS: A Sparse and Scalable Benchmark for Algorithmic Reasoning

abstract: We introduce an extension to the CLRS algorithmic learning benchmark, prioritizing scalability and the utilization of sparse representations. Many algorithms in CLRS require global memory or information exchange, mirrored in its execution model, which constructs fully connected (not sparse) graphs based on the underlying problem. Despite CLRS's aim of assessing how effectively learned algorithms can generalize to larger instances, the existing execution model becomes a significant constraint due to its demanding memory requirements and runtime (hard to scale). However, many important algorithms do not demand a fully connected graph; these algorithms, primarily distributed in nature, align closely with the message-passing paradigm employed by Graph Neural Networks. Hence, we propose SALSA-CLRS, an extension of the current CLRS benchmark specifically with scalability and sparseness in mind. Our approach includes adapted algorithms from the original CLRS benchmark and introduces new problems from distributed and randomized algorithms. Moreover, we perform a thorough empirical evaluation of our benchmark. Code is publicly available at https://github.com/jkminder/SALSA-CLRS.


title: Variational Quantum Harmonizer: Generating Chord Progressions and Other Sonification Methods with the VQE Algorithm

abstract: This work investigates a case study of using physical-based sonification of Quadratic Unconstrained Binary Optimization (QUBO) problems, optimized by the Variational Quantum Eigensolver (VQE) algorithm. The VQE approximates the solution of the problem by using an iterative loop between the quantum computer and a classical optimization routine. This work explores the intermediary statevectors found in each VQE iteration as the means of sonifying the optimization process itself. The implementation was realised in the form of a musical interface prototype named Variational Quantum Harmonizer (VQH), providing potential design strategies for musical applications, focusing on chords, chord progressions, and arpeggios. The VQH can be used both to enhance data visualization or to create artistic pieces. The methodology is also relevant in terms of how an artist would gain intuition towards achieving a desired musical sound by carefully designing QUBO cost functions. Flexible mapping strategies could supply a broad portfolio of sounds for QUBO and quantum-inspired musical compositions, as demonstrated in a case study composition, "Dependent Origination" by Peter Thomas and Paulo Itaborai.


title: Thermodynamically Informed Priors for Uncertainty Propagation in First-Principles Statistical Mechanics

abstract: This work demonstrates how first-principles thermodynamic research within a Bayesian framework can quantify and propagate uncertainties to downstream thermodynamic calculations. To address the issue of Bayesian prior selection, knowledge of zero Kelvin ground states in the material system of interest is incorporated into the prior. The effectiveness of this framework is shown by creating a phase diagram for the FCC Zirconium Nitride system, including confidence intervals on phase boundary regions of interest.


title: Phase Ordering Kinetics of the Asymmetric Coulomb Glass Model

abstract: We present results for phase ordering kinetics in the {\it Coulomb glass} (CG) model, which describes electrons on a lattice with unscreened Coulombic repulsion. The filling factor is denoted by $K \in [0,1]$. For a square lattice with $K=0.5$ (symmetric CG), the ground state is a checkerboard with alternating electrons and holes. In this paper, we focus on the asymmetric CG where $K \lesssim 0.5$, i.e., the ground state is checkerboard-like with excess holes distributed uniformly. There is no explicit quenched disorder in our system, though the Coulombic interaction gives rise to frustration. We find that the evolution morphology is in the same dynamical universality class as the ordering ferromagnet. Further, the domain growth law is slightly slower than the {\it Lifshitz-Cahn-Allen} law, $L(t) \sim t^{1/2}$, i.e., the growth exponent is underestimated. We speculate that this could be a signature of logarithmic growth in the asymptotic regime.


title: An improved algorithm for dynamical triangulations and simulations of finer lattices

abstract: We introduce a new algorithm for the simulation of Euclidean dynamical triangulations that mimics the Metropolis-Hastings algorithm, but where all proposed moves are accepted. This rejection-free algorithm allows for the factorization of local and global terms in the action, a condition needed for efficient simulation of theories with global terms, while still maintaining detailed balance. We test our algorithm on the $2d$ Ising model, and against results for EDT obtained with standard Metropolis. Our new algorithm allows us to simulate EDT at finer lattice spacings than previously possible, and we find geometries that resemble semiclassical Euclidean de Sitter space in agreement with earlier results at coarser lattices. The agreement between lattice data and the classical de Sitter solution continues to get better as the lattice spacing decreases.


title: Primordial Black Hole Neutrinogenesis of Sterile Neutrino Dark Matter

abstract: Sterile neutrinos are well-motivated and actively searched for new particles that would mix with the active neutrinos. We study their phenomenology when they are produced in the evaporation of early Universe black holes, a novel production mechanism that differs from all others and does not depend on the active-sterile mixing. The resulting hotter sterile neutrinos have a distinct spectrum and could be warm dark matter in the 0.3 MeV to 0.3 TeV mass range, distinct from the typical keV range. The possible coincidence of X-rays and gravitational waves is a unique novel signature of our scenario.


title: Soft Merging: A Flexible and Robust Soft Model Merging Approach for Enhanced Neural Network Performance

abstract: Stochastic Gradient Descent (SGD), a widely used optimization algorithm in deep learning, is often limited to converging to local optima due to the non-convex nature of the problem. Leveraging these local optima to improve model performance remains a challenging task. Given the inherent complexity of neural networks, the simple arithmetic averaging of the obtained local optima models in undesirable results. This paper proposes a {\em soft merging} method that facilitates rapid merging of multiple models, simplifies the merging of specific parts of neural networks, and enhances robustness against malicious models with extreme values. This is achieved by learning gate parameters through a surrogate of the $l_0$ norm using hard concrete distribution without modifying the model weights of the given local optima models. This merging process not only enhances the model performance by converging to a better local optimum, but also minimizes computational costs, offering an efficient and explicit learning process integrated with stochastic gradient descent. Thorough experiments underscore the effectiveness and superior performance of the merged neural networks.


title: The dual Orlicz curvature measures for log-concave functions and their related Minkowski problems

abstract: The variation of a class of Orlicz moments with respect to the Asplund sum within the class of log-concave functions is demonstrated. Such a variational formula naturally leads to a family of dual Orlicz curvature measures for log-concave functions. They are functional analogs of dual (Orlicz) curvature measures for convex bodies. Partial existence results for the functional dual Orlicz Minkowski problem are shown.