title: Position: Categorical Deep Learning is an Algebraic Theory of All Architectures

abstract: We present our position on the elusive quest for a general-purpose framework for specifying and studying deep learning architectures. Our opinion is that the key attempts made so far lack a coherent bridge between specifying constraints which models must satisfy and specifying their implementations. Focusing on building a such a bridge, we propose to apply category theory -- precisely, the universal algebra of monads valued in a 2-category of parametric maps -- as a single theory elegantly subsuming both of these flavours of neural network design. To defend our position, we show how this theory recovers constraints induced by geometric deep learning, as well as implementations of many architectures drawn from the diverse landscape of neural networks, such as RNNs. We also illustrate how the theory naturally encodes many standard constructs in computer science and automata theory.


title: A Quantum-Classical Collaborative Training Architecture Based on Quantum State Fidelity

abstract: Recent advancements have highlighted the limitations of current quantum systems, particularly the restricted number of qubits available on near-term quantum devices. This constraint greatly inhibits the range of applications that can leverage quantum computers. Moreover, as the available qubits increase, the computational complexity grows exponentially, posing additional challenges. Consequently, there is an urgent need to use qubits efficiently and mitigate both present limitations and future complexities. To address this, existing quantum applications attempt to integrate classical and quantum systems in a hybrid framework. In this study, we concentrate on quantum deep learning and introduce a collaborative classical-quantum architecture called co-TenQu. The classical component employs a tensor network for compression and feature extraction, enabling higher-dimensional data to be encoded onto logical quantum circuits with limited qubits. On the quantum side, we propose a quantum-state-fidelity-based evaluation function to iteratively train the network through a feedback loop between the two sides. co-TenQu has been implemented and evaluated with both simulators and the IBM-Q platform. Compared to state-of-the-art approaches, co-TenQu enhances a classical deep neural network by up to 41.72% in a fair setting. Additionally, it outperforms other quantum-based methods by up to 1.9 times and achieves similar accuracy while utilizing 70.59% fewer qubits.


title: Iterative Inversion of (ELAA-)MIMO Channels Using Symmetric Rank-$1$ Regularization

abstract: While iterative matrix inversion methods excel in computational efficiency, memory optimization, and support for parallel and distributed computing when managing large matrices, their limitations are also evident in multiple-input multiple-output (MIMO) fading channels. These methods encounter challenges related to slow convergence and diminished accuracy, especially in ill-conditioned scenarios, hindering their application in future MIMO networks such as extra-large aperture array (ELAA). To address these challenges, this paper proposes a novel matrix regularization method termed symmetric rank-$1$ regularization (SR-$1$R). The proposed method functions by augmenting the channel matrix with a symmetric rank-$1$ matrix, with the primary goal of minimizing the condition number of the resultant regularized matrix. This significantly improves the matrix condition, enabling fast and accurate iterative inversion of the regularized matrix. Then, the inverse of the original channel matrix is obtained by applying the Sherman-Morrison transform on the outcome of iterative inversions. Our eigenvalue analysis unveils the best channel condition that can be achieved by an optimized SR-$1$R matrix. Moreover, a power iteration-assisted (PIA) approach is proposed to find the optimum SR-$1$R matrix without need of eigenvalue decomposition. The proposed approach exhibits logarithmic algorithm-depth in parallel computing for MIMO precoding. Finally, computer simulations demonstrate that SR-$1$R has the potential to reduce iterative iterations by up to $33\%$, while also significantly improve symbol error probability by approximately an order of magnitude.


title: Low-Rank Representations Meets Deep Unfolding: A Generalized and Interpretable Network for Hyperspectral Anomaly Detection

abstract: Current hyperspectral anomaly detection (HAD) benchmark datasets suffer from low resolution, simple background, and small size of the detection data. These factors also limit the performance of the well-known low-rank representation (LRR) models in terms of robustness on the separation of background and target features and the reliance on manual parameter selection. To this end, we build a new set of HAD benchmark datasets for improving the robustness of the HAD algorithm in complex scenarios, AIR-HAD for short. Accordingly, we propose a generalized and interpretable HAD network by deeply unfolding a dictionary-learnable LLR model, named LRR-Net$^+$, which is capable of spectrally decoupling the background structure and object properties in a more generalized fashion and eliminating the bias introduced by vital interference targets concurrently. In addition, LRR-Net$^+$ integrates the solution process of the Alternating Direction Method of Multipliers (ADMM) optimizer with the deep network, guiding its search process and imparting a level of interpretability to parameter optimization. Additionally, the integration of physical models with DL techniques eliminates the need for manual parameter tuning. The manually tuned parameters are seamlessly transformed into trainable parameters for deep neural networks, facilitating a more efficient and automated optimization process. Extensive experiments conducted on the AIR-HAD dataset show the superiority of our LRR-Net$^+$ in terms of detection performance and generalization ability, compared to top-performing rivals. Furthermore, the compilable codes and our AIR-HAD benchmark datasets in this paper will be made available freely and openly at \url{https://sites.google.com/view/danfeng-hong}.


title: Probing black hole `charge' from the binary black hole inspiral

abstract: Recent gravitational wave (GW) observations have enabled us to look beyond the standard paradigm of gravitational physics, namely general relativity (GR). Along with the mass and the angular momentum, which typical astrophysical black holes (BHs) are endowed with, theories beyond GR generically induce `charge' to these BHs. Notably, for BHs carrying the extra `charge' hair, we expect the BH absorption effects to modify accordingly and alter the tidal heating terms. Hence, the inclusion of the corrections in the GW waveform model, arising from the BH `charge', allows us to test the consistency of the observed binaries with Kerr BHs in GR. We compute the explicit dependence of the binary inspiral phase on the `charge' parameter arising from the tidal heating effect and study the measurability of the same from GW observations of binary mergers. Specifically, we employ the {\tt TaylorF2} waveform model, which accurately models the inspiral evolution of an aligned-spin binary merger, and Bayesian analysis-based GW data inference to measure the `charge' parameter for a selected set of detected binaries. We also present a detailed simulation study to investigate the possibility of measuring the charge parameter from binaries with different masses, spins and source locations. The analysis of selected GW events from the third GW transient catalogue shows that the `charge' parameter constraints are poor from the observed signals with the current sensitivity. In contrast, the simulation studies indicate that the spinning binaries with significant mass asymmetry provide the best constraints on the BH `charge' parameter. Finally, we study the prospects of measuring the BH `charge' parameter from a future GW detector with improved sensitivity.


title: Ranking Entities along Conceptual Space Dimensions with LLMs: An Analysis of Fine-Tuning Strategies

abstract: Conceptual spaces represent entities in terms of their primitive semantic features. Such representations are highly valuable but they are notoriously difficult to learn, especially when it comes to modelling perceptual and subjective features. Distilling conceptual spaces from Large Language Models (LLMs) has recently emerged as a promising strategy, but existing work has been limited to probing pre-trained LLMs using relatively simple zero-shot strategies. We focus in particular on the task of ranking entities according to a given conceptual space dimension. Unfortunately, we cannot directly fine-tune LLMs on this task, because ground truth rankings for conceptual space dimensions are rare. We therefore use more readily available features as training data and analyse whether the ranking capabilities of the resulting models transfer to perceptual and subjective features. We find that this is indeed the case, to some extent, but having at least some perceptual and subjective features in the training data seems essential for achieving the best results.


title: Effect of temperature and copper doping on the heterogeneous Fenton-like activity of Cu$_x$Fe$_{3-x}$O$_4$ nanoparticles

abstract: Ferrite nanoparticles serve as potent heterogeneous Fenton-like catalysts, producing reactive oxygen species (ROS) for decomposing organic pollutants. We investigated the impact of temperature and copper content on the catalytic activity of nanoparticles with different oxidation states of iron. Via solvothermal synthesis, we fabricated copper-doped magnetite (Cu$_x$Fe$_{3-x}$O$_4$) with a Fe$^{2+}$/Fe ratio ~0.33 for the undoped system. Using a microwave-assisted method, we produced copper-doped oxidized ferrites, yielding a Fe$^{2+}$/Fe ratio of ~0.11 for the undoped nanoparticles. The ROS generated by the catalyst were identified and quantified by electron paramagnetic resonance, while optical spectroscopy allowed us to evaluate its effectiveness for the degradation of a model organic dye. At room temperature, the magnetite nanoparticles exhibited the most $\cdot$OH radical production and achieved almost 90% dye discoloration in 2 hours. This efficiency decreased with increasing Cu concentration, concurrently with a decrease in $\cdot$OH generation. Conversely, above room temperature, Cu-doped nanoparticles significantly enhance the dye degradation, reaching 100% discoloration at 90$^\circ$C. This enhancement is accompanied by a systematic increase in the kinetic constants, obtained from reaction equations, with Cu doping. This study highlights the superior stability and high-temperature catalytic advantages of copper ferrite holding promise for enhancing the performance of nanocatalysts for decomposing organic contaminants.


title: Characterizations of generalized Robertson-Walker spacetimes concerning gradient solitons

abstract: In this article, we examine gradient type Ricci solitons and $(m,\tau)$-quasi Einstein solitons in generalized Robertson-Walker ($GRW$) spacetimes. Besides, we demonstrate that in this scenario the $GRW$ spacetime presents the Robertson-Walker ($RW$) spacetime and the perfect fluid ($PF$) spacetime presents the phantom era. Consequently, we show that if a $GRW$ spacetime permits a gradient $\tau$- Einstein solitons, then it also represents a $PF$ spacetime under certain condition.


title: MetaStates: An Approach for Representing Human Workers' Psychophysiological States in the Industrial Metaverse

abstract: Photo-realistic avatar is a modern term referring to the digital asset that represents a human in computer graphic advanced systems such as video games and simulation tools. These avatars utilize the advances in graphic technologies in both software and hardware aspects. While photo-realistic avatars are increasingly used in industrial simulations, representing human factors such as human workers psychophysiological states, remains a challenge. This article contributes to resolving this issue by introducing the novel concept of MetaStates which are the digitization and representation of the psychophysiological states of a human worker in the digital world. The MetaStates influence the physical representation and performance of a digital human worker while performing a task. To demonstrate this concept, this study presents the development of a photo-realistic avatar enhanced with multi-level graphical representations of psychophysiological states relevant to Industry 5.0. This approach represents a major step forward in the use of digital humans for industrial simulations, allowing companies to better leverage the benefits of the Industrial Metaverse in their daily operations and simulations while keeping human workers at the center of the system.


title: The Behavioural House Indicator: A faster and real time small-area indicative deprivation measure for England

abstract: Researchers have been long preoccupied with the measuring and monitoring of economic and social deprivation at small scales, neighbourhood, level in order to provide official government agencies and policy makers with more precise data insights. Whist valuable methodologies have been developed, the exercise of data collection associated with these methods tend to be expensive, time consuming, published infrequently with significant time delays, and subject to recurring changes to methodology. Here, we propose a novel method based on a straightforward methodology and data sources to generate a faster and real time indicator for deprivation at different scaling, small to larger areas. The results of our work show that our method provides a consistent view of deprivation across the regions of England and Wales, which are inline with the other indexes, but also highlight specific flash points of deep rural and highly dense urban deprivation areas that are not well captured by existing indexes. Our method is intended to aid researchers and policy makers by complementing existing but infrequent indexes.


title: Ab-initio insights into the mechanical, phonon, bonding, electronic, optical and thermal properties of hexagonal W2N3 for potential applications

abstract: We investigated the structural, elastic, electronic, vibrational, optical, thermodynamic and a number of thermophysical properties of W2N3 in this study using DFT based formalisms. The mechanical and dynamical stabilities have been confirmed. The Pugh and Poisson ratios are located quite close to the brittle to ductile borderline. The electronic band structure and energy density of states show metallic behavior. The Fermi surface features are investigated. The analysis of charge density distribution map clearly shows that W atoms have comparatively high electron density around than the N atoms. Presence of covalent bondings are anticipated. High melting temperature and high phonon thermal conductivity at room temperature of W2N3 imply that the compound has potential to be used as a heat sink system. The optical characteristics demonstrate anisotropy for W2N3. The compound can be used in optoelectronic device applications due to its high absorption coefficient and low reflectivity in the visible to ultraviolet spectrum. Furthermore, the quasiharmonic Debye model is used to examine temperature and pressure dependent thermal characteristics for the first time.


title: NuNER: Entity Recognition Encoder Pre-training via LLM-Annotated Data

abstract: Large Language Models (LLMs) have shown impressive abilities in data annotation, opening the way for new approaches to solve classic NLP problems. In this paper, we show how to use LLMs to create NuNER, a compact language representation model specialized in the Named Entity Recognition (NER) task. NuNER can be fine-tuned to solve downstream NER problems in a data-efficient way, outperforming similar-sized foundation models in the few-shot regime and competing with much larger LLMs. We find that the size and entity-type diversity of the pre-training dataset are key to achieving good performance. We view NuNER as a member of the broader family of task-specific foundation models, recently unlocked by LLMs.


title: Iteration and Stochastic First-order Oracle Complexities of Stochastic Gradient Descent using Constant and Decaying Learning Rates

abstract: The performance of stochastic gradient descent (SGD), which is the simplest first-order optimizer for training deep neural networks, depends on not only the learning rate but also the batch size. They both affect the number of iterations and the stochastic first-order oracle (SFO) complexity needed for training. In particular, the previous numerical results indicated that, for SGD using a constant learning rate, the number of iterations needed for training decreases when the batch size increases, and the SFO complexity needed for training is minimized at a critical batch size and that it increases once the batch size exceeds that size. Here, we study the relationship between batch size and the iteration and SFO complexities needed for nonconvex optimization in deep learning with SGD using constant or decaying learning rates and show that SGD using the critical batch size minimizes the SFO complexity. We also provide numerical comparisons of SGD with the existing first-order optimizers and show the usefulness of SGD using a critical batch size. Moreover, we show that measured critical batch sizes are close to the sizes estimated from our theoretical results.


title: Fourier Basis Density Model

abstract: We introduce a lightweight, flexible and end-to-end trainable probability density model parameterized by a constrained Fourier basis. We assess its performance at approximating a range of multi-modal 1D densities, which are generally difficult to fit. In comparison to the deep factorized model introduced in [1], our model achieves a lower cross entropy at a similar computational budget. In addition, we also evaluate our method on a toy compression task, demonstrating its utility in learned compression.


title: Updated kinematics of the Radcliffe Wave: non-synchronous, dipole-like vertical oscillations

abstract: The kinematic structure of the Radcliffe Wave (RW) is crucial for understanding its origin and evolution. In this work, we present an accurate measurement of the vertical velocity $V_Z$ by where the radial velocity (RV) measures are taken into consideration. This is achieved in two ways. First, the velocities are measured towards Young Stellar Objects (YSOs), using their RV and proper motion measurements from APOGEE-2 and Gaia DR3. Second, we combine RV measurements toward clouds with proper motion measurements of associated YSOs to determine the vertical velocities of the clouds. The results reveal that the oscillations in $V_Z$ are not synchronous with the vertical coordinate. The difference is caused by a combination of the effect of the radial velocity which we include in this paper, and the difference in models. By supplementing our analysis with additional young star samples, we find a consistent dipole pattern in $V_Z$. The fact that no significant amplitude differences are found among the analyzed samples indicates that there is no apparent age gradient within the dipole. We propose that RW evolves at a relatively slow rate. The fact that it will take a much longer time for RW to complete a full period compared to the cloud lifetimes challenges its classification as a traditional "wave". This age discrepancy should explain the phase difference, and non-synchronous oscillation found in kinematic studies.


title: Information-Theoretic Safe Bayesian Optimization

abstract: We consider a sequential decision making task, where the goal is to optimize an unknown function without evaluating parameters that violate an a~priori unknown (safety) constraint. A common approach is to place a Gaussian process prior on the unknown functions and allow evaluations only in regions that are safe with high probability. Most current methods rely on a discretization of the domain and cannot be directly extended to the continuous case. Moreover, the way in which they exploit regularity assumptions about the constraint introduces an additional critical hyperparameter. In this paper, we propose an information-theoretic safe exploration criterion that directly exploits the GP posterior to identify the most informative safe parameters to evaluate. The combination of this exploration criterion with a well known Bayesian optimization acquisition function yields a novel safe Bayesian optimization selection criterion. Our approach is naturally applicable to continuous domains and does not require additional explicit hyperparameters. We theoretically analyze the method and show that we do not violate the safety constraint with high probability and that we learn about the value of the safe optimum up to arbitrary precision. Empirical evaluations demonstrate improved data-efficiency and scalability.


title: Tight Approximation and Kernelization Bounds for Vertex-Disjoint Shortest Paths

abstract: We examine the possibility of approximating Maximum Vertex-Disjoint Shortest Paths. In this problem, the input is an edge-weighted (directed or undirected) $n$-vertex graph $G$ along with $k$ terminal pairs $(s_1,t_1),(s_2,t_2),\ldots,(s_k,t_k)$. The task is to connect as many terminal pairs as possible by pairwise vertex-disjoint paths such that each path is a shortest path between the respective terminals. Our work is anchored in the recent breakthrough by Lochet [SODA '21], which demonstrates the polynomial-time solvability of the problem for a fixed value of $k$. Lochet's result implies the existence of a polynomial-time $ck$-approximation for Maximum Vertex-Disjoint Shortest Paths, where $c \leq 1$ is a constant. Our first result suggests that this approximation algorithm is, in a sense, the best we can hope for. More precisely, assuming the gap-ETH, we exclude the existence of an $o(k)$-approximations within $f(k) \cdot $poly($n$) time for any function $f$ that only depends on $k$. Our second result demonstrates the infeasibility of achieving an approximation ratio of $n^{\frac{1}{2}-\varepsilon}$ in polynomial time, unless P = NP. It is not difficult to show that a greedy algorithm selecting a path with the minimum number of arcs results in a $\lceil\sqrt{\ell}\rceil$-approximation, where $\ell$ is the number of edges in all the paths of an optimal solution. Since $\ell \leq n$, this underscores the tightness of the $n^{\frac{1}{2}-\varepsilon}$-inapproximability bound. Additionally, we establish that Maximum Vertex-Disjoint Shortest Paths is fixed-parameter tractable when parameterized by $\ell$ but does not admit a polynomial kernel. Our hardness results hold for undirected graphs with unit weights, while our positive results extend to scenarios where the input graph is directed and features arbitrary (non-negative) edge weights.


title: Two-dimensional photonic crystal cavities in ZnSe quantum well structures

abstract: ZnSe and related materials like ZnMgSe and ZnCdSe are promising II-VI host materials for optically mediated quantum information technology such as single photon sources or spin qubits. Integrating these heterostructures into photonic crystal (PC) cavities enables further improvements, for example realizing Purcell-enhanced single photon sources with increased quantum efficiency. Here we report on the successful implementation of two-dimensional (2D) PC cavities in strained ZnSe quantum wells (QW) on top of a novel AlAs supporting layer. This approach overcomes typical obstacles associated with PC membrane fabrication in strained materials, such as cracks and strain relaxation in the corresponding devices. We demonstrate the attainment of the required mechanical stability in our PC devices, complete strain retainment and effective vertical optical confinement. Structural analysis of our PC cavities reveals excellent etching anisotropy. Additionally, elemental mapping in a scanning transmission electron microscope confirms the transformation of AlAs into AlOx by post-growth wet oxidation and reveals partial oxidation of ZnMgSe at the etched sidewalls in the PC. This knowledge is utilized to tailor FDTD simulations and to extract the ZnMgSe dispersion relation with small oxygen content. Optical characterization of the PC cavities with cross-polarized resonance scattering spectroscopy verifies the presence of cavity modes. The excellent agreement between simulation and measured cavity mode energies demonstrates wide tunability of the PC cavity and proves the pertinence of our model. This implementation of 2D PC cavities in the ZnSe material system establishes a solid foundation for future developments of ZnSe quantum devices.


title: Farsight: Fostering Responsible AI Awareness During AI Application Prototyping

abstract: Prompt-based interfaces for Large Language Models (LLMs) have made prototyping and building AI-powered applications easier than ever before. However, identifying potential harms that may arise from AI applications remains a challenge, particularly during prompt-based prototyping. To address this, we present Farsight, a novel in situ interactive tool that helps people identify potential harms from the AI applications they are prototyping. Based on a user's prompt, Farsight highlights news articles about relevant AI incidents and allows users to explore and edit LLM-generated use cases, stakeholders, and harms. We report design insights from a co-design study with 10 AI prototypers and findings from a user study with 42 AI prototypers. After using Farsight, AI prototypers in our user study are better able to independently identify potential harms associated with a prompt and find our tool more useful and usable than existing resources. Their qualitative feedback also highlights that Farsight encourages them to focus on end-users and think beyond immediate harms. We discuss these findings and reflect on their implications for designing AI prototyping experiences that meaningfully engage with AI harms. Farsight is publicly accessible at: https://PAIR-code.github.io/farsight.


title: AutoMMLab: Automatically Generating Deployable Models from Language Instructions for Computer Vision Tasks

abstract: Automated machine learning (AutoML) is a collection of techniques designed to automate the machine learning development process. While traditional AutoML approaches have been successfully applied in several critical steps of model development (e.g. hyperparameter optimization), there lacks a AutoML system that automates the entire end-to-end model production workflow. To fill this blank, we present AutoMMLab, a general-purpose LLM-empowered AutoML system that follows user's language instructions to automate the whole model production workflow for computer vision tasks. The proposed AutoMMLab system effectively employs LLMs as the bridge to connect AutoML and OpenMMLab community, empowering non-expert individuals to easily build task-specific models via a user-friendly language interface. Specifically, we propose RU-LLaMA to understand users' request and schedule the whole pipeline, and propose a novel LLM-based hyperparameter optimizer called HPO-LLaMA to effectively search for the optimal hyperparameters. Experiments show that our AutoMMLab system is versatile and covers a wide range of mainstream tasks, including classification, detection, segmentation and keypoint estimation. We further develop a new benchmark, called LAMP, for studying key components in the end-to-end prompt-based model training pipeline. Code, model, and data will be released.


title: On normalization-equivariance properties of supervised and unsupervised denoising methods: a survey

abstract: Image denoising is probably the oldest and still one of the most active research topic in image processing. Many methodological concepts have been introduced in the past decades and have improved performances significantly in recent years, especially with the emergence of convolutional neural networks and supervised deep learning. In this paper, we propose a survey of guided tour of supervised and unsupervised learning methods for image denoising, classifying the main principles elaborated during this evolution, with a particular concern given to recent developments in supervised learning. It is conceived as a tutorial organizing in a comprehensive framework current approaches. We give insights on the rationales and limitations of the most performant methods in the literature, and we highlight the common features between many of them. Finally, we focus on on the normalization equivariance properties that is surprisingly not guaranteed with most of supervised methods. It is of paramount importance that intensity shifting or scaling applied to the input image results in a corresponding change in the denoiser output.


title: Background Denoising for Ptychography via Wigner Distribution Deconvolution

abstract: Ptychography is a computational imaging technique that aims to reconstruct the object of interest from a set of diffraction patterns. Each of these is obtained by a localized illumination of the object, which is shifted after each illumination to cover its whole domain. As in the resulting measurements the phase information is lost, ptychography gives rise to solving a phase retrieval problem. In this work, we consider ptychographic measurements corrupted with background noise, a type of additive noise that is independent of the shift, i.e., it is the same for all diffraction patterns. Two algorithms are provided, for arbitrary objects and for so-called phase objects that do not absorb the light but only scatter it. For the second type, a uniqueness of reconstruction is established for almost every object. Our approach is based on the Wigner Distribution Deconvolution, which lifts the object to a higher-dimensional matrix space where the recovery can be reformulated as a linear problem. Background noise only affects a few equations of the linear system that are therefore discarded. The lost information is then restored using redundancy in the higher-dimensional space. Keywords: phase retrieval, ptychography, background noise, Wigner Distribution Deconvolution, uniqueness of reconstruction.


title: Some curvature properties of perfect fluid spacetimes

abstract: In this paper we assume that a perfect fluid is the source of the gravitational field while analyzing the solutions to the Einstein field equations.


title: Boundaries and equivariant maps for ergodic groupoids

abstract: We give a notion of boundary pair $(\mathcal{B}_-,\mathcal{B}_+)$ for measured groupoids which generalizes the one introduced by Bader and Furman for locally compact groups. In the case of a semidirect groupoid $\mathcal{G}=\Gamma \ltimes X$ obtained by a probability measure preserving action $\Gamma \curvearrowright X$ of a locally compact group, we show that a boundary pair is exactly $(B_- \times X, B_+ \times X)$, where $(B_-,B_+)$ is a boundary pair for $\Gamma$. For any measured groupoid $(\mathcal{G},\nu)$, we prove that the Poisson boundaries associated to the Markov operators generated by a probability measure equivalent to $\nu$ provide other examples of our definition. Following Bader and Furman, we define algebraic representability for an ergodic groupoid $(\mathcal{G},\nu)$. In this way, given any measurable representation $\rho:\mathcal{G} \rightarrow H$ into the $\kappa$-points of an algebraic $\kappa$-group $\mathbf{H}$, we obtain $\rho$-equivariant maps $\mathcal{B}_\pm \rightarrow H/L_\pm$, where $L_\pm=\mathbf{L}_\pm(\kappa)$ for some $\kappa$-subgroups $\mathbf{L}_\pm<\mathbf{H}$. In the particular case when $\kappa=\mathbb{R}$ and $\rho$ is Zariski dense, we show that $L_\pm$ must be minimal parabolic subgroups.


title: Mixing cutoff for simple random walks on the Chung-Lu digraph

abstract: In this paper, we are interested in the mixing behaviour of simple random walks on inhomogeneous directed graphs. We focus our study on the Chung-Lu digraph, which is an inhomogeneous network that generalizes the Erd\H{o}s-R\'enyi digraph. In particular, under the Chung-Lu model, edges are included in the graph independently and according to given Bernoulli laws, so that the average degrees are fixed. To guarantee the a.s. existence of a unique reversible measure, which is implied by the strong connectivity of the graph, we assume that the average degree grows logarithmically in the size $n$ of the graph. In this weakly dense regime, we prove that the total variation distance to equilibrium displays a cutoff behaviour at the entropic time of order $\log(n)/\log\log(n)$. Moreover, we prove that on a precise window, the cutoff profile converges to the Gaussian tail function. This is qualitatively similar to what was proved in [6,7,8] for the directed configuration model, where degrees are deterministically fixed. In terms of statistical ensembles, our analysis provides an extension of these cutoff results from a hard to a soft-constrained model.


title: Rapid Bayesian identification of sparse nonlinear dynamics from scarce and noisy data

abstract: We propose a fast probabilistic framework for identifying differential equations governing the dynamics of observed data. We recast the SINDy method within a Bayesian framework and use Gaussian approximations for the prior and likelihood to speed up computation. The resulting method, Bayesian-SINDy, not only quantifies uncertainty in the parameters estimated but also is more robust when learning the correct model from limited and noisy data. Using both synthetic and real-life examples such as Lynx-Hare population dynamics, we demonstrate the effectiveness of the new framework in learning correct model equations and compare its computational and data efficiency with existing methods. Because Bayesian-SINDy can quickly assimilate data and is robust against noise, it is particularly suitable for biological data and real-time system identification in control. Its probabilistic framework also enables the calculation of information entropy, laying the foundation for an active learning strategy.


title: Rotational phase transitions in antifluorite-type osmate and iridate compounds

abstract: We present temperature-dependent single-crystal diffraction results on seven antifluorite-type $A_2MeX_6$ compounds with $Me$=Os or Ir: K$_2$OsCl$_6$, $A_2$OsBr$_6$ with $A$=K, Rb, Cs and NH$_4$, and K$_2$Ir$X_6$ with $X$=Cl and Br. The structural transitions in this family arise from $MeX_6$ octahedron rotations that generate a rich variety of symmetries depending on the rotation axis and stacking schemes. In order to search for local distortions in the high-symmetry phase we perform refinements of anharmonic atomic displacement parameters with comprehensive data sets. Even at temperatures close to the onset of structural distortions, these refinements only yield a small improvement indicating only small anharmonic effects. The phase transitions in these antifluorites are essentially of displacive character. However, some harmonic displacement parameters are very large reflecting soft phonon modes with the softening covering large parts of the Brillouin zone. The occurrence of the rotational transitions in the antifluorite-type family can be remarkably well analyzed in terms of a tolerance factor of ionic radii.


title: Streaming Gaussian Dirichlet Random Fields for Spatial Predictions of High Dimensional Categorical Observations

abstract: We present the Streaming Gaussian Dirichlet Random Field (S-GDRF) model, a novel approach for modeling a stream of spatiotemporally distributed, sparse, high-dimensional categorical observations. The proposed approach efficiently learns global and local patterns in spatiotemporal data, allowing for fast inference and querying with a bounded time complexity. Using a high-resolution data series of plankton images classified with a neural network, we demonstrate the ability of the approach to make more accurate predictions compared to a Variational Gaussian Process (VGP), and to learn a predictive distribution of observations from streaming categorical data. S-GDRFs open the door to enabling efficient informative path planning over high-dimensional categorical observations, which until now has not been feasible.


title: All Thresholds Barred: Direct Estimation of Call Density in Bioacoustic Data

abstract: Passive acoustic monitoring (PAM) studies generate thousands of hours of audio, which may be used to monitor specific animal populations, conduct broad biodiversity surveys, detect threats such as poachers, and more. Machine learning classifiers for species identification are increasingly being used to process the vast amount of audio generated by bioacoustic surveys, expediting analysis and increasing the utility of PAM as a management tool. In common practice, a threshold is applied to classifier output scores, and scores above the threshold are aggregated into a detection count. The choice of threshold produces biased counts of vocalizations, which are subject to false positive/negative rates that may vary across subsets of the dataset. In this work, we advocate for directly estimating call density: The proportion of detection windows containing the target vocalization, regardless of classifier score. Our approach targets a desirable ecological estimator and provides a more rigorous grounding for identifying the core problems caused by distribution shifts -- when the defining characteristics of the data distribution change -- and designing strategies to mitigate them. We propose a validation scheme for estimating call density in a body of data and obtain, through Bayesian reasoning, probability distributions of confidence scores for both the positive and negative classes. We use these distributions to predict site-level densities, which may be subject to distribution shifts. We test our proposed methods on a real-world study of Hawaiian birds and provide simulation results leveraging existing fully annotated datasets, demonstrating robustness to variations in call density and classifier model quality.


title: A priori error estimates of Runge-Kutta discontinuous Galerkin schemes to smooth solutions of fractional conservation laws

abstract: We give a priori error estimates of second order in time fully explicit Runge-Kutta discontinuous Galerkin schemes using upwind fluxes to smooth solutions of scalar fractional conservation laws in one space dimension. Under the time step restrictions $\tau\leq c h$ for piecewise linear and $\tau\lesssim h^{4/3}$ for higher order finite elements, we prove a convergence rate for the energy norm $\|\cdot\|_{L^\infty_tL^2_x}+|\cdot|_{L^2_tH^{\lambda/2}_x}$ that is optimal for solutions and flux functions that are smooth enough. Our proof relies on a novel upwind projection of the exact solution.


title: Essential dimension of isogenies

abstract: We give a lower bound for the essential dimension of isogenies of complex abelian varieties. The bound is sharp in many cases. In particular, the multiplication-by-$m$ map is incompressible for every $m\geq 2$, confirming a conjecture of Brosnan.


title: Follow the Footprints: Self-supervised Traversability Estimation for Off-road Vehicle Navigation based on Geometric and Visual Cues

abstract: In this study, we address the off-road traversability estimation problem, that predicts areas where a robot can navigate in off-road environments. An off-road environment is an unstructured environment comprising a combination of traversable and non-traversable spaces, which presents a challenge for estimating traversability. This study highlights three primary factors that affect a robot's traversability in an off-road environment: surface slope, semantic information, and robot platform. We present two strategies for estimating traversability, using a guide filter network (GFN) and footprint supervision module (FSM). The first strategy involves building a novel GFN using a newly designed guide filter layer. The GFN interprets the surface and semantic information from the input data and integrates them to extract features optimized for traversability estimation. The second strategy involves developing an FSM, which is a self-supervision module that utilizes the path traversed by the robot in pre-driving, also known as a footprint. This enables the prediction of traversability that reflects the characteristics of the robot platform. Based on these two strategies, the proposed method overcomes the limitations of existing methods, which require laborious human supervision and lack scalability. Extensive experiments in diverse conditions, including automobiles and unmanned ground vehicles, herbfields, woodlands, and farmlands, demonstrate that the proposed method is compatible for various robot platforms and adaptable to a range of terrains. Code is available at https://github.com/yurimjeon1892/FtFoot.


title: Is a model equivalent to its computer implementation?

abstract: A recent trend in mathematical modeling is to publish the computer code together with the research findings. Here we explore the formal question, whether and in which sense a computer implementation is distinct from the mathematical model. We argue that, despite the convenience of implemented models, a set of implicit assumptions is perpetuated with the implementation to the extent that even in widely used models the causal link between the (formal) mathematical model and the set of results is no longer certain. Moreover, code publication is often seen as an important contributor to reproducible research, we suggest that in some cases the opposite may be true. A new perspective on this topic stems from the accelerating trend that in some branches of research only implemented models are used, e.g., in artificial intelligence (AI). With the advent of quantum computers we argue that completely novel challenges arise in the distinction between models and implementations.


title: Efficient semi-supervised inference for logistic regression under case-control studies

abstract: Semi-supervised learning has received increasingly attention in statistics and machine learning. In semi-supervised learning settings, a labeled data set with both outcomes and covariates and an unlabeled data set with covariates only are collected. We consider an inference problem in semi-supervised settings where the outcome in the labeled data is binary and the labeled data is collected by case-control sampling. Case-control sampling is an effective sampling scheme for alleviating imbalance structure in binary data. Under the logistic model assumption, case-control data can still provide consistent estimator for the slope parameter of the regression model. However, the intercept parameter is not identifiable. Consequently, the marginal case proportion cannot be estimated from case-control data. We find out that with the availability of the unlabeled data, the intercept parameter can be identified in semi-supervised learning setting. We construct the likelihood function of the observed labeled and unlabeled data and obtain the maximum likelihood estimator via an iterative algorithm. The proposed estimator is shown to be consistent, asymptotically normal, and semiparametrically efficient. Extensive simulation studies are conducted to show the finite sample performance of the proposed method. The results imply that the unlabeled data not only helps to identify the intercept but also improves the estimation efficiency of the slope parameter. Meanwhile, the marginal case proportion can be estimated accurately by the proposed method.


title: Portable acceleration of CMS computing workflows with coprocessors as a service

abstract: Computing demands for large scientific experiments, such as the CMS experiment at the CERN LHC, will increase dramatically in the next decades. To complement the future performance increases of software running on central processing units (CPUs), explorations of coprocessor usage in data processing hold great potential and interest. Coprocessors are a class of computer processors that supplement CPUs, often improving the execution of certain functions due to architectural design choices. We explore the approach of Services for Optimized Network Inference on Coprocessors (SONIC) and study the deployment of this as-a-service approach in large-scale data processing. In the studies, we take a data processing workflow of the CMS experiment and run the main workflow on CPUs, while offloading several machine learning (ML) inference tasks onto either remote or local coprocessors, specifically graphics processing units (GPUs). With experiments performed at Google Cloud, the Purdue Tier-2 computing center, and combinations of the two, we demonstrate the acceleration of these ML algorithms individually on coprocessors and the corresponding throughput improvement for the entire workflow. This approach can be easily generalized to different types of coprocessors and deployed on local CPUs without decreasing the throughput performance. We emphasize that the SONIC approach enables high coprocessor usage and enables the portability to run workflows on different types of coprocessors.


title: A CWENO large time-step scheme for Hamilton--Jacobi equations

abstract: We propose a high order numerical scheme for time-dependent first order Hamilton--Jacobi--Bellman equations. In particular we propose to combine a semi-Lagrangian scheme with a Central Weighted Non-Oscillatory reconstruction. We prove a convergence result in the case of state- and time-independent Hamiltonians. Numerical simulations are presented in space dimensions one and two, also for more general state- and time-dependent Hamiltonians, demonstrating superior performance in terms of CPU time gain compared with a semi-Lagrangian scheme coupled with Weighted Non-Oscillatory reconstructions.


title: Safe Task Planning for Language-Instructed Multi-Robot Systems using Conformal Prediction

abstract: This paper addresses task planning problems for language-instructed robot teams. Tasks are expressed in natural language (NL), requiring the robots to apply their capabilities at various locations and semantic objects. Several recent works have addressed similar planning problems by leveraging pre-trained Large Language Models (LLMs) to design effective multi-robot plans. However, these approaches lack mission completion guarantees. To address this challenge, we introduce a new decentralized LLM-based planner, called S-ATLAS for Safe plAnning for Teams of Language-instructed AgentS, that is capable of achieving user-defined mission success rates. This is accomplished by leveraging conformal prediction (CP), a distribution-free uncertainty quantification tool in black-box models. CP allows the proposed multi-robot planner to reason about its inherent uncertainty in a decentralized fashion, enabling robots to make individual decisions when they are sufficiently certain and seek help otherwise. We show, both theoretically and empirically, that the proposed planner can achieve user-specified task success rates while minimizing the overall number of help requests. We provide comparative experiments against related works showing that our method is significantly more computational efficient and achieves lower help rates. The advantage of our algorithm over baselines becomes more pronounced with increasing robot team size.


title: Minimal stretch factors of orientation-reversing fully-punctured pseudo-Anosov maps

abstract: We show that the stretch factor $\lambda(f)$ of an orientation-reversing fully-punctured pseudo-Anosov map $f$ on a finite-type orientable surface $S$, with $-\chi(S) \geq 4$ and having at least two puncture orbits, satisfies the inequality $\lambda(f)^{-\chi(S)} \geq \sigma^2$, where $\sigma=1+\sqrt{2}$ is the silver ratio. We provide examples showing that this bound is asymptotically sharp. This extends previous results of Hironaka and the third author to orientation-reversing maps.


title: Dual Encoder: Exploiting the Potential of Syntactic and Semantic for Aspect Sentiment Triplet Extraction

abstract: Aspect Sentiment Triple Extraction (ASTE) is an emerging task in fine-grained sentiment analysis. Recent studies have employed Graph Neural Networks (GNN) to model the syntax-semantic relationships inherent in triplet elements. However, they have yet to fully tap into the vast potential of syntactic and semantic information within the ASTE task. In this work, we propose a \emph{Dual Encoder: Exploiting the potential of Syntactic and Semantic} model (D2E2S), which maximizes the syntactic and semantic relationships among words. Specifically, our model utilizes a dual-channel encoder with a BERT channel to capture semantic information, and an enhanced LSTM channel for comprehensive syntactic information capture. Subsequently, we introduce the heterogeneous feature interaction module to capture intricate interactions between dependency syntax and attention semantics, and to dynamically select vital nodes. We leverage the synergy of these modules to harness the significant potential of syntactic and semantic information in ASTE tasks. Testing on public benchmarks, our D2E2S model surpasses the current state-of-the-art(SOTA), demonstrating its effectiveness.


title: Non-adiabatic quantum dynamics with fermionic subspace-expansion algorithms on quantum computers

abstract: We introduce a novel computational framework for excited-states molecular quantum dynamics simulations driven by quantum computing-based electronic-structure calculations. This framework leverages the fewest-switches surface-hopping method for simulating the nuclear dynamics, and calculates the required excited-state transition properties with different flavors of the quantum subspace expansion and quantum equation-of-motion algorithms. We apply our method to simulate the collision reaction between a hydrogen atom and a hydrogen molecule. For this system, we critically compare the accuracy and efficiency of different quantum subspace expansion and equation-of-motion algorithms and show that only methods that can capture both weak and strong electron correlation effects can properly describe the non-adiabatic effects that tune the reactive event.


title: The sandpile model on the complete split graph: $q,t$-Schr\"oder polynomials, sawtooth polyominoes, and a cyclic lemma

abstract: This paper builds on work initiated in Dukes (2021) that considered the classification of recurrent configurations of the Abelian sandpile model on the complete split graph. We introduce two statistics, wtopple$_{CTI}$ and wtopple$_{ITC}$, on sorted recurrent configurations. These statistics arise from two natural but different toppling conventions, CTI and ITC, for Dhar's burning algorithm as it is applied to the complete split graph. In addition, we introduce the bivariate $q,t$-CTI and $q,t$-ITC polynomials that are the generating functions of the bistatistics (height,wtopple$_{ITC}$) and (height,wtopple$_{CTI}$) on the sorted recurrent configurations. We prove that a modification of the bijection given in Dukes (2021) from sorted recurrent configurations to Schr\"oder paths maps the bistatistic (height,wtopple$_{ITC}$) to the bistatistic (area,bounce). The generating function of the bistatistic (area,bounce) on Schr\"oder paths is known in the literature as the $q,t$-Schr\"oder polynomial and was introduced by Egge, Haglund, Killpatrick and Kremer (2003). This connection allows us to relate the $q,t$-ITC polynomial to the theory of symmetric functions and also establishes symmetry of the $q,t$-ITC polynomials. We also give a characterization of the sorted recurrent configurations as a new class of polyominoes that we call $sawtooth$ $polyominoes$. The CTI and ITC topplings processes on sorted recurrent configurations are proven to correspond to two bounce paths from one side of the sawtooth polyomino to the other. Moreover, and building on the results of Aval et al. (2016), we present a cyclic lemma for a slight extension of stable configurations that allows for an enumeration of sorted recurrent configurations within the framework of the sandpile model. Finally, we conjecture equality of the $q,t$-CTI and $q,t$-ITC polynomials.


title: The X-ray variability of AGN: power-spectrum and variance analysis of the Swift/BAT light curves

abstract: We study the X-ray power spectrum of Active Galactic Nuclei (AGN) to investigate whether Seyfert I and II power spectra are similar or not, whether the AGN variability depends on black hole mass and accretion rate, and to compare the AGN power spectra with the Galactic X-ray black hole binaries power-spectra. We used 14-195 keV band light curves from the 157th SWIFT/BAT hard X-ray survey and we computed the mean power spectrum and excess variance of AGN in narrow black-hole mass/luminosity bins. We fitted a power-law model to the AGN power spectra, and we investigated whether the power spectrum parameters and the excess variance depend on black hole mass, luminosity and accretion rate. The Seyfert I and Seyfert II power spectra are identical, in agreement with AGN unification models. The mean AGN X-ray power spectrum has the same, power-law like shape with a slope of -1 in all AGN, irrespective of their luminosity and BH mass. We do not detect any flattening to a slope of zero at frequencies as low as 10e-9 Hz. We detect an anti-correlation between the PSD amplitude and the accretion rate, similar to what has been seen in the past in the 2-10 keV band. This implies that the variability amplitude in AGN decreases with increasing accretion rate. The universal AGN power-spectrum is consistent with the mean, 2-9 keV band Cyg X-1 power spectrum in its soft state. The mean, low frequency AGN X-ray power spectrum is consistent with the extension of the mean, 0.01-25 Hz Cyg X-1 power spectrum to lower frequencies. The agreement between the AGN and the Cyg X-1 power spectrum (either in the soft or the hard state) over many decades in frequency indicates that the X-ray variability process is probably the same in all accreting objects, irrespective of the mass of the compact object. We plan to investigate this issue further in the near future.


title: Outlier detection by ensembling uncertainty with negative objectness

abstract: Outlier detection is an essential capability in safety-critical applications of supervised visual recognition. Most of the existing methods deliver best results by encouraging standard closed-set models to produce low-confidence predictions in negative training data. However, that approach conflates prediction uncertainty with recognition of the negative class. We therefore reconsider direct prediction of K+1 logits that correspond to K groundtruth classes and one outlier class. This setup allows us to formulate a novel anomaly score as an ensemble of in-distribution uncertainty and the posterior of the outlier class which we term negative objectness. Now outliers can be independently detected due to i) high prediction uncertainty or ii) similarity with negative data. We embed our method into a dense prediction architecture with mask-level recognition over K+2 classes. The training procedure encourages the novel K+2-th class to learn negative objectness at pasted negative instances. Our models outperform the current state-of-the art on standard benchmarks for image-wide and pixel-level outlier detection with and without training on real negative data.


title: Towards complete all-optical emission control of high-harmonic generation from solids

abstract: Optical modulation of high-harmonics generation in solids enables the detection of material properties such as the band structure and promising new applications such as super-resolution imaging in semiconductors. Various recent studies have shown optical modulation of high-harmonics generation in solids, in particular, suppression of high-harmonics generation has been observed by synchronized or delayed multi-pulse sequences. Here we provide an overview of the underlying mechanisms attributed to this suppression and provide a perspective on the challenges and opportunities regarding these mechanisms. All-optical control of high-harmonic generation allows for femtosecond, and in the future possibly subfemtosecond, switching, which has numerous possible applications: These range from super-resolution microscopy, to nanoscale controlled chemistry, and highly tunable nonlinear light sources.


title: Probing critical phenomena in open quantum systems using atom arrays

abstract: At continuous phase transitions, quantum many-body systems exhibit scale-invariance and complex, emergent universal behavior. Most strikingly, at a quantum critical point, correlations decay as a power law, with exponents determined by a set of universal scaling dimensions. Experimentally probing such power-law correlations is extremely challenging, owing to the complex interplay between decoherence, the vanishing energy gap, and boundary effects. Here, we employ a Rydberg quantum simulator to adiabatically prepare critical ground states of both a one-dimensional ring and a two-dimensional square lattice. By accounting for and tuning the openness of our quantum system, which is well-captured by the introduction of a single phenomenological length scale, we are able to directly observe power-law correlations and extract the corresponding scaling dimensions. Moreover, in two dimensions, we observe a decoupling between phase transitions in the bulk and on the boundary, allowing us to identify two distinct boundary universality classes. Our work demonstrates that direct adiabatic preparation of critical states in quantum simulators can complement recent approaches to studying quantum criticality using the Kibble-Zurek mechanism or digital quantum circuits.

categories: quant-ph cond-mat.quant-gas cond-mat.str-el physics.atom-ph


title: Worldline Monte Carlo method for few body nuclear physics

abstract: In this work we introduce a worldline based fermion Monte Carlo algorithm for studying few body quantum mechanics of self-interacting fermions in the Hamiltonian lattice formulation. Our motivation to construct the method comes from our interest in studying renormalization of chiral nuclear effective field theory with lattice regularization. In particular we wish to apply our method to compute the lattice spacing dependence of local lattice interactions as we take the continuum limit of the lattice theory. Our algorithm can compute matrix elements of the operator $\exp(-\beta H)$ where $H$ is the lattice Hamiltonian and $\beta$ is a free real parameter. These elements help us compute deep bound states that are well separated from scattering states even at values of $\beta$ which are not very large. Computing these bound state energies accurately can help us study renormalization of the lattice theory. In addition to developing the algorithm, in this work we also introduce a finite volume renormalization scheme for the lattice Hamiltonian of the leading pionless effective field theory and show how it would work in the one and two body sectors.


title: Interacting electrons in a flat-band system within the Generalized Kadanoff-Baym Ansatz

abstract: This work reports the study of the spectral properties of an open interacting system by solving the Generalized Kadanoff-Baym Ansatz (GKBA) master equation for the single-particle density matrix, namely the time-diagonal lesser Green function. To benchmark its validity, the solution obtained within the GKBA is compared with the solution of the Dyson equation at stationarity. In both approaches, the interaction is treated within the self-consistent second-order Born approximation, whereas the GKBA still retains the retarded propagator calculated at the Hartree-Fock and wide-band limit approximation level. The model chosen is that of two leads connected through a central correlated region where particles can interact and utilize the stationary particle current at the boundary of the junction as a probe of the spectral features of the system. The central region is chosen as the simplest model featuring a degenerate ground state with a flat band. The main result is that the solution of the GKBA master equation captures well the spectral feature of such system and specifically the transition from dispersionless to dispersive behavior of the flat-band as the interaction is increased. Therefore the GBKA solution retains the main spectral features of the self-energy used even when the propagator is at the Hartree-Fock level.


title: Identifying probabilistic weather regimes targeted to a local-scale impact variable

abstract: Weather regimes are recurrent and persistent large-scale atmospheric circulation patterns that modulate the occurrence of local impact variables such as extreme precipitation. In their capacity as mediators between long-range teleconnections and these local extremes, they have shown potential for improving sub-seasonal forecasting as well as long-term climate projections. However, existing methods for identifying weather regimes are not designed to capture the physical processes relevant to the impact variable in question while still representing the full atmospheric phase space. This paper introduces a novel probabilistic machine learning method, RMM-VAE, for identifying weather regimes targeted to a local-scale impact variable. Based on a variational autoencoder architecture, the method combines non-linear dimensionality reduction with a prediction task and probabilistic clustering in a coherent architecture. The new method is applied to identify circulation patterns over the Mediterranean region targeted to precipitation over Morocco and compared to three existing approaches, two established linear methods and another machine learning approach. The RMM-VAE method identifies regimes that are more predictive of the target variable compared to the two linear methods, and more robust and persistent compared to the alternative machine learning method, while also improving the reconstruction of the input space. The results demonstrate the potential benefit of the new method for use in various climate applications such as sub-seasonal forecasting, while also highlighting the trade-offs involved in targeted clustering.


title: Extended Fayans energy density functional: optimization and analysis

abstract: The Fayans energy density functional (EDF) has been very successful in describing global nuclear properties (binding energies, charge radii, and especially differences of radii) within nuclear density functional theory. In a recent study, supervised machine learning methods were used to calibrate the Fayans EDF. Building on this experience, in this work we explore the effect of adding isovector pairing terms, which are responsible for different proton and neutron pairing fields, by comparing a 13D model without the isovector pairing term against the extended 14D model. At the heart of the calibration is a carefully selected heterogeneous dataset of experimental observables representing ground-state properties of spherical even-even nuclei. To quantify the impact of the calibration dataset on model parameters and the importance of the new terms, we carry out advanced sensitivity and correlation analysis on both models. The extension to 14D improves the overall quality of the model by about 30%. The enhanced degrees of freedom of the 14D model reduce correlations between model parameters and enhance sensitivity.


title: Optimisation-based alignment of wideband integrated superconducting spectrometers for sub-mm astronomy

abstract: Integrated superconducting spectrometers (ISSs) for wideband sub-mm astronomy utilise quasi-optical systems for coupling radiation from the telescope to the instrument. Misalignment in these systems is detrimental to the system performance. The common method of using an optical laser to align the quasi-optical components requires accurate alignment of the laser to the sub-mm beam coming from the instrument, which is not always guaranteed to a sufficient accuracy. We develop an alignment strategy for wideband ISSs directly utilising the sub-mm beam of the wideband ISS. The strategy should be applicable in both telescope and laboratory environments. Moreover, the strategy should deliver similar quality of the alignment across the spectral range of the wideband ISS. We measure misalignment in a quasi-optical system operating at sub-mm wavelengths using a novel phase and amplitude measurement scheme, capable of simultaneously measuring the complex beam patterns of a direct-detecting ISS across a harmonic range of frequencies. The direct detection nature of the MKID detectors in our device-under-test, DESHIMA 2.0, necessitates the use of this measurement scheme. Using geometrical optics, the measured misalignment, a mechanical hexapod, and an optimisation algorithm, we follow a numerical approach to optimise the positioning of corrective optics with respect to a given cost function. Laboratory measurements of the complex beam patterns are taken across a harmonic range between 205 and 391 GHz and simulated through a model of the ASTE telescope in order to assess the performance of the optimisation at the ASTE telescope. Laboratory measurements show that the optimised optical setup corrects for tilts and offsets of the sub-mm beam. Moreover, we find that the simulated telescope aperture efficiency is increased across the frequency range of the ISS after the optimisation.


title: The Logic of Correct Models

abstract: For each $n\in\mathbb{N}$, let $[n]\phi$ mean "the sentence $\phi$ is true in all $\Sigma_{n+1}$-correct transitive sets." Assuming G\"odel's axiom $V = L$, we prove the following graded variant of Solovay's completeness theorem: the set of formulas valid under this interpretation is precisely the set of theorems of the linear provability logic GLP.3. We also show that this result is not provable in ZFC, so the hypothesis V = L cannot be removed. As part of the proof, we derive (in ZFC) the following purely modal-logical results which are of independent interest: the logic GLP.3 coincides with the logic of closed substitutions of GLP, and is the maximal non-degenerate, normal extension of GLP.


title: A simple model for predicting tropical cyclone minimum central pressure from intensity and size

abstract: Minimum central pressure ($P_{min}$) is an integrated measure of the tropical cyclone wind field and is known to be a useful indicator of storm damage potential. A simple model that predicts $P_{min}$ from routinely-estimated quantities, including storm size, would be of great value. Here we present a simple linear empirical model for predicting $P_{min}$ from maximum wind speed, the radius of 34-knot winds ($R_{34kt}$), storm-center latitude, and the environmental pressure. An empirical model for the pressure deficit is first developed that takes as predictors specific combinations of these quantities that are derived directly from theory, based on gradient wind balance and a modified-Rankine-type wind profile known to capture storm structure inside of $R_{34kt}$. Model coefficients are estimated using data from the southwestern North Atlantic and eastern North Pacific from 2004--2022 using aircraft-based estimates of $P_{min}$, Extended Best Track data, and estimates of environmental pressure from Global Forecast System (GFS) analyses. The model has near-zero conditional bias even for low $P_{min}$, explaining 94.4\% of the variance. Performance is superior to a variety of other model formulations, including a standard wind-pressure model that does not account for storm size or latitude (89.4\% variance explained). Model performance is also strong when applied to high-latitude data and data near coastlines. Finally, the model is shown to perform comparably well in an operations-like setting based solely on routinely-estimated variables, including the pressure of the outermost closed isobar. Case study applications to five impactful historical storms are discussed. Overall, the model offers a simple and fast prediction for $P_{min}$ for practical use in operations and research.


title: Homeostatic motion planning with innate physics knowledge

abstract: Living organisms interact with their surroundings in a closed-loop fashion, where sensory inputs dictate the initiation and termination of behaviours. Even simple animals are able to develop and execute complex plans, which has not yet been replicated in robotics using pure closed-loop input control. We propose a solution to this problem by defining a set of discrete and temporary closed-loop controllers, called "tasks", each representing a closed-loop behaviour. We further introduce a supervisory module which has an innate understanding of physics and causality, through which it can simulate the execution of task sequences over time and store the results in a model of the environment. On the basis of this model, plans can be made by chaining temporary closed-loop controllers. The proposed framework was implemented for a real robot and tested in two scenarios as proof of concept.


title: Zeptosecond-scale single-photon gyroscope

abstract: This paper presents an all-fiber telecom-range optical gyroscope employing a spontaneous parametric down conversion crystal to produce ultra-low intensity thermal light by tracing-out one of the heralded photons. The prototype exhibits a detection limit on photon delay measurements of $249$ zs over a $72$ s averaging time and $26$ zs in differential delay measurements at $t=10^4$ s averaging. The detection scheme proves to be the most resource-efficient possible, saturating $>99.5\%$ of the Cram\'er-Rao bound. These results are groundbreaking in the context of low-photon regime quantum metrology, holding great promise for astrometry and paving the way to novel experimental configurations to bridge quantum optics with special or general relativity.


title: Low-Weight High-Distance Error Correcting Fermionic Encodings

abstract: We perform an extended numerical search for practical fermion-to-qubit encodings with error correcting properties. Ideally, encodings should strike a balance between a number of the seemingly incompatible attributes, such as having a high minimum distance, low-weight fermionic logical operators, a small qubit to fermionic mode ratio and a simple qubit connectivity graph including ancilla qubits for the measurement of stabilizers. Our strategy consists of a three-step procedure in which we: first generate encodings with code distances up to $d\leq4$ by a brute-force enumeration technique; subsequently, we use these encodings as starting points and apply Clifford deformations to them which allows us to identify higher-distance codes with $d\leq7$; finally, we optimize the hardware connectivity graphs of resulting encodings in terms of the graph thickness and the number of connections per qubit. We report multiple promising high-distance encodings which significantly improve the weights of stabilizers and logical operators compared to previously reported alternatives.


title: Higher order measures of risk and stochastic dominance

abstract: Higher order risk measures are stochastic optimization problems by design, and for this reason they enjoy valuable properties in optimization under uncertainties. They nicely integrate with stochastic optimization problems, as has been observed by the intriguing concept of the risk quadrangles, for example. Stochastic dominance is a binary relation for random variables to compare random outcomes. It is demonstrated that the concepts of higher order risk measures and stochastic dominance are equivalent, they can be employed to characterize the other. The paper explores these relations and connects stochastic orders, higher order risk measures and the risk quadrangle. Expectiles are employed to exemplify the relations obtained.


title: On the Usability of Next-Generation Authentication: A Study on Eye Movement and Brainwave-based Mechanisms

abstract: Passwords remain a widely-used authentication mechanism, despite their well-known security and usability limitations. To improve on this situation, next-generation authentication mechanisms, based on behavioral biometric factors such as eye movement and brainwave have emerged. However, their usability remains relatively under-explored. To fill this gap, we conducted an empirical user study (n=32 participants) to evaluate three brain-based and three eye-based authentication mechanisms, using both qualitative and quantitative methods. Our findings show good overall usability according to the System Usability Scale for both categories of mechanisms, with average SUS scores in the range of 78.6-79.6 and the best mechanisms rated with an "excellent" score. Participants particularly identified brainwave authentication as more secure yet more privacy-invasive and effort-intensive compared to eye movement authentication. However, the significant number of neutral responses indicates participants' need for more detailed information about the security and privacy implications of these authentication methods. Building on the collected evidence, we identify three key areas for improvement: privacy, authentication interface design, and verification time. We offer recommendations for designers and developers to improve the usability and security of next-generation authentication mechanisms.


title: Quantum robustness of the toric code in a parallel field on the honeycomb and triangular lattice

abstract: We investigate the quantum robustness of the topological order in the toric code on the honeycomb lattice in the presence of a uniform parallel field. For a field in $z$-direction, the low-energy physics is in the flux-free sector and can be mapped to the transverse-field Ising model on the honeycomb lattice. One finds a second-order quantum phase transition in the 3D Ising$^\star$ universality class for both signs of the field. The same is true for a postive field in $x$-direction where an analogue mapping in the charge-free sector yields a ferromagnetic transverse-field Ising model on the triangular lattice and the phase transition is still 3D Ising$^\star$. In contrast, for negative $x$-field, the charge-free sector is mapped to the highly frustrated antiferromagnetic transverse-field Ising model on the triangular lattice which is known to host a quantum phase transition in the 3D XY$^\star$ universality class. Further, the charge-free sector does not always contain the low-energy physics for negative $x$-fields and a first-order phase transition to the polarized phase in the charge-full sector takes place at larger negative field values. We quantify the location of this transition by comparing quantum Monte Carlo simulations and high-field series expansions. The full extension of the topological phase in the presence of $x$- and $z$-fields is determined by perturbative linked-cluster expansions using a full graph decomposition. Extrapolating the high-order series of the charge and the flux gap allows to estimate critical exponents of the gap closing. This analysis indicates that the topological order breaks down by critical lines of 3D Ising$^\star$ and 3D XY$^\star$ type with interesting potential multi-critical crossing points. All findings for the toric code on the honeycomb lattice can be transferred exactly to the toric code on the triangular lattice.


title: Explorations of Self-Repair in Language Models

abstract: Prior interpretability research studying narrow distributions has preliminarily identified self-repair, a phenomena where if components in large language models are ablated, later components will change their behavior to compensate. Our work builds off this past literature, demonstrating that self-repair exists on a variety of models families and sizes when ablating individual attention heads on the full training distribution. We further show that on the full training distribution self-repair is imperfect, as the original direct effect of the head is not fully restored, and noisy, since the degree of self-repair varies significantly across different prompts (sometimes overcorrecting beyond the original effect). We highlight two different mechanisms that contribute to self-repair, including changes in the final LayerNorm scaling factor and sparse sets of neurons implementing Anti-Erasure. We additionally discuss the implications of these results for interpretability practitioners and close with a more speculative discussion on the mystery of why self-repair occurs in these models at all, highlighting evidence for the Iterative Inference hypothesis in language models, a framework that predicts self-repair.


title: Genie: Generative Interactive Environments

abstract: We introduce Genie, the first generative interactive environment trained in an unsupervised manner from unlabelled Internet videos. The model can be prompted to generate an endless variety of action-controllable virtual worlds described through text, synthetic images, photographs, and even sketches. At 11B parameters, Genie can be considered a foundation world model. It is comprised of a spatiotemporal video tokenizer, an autoregressive dynamics model, and a simple and scalable latent action model. Genie enables users to act in the generated environments on a frame-by-frame basis despite training without any ground-truth action labels or other domain-specific requirements typically found in the world model literature. Further the resulting learned latent action space facilitates training agents to imitate behaviors from unseen videos, opening the path for training generalist agents of the future.


title: Offline Inverse RL: New Solution Concepts and Provably Efficient Algorithms

abstract: Inverse reinforcement learning (IRL) aims to recover the reward function of an expert agent from demonstrations of behavior. It is well-known that the IRL problem is fundamentally ill-posed, i.e., many reward functions can explain the demonstrations. For this reason, IRL has been recently reframed in terms of estimating the feasible reward set (Metelli et al., 2021), thus, postponing the selection of a single reward. However, so far, the available formulations and algorithmic solutions have been proposed and analyzed mainly for the online setting, where the learner can interact with the environment and query the expert at will. This is clearly unrealistic in most practical applications, where the availability of an offline dataset is a much more common scenario. In this paper, we introduce a novel notion of feasible reward set capturing the opportunities and limitations of the offline setting and we analyze the complexity of its estimation. This requires the introduction an original learning framework that copes with the intrinsic difficulty of the setting, for which the data coverage is not under control. Then, we propose two computationally and statistically efficient algorithms, IRLO and PIRLO, for addressing the problem. In particular, the latter adopts a specific form of pessimism to enforce the novel desirable property of inclusion monotonicity of the delivered feasible set. With this work, we aim to provide a panorama of the challenges of the offline IRL problem and how they can be fruitfully addressed.


title: NeuralThink: Learning Algorithms For Consistent and Efficient Extrapolation Across General Tasks

abstract: We propose NeuralThink, a novel deep thinking architecture that can efficiently and consistently extrapolate, i.e., learn algorithms from smaller problems (in terms of observation size) and execute those algorithms in large problems. Contrary to previous deep thinking architectures, NeuralThink can be naturally applied in both same-size problems, where the input and output sizes are the same, and in different-size problems, where the size of the input and output differ. To allow for this versatility, we design NeuralThink with three main components: a recurrent module, that iteratively processes input information at different scales, a processing module, responsible for aggregating the previously processed information, and a curriculum-based training scheme, that improves the extrapolation performance of the method. To evaluate our method we introduce a set of novel different-size tasks and we show that NeuralThink consistently outperforms the prior state-of-the-art deep thinking approaches in extrapolating to larger problems, considering smaller training problems and requiring less parameters than other approaches.


title: Dendrites with corners

abstract: A phase-field model for diffusion-limited crystal growth is formulated that is capable of handling highly anisotropic interfaces. It uses a Willmore regularization that yields corners of finite size. An asymptotic analysis reveals that Herring's law is recovered for the advancing surfaces. The model is validated by conducting simulations of dendritic growth for low anistorpies and comparing the results to the data from the literature. The model makes it possible to simulate high anisotropy dendrites for which the standard phase-field models are ill-posed. In this regime, the interplay between a Herring instability on the dendrite flanks and the corner regularization creates zig-zag shaped corrugations and leads to a non-monotonic trend of tip velocity as a function of anisotropy strength.


title: Hydrostatic equilibrium configurations of neutron stars in the $f(R,\mathcal{L},T)$ gravity theory

abstract: In the present work, we obtain the hydrostatic equilibrium configurations of neutron stars in the recently proposed $f(R,\mathcal{L},T)$ theory of gravity, for which $R$ is the Ricci scalar, $\mathcal{L}$ is the matter lagrangian density, $T$ is the trace of the energy-momentum tensor and $f$ is a function of the argument. This theory emerges in the present literature as a generalized geometry-matter coupling theory of gravity. We derive the Tolman-Oppenheimer-Volkoff-like equation for a particular functional form of the $f(R,\mathcal{L},T)$ function. Our solutions are obtained from realistic equations of state describing matter inside neutron stars. We obtain stable solutions for neutron stars and we show that for some values of the free parameter of the theory it is possible to be in agreement with both NICER and LIGO/Virgo observational data.


title: Q-balls and charged Q-balls in a two-scalar field theory with generalized Henon-Heiles potential

abstract: We construct Q-ball solutions from a model consisting of one massive scalar field $\xi$ and one massive complex scalar field $\phi$ interacting via the cubic couplings $g_1 \xi \phi^{*} \phi + g_2 \xi^3$, typical of Henon-Heiles-like potentials. Although being formally simple, these couplings allow for Q-balls. In one spatial dimension, analytical solutions exist, either with vanishing or non vanishing $\phi$. In three spatial dimensions, we numerically build Q-ball solutions and investigate their behaviours when changing the relatives values of $g_1$ and $g_2$. For $g_1<g_2$, two Q-balls with the same frequency exist, while $\omega=0$ can be reached when $g_1>g_2$. We then extend the former solutions by gauging the U(1)-symmetry of $\phi$ and show that charged Q-balls exist.


title: Phonon softening and atomic modulations in EuAl$_4$

abstract: EuAl$_4$ is a rare earth intermetallic in which competing itinerant and/or indirect exchange mechanisms give rise to a complex magnetic phase diagram, including a centrosymmetric skyrmion lattice. These phenomena arise not in the tetragonal parent structure but in the presence of a charge density wave (CDW), which lowers the crystal symmetry and renormalizes the electronic structure. Microscopic knowledge of the corresponding atomic modulations and their driving mechanism is a prerequisite for a deeper understanding of the resulting equilibrium of electronic correlations and how it might be manipulated. Here, we use synchrotron single-crystal X-ray diffraction, inelastic X-ray scattering, and lattice dynamics calculations to clarify the origin of the CDW in EuAl$_4$. We observe a broad softening of a transverse acoustic phonon mode that sets in well above room temperature and, at $T_\mathrm{CDW}=142$ K, freezes out in an atomic displacement mode described by the superspace group $Immm(00\gamma)s00$. In the context of previous work, our observation is a clear confirmation that the CDW in EuAl$_4$ is driven by electron-phonon coupling. This result is relevant for a wider family of BaAl$_4$ and ThCr$_2$Si$_2$-type rare-earth intermetallics known to combine CDW instabilities and complex magnetism.


title: TransFlower: An Explainable Transformer-Based Model with Flow-to-Flow Attention for Commuting Flow Prediction

abstract: Understanding the link between urban planning and commuting flows is crucial for guiding urban development and policymaking. This research, bridging computer science and urban studies, addresses the challenge of integrating these fields with their distinct focuses. Traditional urban studies methods, like the gravity and radiation models, often underperform in complex scenarios due to their limited handling of multiple variables and reliance on overly simplistic and unrealistic assumptions, such as spatial isotropy. While deep learning models offer improved accuracy, their black-box nature poses a trade-off between performance and explainability -- both vital for analyzing complex societal phenomena like commuting flows. To address this, we introduce TransFlower, an explainable, transformer-based model employing flow-to-flow attention to predict urban commuting patterns. It features a geospatial encoder with an anisotropy-aware relative location encoder for nuanced flow representation. Following this, the transformer-based flow predictor enhances this by leveraging attention mechanisms to efficiently capture flow interactions. Our model outperforms existing methods by up to 30.8% Common Part of Commuters, offering insights into mobility dynamics crucial for urban planning and policy decisions.


title: Distributionally Robust Off-Dynamics Reinforcement Learning: Provable Efficiency with Linear Function Approximation

abstract: We study off-dynamics Reinforcement Learning (RL), where the policy is trained on a source domain and deployed to a distinct target domain. We aim to solve this problem via online distributionally robust Markov decision processes (DRMDPs), where the learning algorithm actively interacts with the source domain while seeking the optimal performance under the worst possible dynamics that is within an uncertainty set of the source domain's transition kernel. We provide the first study on online DRMDPs with function approximation for off-dynamics RL. We find that DRMDPs' dual formulation can induce nonlinearity, even when the nominal transition kernel is linear, leading to error propagation. By designing a $d$-rectangular uncertainty set using the total variation distance, we remove this additional nonlinearity and bypass the error propagation. We then introduce DR-LSVI-UCB, the first provably efficient online DRMDP algorithm for off-dynamics RL with function approximation, and establish a polynomial suboptimality bound that is independent of the state and action space sizes. Our work makes the first step towards a deeper understanding of the provable efficiency of online DRMDPs with linear function approximation. Finally, we substantiate the performance and robustness of DR-LSVI-UCB through different numerical experiments.


title: Faithful Temporal Question Answering over Heterogeneous Sources

abstract: Temporal question answering (QA) involves time constraints, with phrases such as "... in 2019" or "... before COVID". In the former, time is an explicit condition, in the latter it is implicit. State-of-the-art methods have limitations along three dimensions. First, with neural inference, time constraints are merely soft-matched, giving room to invalid or inexplicable answers. Second, questions with implicit time are poorly supported. Third, answers come from a single source: either a knowledge base (KB) or a text corpus. We propose a temporal QA system that addresses these shortcomings. First, it enforces temporal constraints for faithful answering with tangible evidence. Second, it properly handles implicit questions. Third, it operates over heterogeneous sources, covering KB, text and web tables in a unified manner. The method has three stages: (i) understanding the question and its temporal conditions, (ii) retrieving evidence from all sources, and (iii) faithfully answering the question. As implicit questions are sparse in prior benchmarks, we introduce a principled method for generating diverse questions. Experiments show superior performance over a suite of baselines.


title: Simulation of Dissipative Dynamics Without Interferometers

abstract: The development of techniques that reduce experimental complexity and minimize errors is an utmost importance for modeling quantum channels. In general, quantum simulators are focused on universal algorithms, whose practical implementation requires extra qubits necessary to control the quantum operations. In contrast, our technique is based on finding a way to optimally sum Kraus operators. These operators provide us with an experimentally simplified setup where only a degree of freedom is needed to implement any one-qubit quantum channel. Therefore, using entanglement polarized photon pairs and post-processing techniques, we experimentally built the Kraus maps, carrying out unitary and projection operations.


title: Grasp, See and Place: Efficient Unknown Object Rearrangement with Policy Structure Prior

abstract: We focus on the task of unknown object rearrangement, where a robot is supposed to re-configure the objects into a desired goal configuration specified by an RGB-D image. Recent works explore unknown object rearrangement systems by incorporating learning-based perception modules. However, they are sensitive to perception error, and pay less attention to task-level performance. In this paper, we aim to develop an effective system for unknown object rearrangement amidst perception noise. We theoretically reveal the noisy perception impacts grasp and place in a decoupled way, and show such a decoupled structure is non-trivial to improve task optimality. We propose GSP, a dual-loop system with the decoupled structure as prior. For the inner loop, we learn an active seeing policy for self-confident object matching to improve the perception of place. For the outer loop, we learn a grasp policy aware of object matching and grasp capability guided by task-level rewards. We leverage the foundation model CLIP for object matching, policy learning and self-termination. A series of experiments indicate that GSP can conduct unknown object rearrangement with higher completion rate and less steps.


title: Stimulated Forward Brillouin Scattering in Subwavelength Silicon Membranes

abstract: On-chip Brillouin scattering plays a key role in numerous applications in the domain of signal processing and microwave photonics due to the coherent bidirectional coupling between near-infrared optical signals and GHz mechanical modes, which enables selective amplification and attenuation with remarkably narrow linewidths, in the kHz to MHz range. Subwavelength periodic nanostructures provide precise control of the propagation of light and sound in silicon photonic circuits, key to maximize the efficiency of Brillouin interactions. Here, we propose and demonstrate a new subwavelength waveguide geometry allowing independent control of optical and mechanical modes. Two silicon lattices are combined, one with a subwavelength period for the light and one with a total bandgap for the sound, to confine optical and mechanical modes, respectively. Based on this approach, we experimentally demonstrate optomechanical coupling between near-infrared optical modes and GHz mechanical modes with with 5-8 MHz linewidth and a coupling strength of GB = 1360 1/(W m). A Stokes gain of 1.5 dB, and anti-Stoke loss of -2 dB are observed for a 6 mm-long waveguide with 35.5 mW of input power. We show tuning of the mechanical frequency between 5 and 8 GHz by geometrical optimization, without loss of the optomechanical coupling strength.


title: United We Pretrain, Divided We Fail! Representation Learning for Time Series by Pretraining on 75 Datasets at Once

abstract: In natural language processing and vision, pretraining is utilized to learn effective representations. Unfortunately, the success of pretraining does not easily carry over to time series due to potential mismatch between sources and target. Actually, common belief is that multi-dataset pretraining does not work for time series! Au contraire, we introduce a new self-supervised contrastive pretraining approach to learn one encoding from many unlabeled and diverse time series datasets, so that the single learned representation can then be reused in several target domains for, say, classification. Specifically, we propose the XD-MixUp interpolation method and the Soft Interpolation Contextual Contrasting (SICC) loss. Empirically, this outperforms both supervised training and other self-supervised pretraining methods when finetuning on low-data regimes. This disproves the common belief: We can actually learn from multiple time series datasets, even from 75 at once.


title: Interstellar detection of O-protonated carbonyl sulfide, HOCS+

abstract: We present the first detection in space of O-protonated carbonyl sulfide (\ch{HOCS+}), in the midst of an ultradeep molecular line survey toward the G+0.693-0.027 molecular cloud. From the observation of all $K$$_a$ = 0 transitions ranging from $J$$_{lo}$ = 2 to $J$$_{lo}$ = 13 of \ch{HOCS+} covered by our survey, we derive a column density of $N$ = (9 $\pm$ 2)$\times$10$^{12}$ cm$^{-2}$, translating into a fractional abundance relative to H$_2$ of $\sim$7$\times$10$^{-11}$. Conversely, the S-protonated \ch{HSCO+} isomer remains undetected, and we derive an upper limit to its abundance with respect to H$_2$ of $\leq$3$\times$10$^{-11}$, a factor of $\geq$2.3 less abundant than \ch{HOCS+}. We obtain a \ch{HOCS+}/OCS ratio of $\sim$2.5$\times$10$^{-3}$, in good agreement with the prediction of astrochemical models. These models show that one of the main chemical routes to the interstellar formation of \ch{HOCS+} is likely the protonation of OCS, which appears to be more efficient at the oxygen end. Also, we find that high values of cosmic-ray ionisation rates (10$^{-15}$-10$^{-14}$ s$^{-1}$) are needed to reproduce the observed abundance of \ch{HOCS+}. In addition, we compare the O/S ratio across different interstellar environments. G+0.693-0.027 appears as the source with the lowest O/S ratio. We find a \ch{HOCO+}/\ch{HOCS+} ratio of $\sim$31, in accordance with other O/S molecular pairs detected toward this region and also close to the O/S solar value ($\sim$37). This fact indicates that S is not significantly depleted within this cloud due to the action of large-scale shocks, unlike in other sources where S-bearing species remain trapped on icy dust grains.


title: Conformalized-DeepONet: A Distribution-Free Framework for Uncertainty Quantification in Deep Operator Networks

abstract: In this paper, we adopt conformal prediction, a distribution-free uncertainty quantification (UQ) framework, to obtain confidence prediction intervals with coverage guarantees for Deep Operator Network (DeepONet) regression. Initially, we enhance the uncertainty quantification frameworks (B-DeepONet and Prob-DeepONet) previously proposed by the authors by using split conformal prediction. By combining conformal prediction with our Prob- and B-DeepONets, we effectively quantify uncertainty by generating rigorous confidence intervals for DeepONet prediction. Additionally, we design a novel Quantile-DeepONet that allows for a more natural use of split conformal prediction. We refer to this distribution-free effective uncertainty quantification framework as split conformal Quantile-DeepONet regression. Finally, we demonstrate the effectiveness of the proposed methods using various ordinary, partial differential equation numerical examples, and multi-fidelity learning.


title: A Universal Method for Solar Filament Detection from H-alpha Observations using Semi-supervised Deep Learning

abstract: Filaments are omnipresent features in the solar atmosphere. Their location, properties and time evolution can provide information about changes in solar activity and assist the operational space weather forecast. Therefore, filaments have to be identified in full disk images and their properties extracted from these images. Manual extraction is tedious and takes much time; extraction with morphological image processing tools produces a large number of false-positive detections. Automatic object detection, segmentation, and extraction in a reliable manner allows to process more data in a shorter time. The Chromospheric Telescope (ChroTel), Tenerife, Spain, the Global Oscillation Network Group (GONG), and the Kanzelh\"ohe Observatory (KSO), Austria, provide regular full-disk observations of the Sun in the core of the chromospheric H-alpha absorption line. We present a deep learning method that provides reliable extractions of filaments from H-alpha filtergrams. First, we train the object detection algorithm YOLOv5 with labeled filament data of ChroTel. We use the trained model to obtain bounding-boxes from the full GONG archive. In a second step, we apply a semi-supervised training approach, where we use the bounding boxes of filaments, to learn a pixel-wise classification of filaments with u-net. Here, we make use of the increased data set size to avoid overfitting of spurious artifacts from the generated training masks. Filaments are predicted with an accuracy of 92%. With the resulting filament segmentations, physical parameters such as the area or tilt angle can be easily determined and studied. This we demonstrate in one example, where we determine the rush-to-the pole for Solar Cycle 24 from the segmented GONG images. In a last step, we apply the filament detection to H-alpha observations from KSO which demonstrates the general applicability of our method to H-alpha filtergrams.