title: The harmonic $H^\infty$-functional calculus based on the S-spectrum

abstract: The aim of this paper is to introduce the $H^\infty$-functional calculus for harmonic functions over the quaternions. More precisely, we give meaning to Df(T) for unbounded sectorial operators T and polynomially growing functions of the form Df, where f is a slice hyperholomorphic function and $D=\partial_{q_0}+e_1\partial_{q_1}+e_2\partial_{q_2}+e_3\partial_{q_3}$ is the Cauchy-Fueter operator. The harmonic functional calculus can be viewed as a modification of the well known S-functional calculus f(T), with a different resolvent operator. The harmonic $H^\infty$-functional calculus is defined in two steps: First, for functions with a certain decay property, one can make sense of the bounded operator Df(T) directly via a Cauchy-type formula. In a second step, a regularization procedure is used to extend the functional calculus to polynomially growing functions and consequently unbounded operators Df(T). The harmonic functional calculus is an important functional calculus of the quaternionic fine structures on the S-spectrum, which arise also in the Clifford setting and they encompass a variety of function spaces and the corresponding functional calculi. These function spaces emerge through all possible factorizations of the second map of the Fueter-Sce extension theorem. This field represents an emerging and expanding research area that serves as a bridge connecting operator theory, harmonic analysis, and hypercomplex analysis.


title: Poles, Shocks and Tygers: The Time-reversible Burgers equation

abstract: We construct a formally time-reversible, one-dimensional forced Burgers equation by imposing a global constraint of energy conservation, wherein the constant viscosity is modified to a fluctuating state-dependent dissipation coefficient. The system exhibits dynamical properties which bear strong similarities with those observed for the Burgers equation and can be understood using the dynamics of the poles, shocks, and truncation effects, such as tygers. A complex interplay of these give rise to interesting statistical regimes ranging from hydrodynamic behavior to a completely thermalized warm phase. The end of the hydrodynamic regime is associated with the appearance of a shock in the solution and a continuous transition leading to a truncation-dependent state. Beyond this, the truncation effects such as tygers and the appearance of secondary discontinuity at the resonance point in the solution strongly influence the statistical properties. These disappear at the second transition, at which the global quantities exhibit a jump and attain values that are consistent with the establishment of a quasiequilibrium state characterized by energy equipartition among the Fourier modes. Our comparative analysis shows that the macroscopic statistical properties of the formally time-reversible system and the Burgers equation are equivalent in all the regimes, irrespective of the truncation effects, and this equivalence is not just limited to the hydrodynamic regime, thereby further strengthening the Gallavotti's equivalence conjecture. The properties of the system are further examined by inspecting the complex space singularities in the velocity field of the Burgers equation. Furthermore, an effective theory is proposed to describe the discontinuous transition.


title: A regularity result for the Fokker-Planck equation with non-smooth drift and diffusion

abstract: The goal of this paper is to study weak solutions of the Fokker-Planck equation. We first discuss existence and uniqueness of weak solutions in an irregular context, providing a unified treatment of the available literature along with some extensions. Then, we prove a regularity result for distributional solutions under suitable integrability assumptions, relying on a new, simple commutator estimate in the spirit of DiPerna-Lions' theory of renormalized solutions for the transport equation. Our result is somehow transverse to Theorem 4.3 of [15]: on the diffusion matrix we relax the assumption of Lipschitz regularity in time at the price of assuming Sobolev regularity in space, and we prove the regularity (and hence the uniqueness) of distributional solutions to the Fokker-Planck equation.


title: Excitonic enhancement of cavity-mediated interactions in a two-band Hubbard model

abstract: We study cavity-mediated interactions that are generated in a two-dimensional two-band Hubbard model coupled to an optical cavity, when it is driven in-gap by a strong laser. Starting from a Floquet description of the driven system, we derive effective low-energy Hamiltonians by projecting out the high-energy degrees of freedom and treating intrinsic interactions on a mean field level. We then investigate how the emergence of high-energy Frenkel excitons from the electronic interband coupling, which form near the upper electronic band, affects the interactions as well as the laser-induced Floquet renormalization of the electronic band structure. Cavity-mediated interactions are enhanced strongly when the light couples to an excitonic transition. Additionally, the interaction as well as the Floquet renormalization are strongly broadened in reciprocal space, which could further boost the impact of cavity-mediated interactions on the driven-dissipative steady state.

categories: quant-ph cond-mat.mes-hall cond-mat.quant-gas cond-mat.str-el


title: Energy dependence of $J/\psi$ production in pp collisions with the PACIAE model

abstract: In this work we investigate the $J/\psi$ production in proton-proton collisions at the center-of-mass energy ($\sqrt{s}$) equal to 2.76, 5.02, 7, 8 and 13 TeV with a parton and hadron cascade model PACIAE 2.2a. It is based on PYTHIA but extended considering the partonic and hadronic rescatterings before and after hadronization, respectively. In the PYTHIA sector the $J/\psi$ production quantum chromodynamics processes are selected specially and a bias factor is proposed correspondingly. The calculated total cross sections, the differential cross sections as a function of the transverse momentum and the rapidity of $J/\psi$ in the forward rapidity region reproduce the corresponding experimental measurements reasonably well. In the mid-rapidity region, the double differential cross sections at $\sqrt{s}=$ 5.02, 7 and 13 TeV are also in a good agreement with the experimental data. Moreover, we interpolate the double differential cross section as well as the total cross section of $J/\psi$ in the mid-rapidity region at $\sqrt{s}=$ 8 TeV, which could be validated if the experimental data is available.


title: The top quark rare decays with flavor violation

abstract: In the present study, we investigate the decays of the top quark $t\rightarrow c\gamma$, $t\rightarrow cg$, $t\rightarrow cZ$ and $t\rightarrow ch$. They are extremely rare processes in the Standard Model (SM). As the $U(1)$ extension of the minimal supersymmetric standard model (MSSM), the $U(1)_X$SSM features new superfields such as the right-handed neutrinos and three Higgs singlets. We analyze the effects of different sensitive parameters on the results and make reasonable theorecial predictions, which provides a useful reference for future experimental development. Considering the constraint of the updated experimental data, the numerical results show that the branching ratios of all four processes $t\rightarrow c\gamma,~cg,~cZ,~ch$ can reach the same order of magnitude as their experimental upper limits. Among them, $\tan\beta$ has the most obvious effect on each process and is the main parameter. $g_X$, $g_{YX}$, $\mu$, $M_2$, $\lambda_H$, $M_{U23}^2$ and $M_{Q23}^2$ are important parameters for the processes, and have effects on the numerical results.


title: Online Combinatorial Linear Optimization via a Frank-Wolfe-based Metarounding Algorithm

abstract: Metarounding is an approach to convert an approximation algorithm for linear optimization over some combinatorial classes to an online linear optimization algorithm for the same class. We propose a new metarounding algorithm under a natural assumption that a relax-based approximation algorithm exists for the combinatorial class. Our algorithm is much more efficient in both theoretical and practical aspects.


title: Heart Disease Detection using Vision-Based Transformer Models from ECG Images

abstract: Heart disease, also known as cardiovascular disease, is a prevalent and critical medical condition characterized by the impairment of the heart and blood vessels, leading to various complications such as coronary artery disease, heart failure, and myocardial infarction. The timely and accurate detection of heart disease is of paramount importance in clinical practice. Early identification of individuals at risk enables proactive interventions, preventive measures, and personalized treatment strategies to mitigate the progression of the disease and reduce adverse outcomes. In recent years, the field of heart disease detection has witnessed notable advancements due to the integration of sophisticated technologies and computational approaches. These include machine learning algorithms, data mining techniques, and predictive modeling frameworks that leverage vast amounts of clinical and physiological data to improve diagnostic accuracy and risk stratification. In this work, we propose to detect heart disease from ECG images using cutting-edge technologies, namely vision transformer models. These models are Google-Vit, Microsoft-Beit, and Swin-Tiny. To the best of our knowledge, this is the initial endeavor concentrating on the detection of heart diseases through image-based ECG data by employing cuttingedge technologies namely, transformer models. To demonstrate the contribution of the proposed framework, the performance of vision transformer models are compared with state-of-the-art studies. Experiment results show that the proposed framework exhibits remarkable classification results.


title: Inverse Renormalization Group of Disordered Systems

abstract: We propose inverse renormalization group transformations to construct approximate configurations for lattice volumes that have not yet been accessed by supercomputers or large-scale simulations in the study of spin glasses. Specifically, starting from lattices of volume $V=8^{3}$ in the case of the three-dimensional Edwards-Anderson model we employ machine learning algorithms to construct rescaled lattices up to $V'=128^{3}$, which we utilize to extract two critical exponents. We conclude by discussing how to incorporate numerical exactness within inverse renormalization group approaches of disordered systems, thus opening up the opportunity to explore a sustainable and energy-efficient generation of exact configurations for increasing lattice volumes without the use of dedicated supercomputers.

categories: cond-mat.stat-mech cond-mat.dis-nn cs.LG hep-lat


title: Towards a Deep Learning-based Online Quality Prediction System for Welding Processes

abstract: The digitization of manufacturing processes enables promising applications for machine learning-assisted quality assurance. A widely used manufacturing process that can strongly benefit from data-driven solutions is gas metal arc welding (GMAW). The welding process is characterized by complex cause-effect relationships between material properties, process conditions and weld quality. In non-laboratory environments with frequently changing process parameters, accurate determination of weld quality by destructive testing is economically unfeasible. Deep learning offers the potential to identify the relationships in available process data and predict the weld quality from process observations. In this paper, we present a concept for a deep learning based predictive quality system in GMAW. At its core, the concept involves a pipeline consisting of four major phases: collection and management of multi-sensor data (e.g. current and voltage), real-time processing and feature engineering of the time series data by means of autoencoders, training and deployment of suitable recurrent deep learning models for quality predictions, and model evolutions under changing process conditions using continual learning. The concept provides the foundation for future research activities in which we will realize an online predictive quality system for running production.


title: Anomalous dynamical response of non-Hermitian topological phases

abstract: Composite topological phases with intriguing topology like M${\"o}$bius strips emerge in sublattice symmetric non-Hermitian systems due to spontaneous breaking of time-reversal symmetry at some parameter regime. While these phases have been characterized by nonadiabatic complex geometric phases of multiple participating complex bands, the physical properties of these phases largely remain unknown. We explore the dynamical response of these phases by studying Loschmidt echo from an initial state of the Hermitian Su-Schrieffer-Heeger (SSH) model, which is evolved by a non-Hermitian SSH Hamiltonian after a sudden quench in parameters. Topology-changing quenches display non-analytical temporal behavior of return rates (logarithm of the Loschmidt echo) for the non-Hermitian SSH Hamiltonian in the trivial, M${\"o}$bius and topological phase. Moreover, the dynamical topological order parameter appears only at one side of the Brillouin zone for the M${\"o}$bius phase case in contrast to both sides of the Brillouin zone for quench by the trivial and topological phase of the non-Hermitian SSH model. The last feature is a dynamical signature of different symmetry constraints on the real and imaginary parts of the complex bands in the M${\"o}$bius phase.


title: Improved treatment of the $T_2$ molecular final-states uncertainties for the KATRIN neutrino-mass measurement

abstract: The KArlsruhe TRItium Neutrino experiment (KATRIN) aims to determine the effective mass of the electron antineutrino via a high-precision measurement of the tritium beta-decay spectrum in its end-point region. The target neutrino-mass sensitivity of 0.2 eV / c^2 at 90% C.L. can only be achieved in the case of high statistics and a good control of the systematic uncertainties. One key systematic effect originates from the calculation of the molecular final states of T_2 beta decay. In the first neutrino-mass analyses of KATRIN the contribution of the uncertainty of the molecular final-states distribution (FSD) was estimated via a conservative phenomenological approach to be 0.02 eV^2 / c^4. In this paper a new procedure is presented for estimating the FSD-related uncertainties by considering the details of the final-states calculation, i.e. the uncertainties of constants, parameters, and functions used in the calculation as well as its convergence itself as a function of the basis-set size used in expanding the molecular wave functions. The calculated uncertainties are directly propagated into the experimental observable, the squared neutrino mass m_nu^2. With the new procedure the FSD-related uncertainty is constrained to 0.0013 eV^2 / c^4, for the experimental conditions of the first KATRIN measurement campaign.


title: Variational assimilation of sparse time-averaged data for efficient adjoint-based optimization of unsteady RANS simulations

abstract: Data assimilation (DA) plays a crucial role in extracting valuable information from flow measurements in fluid dynamics problems. Often only time-averaged data is available, which poses challenges for DA in the context of unsteady flow problems. Recent works have shown promising results in optimizing Reynolds-averaged Navier-Stokes (RANS) simulations of stationary flows using sparse data through variational data assimilation, enabling the reconstruction of mean flow profiles. In this study we perform three-dimensional variational data assimilation of sparse time-averaged data into an unsteady RANS (URANS) simulation by means of a stationary divergence-free forcing term in the URANS equations. Efficiency and speed of our method are enhanced by employing coarse URANS simulations and leveraging the stationary discrete adjoint method for the time-averaged URANS equations. The data assimilation codes were developed in-house using OpenFOAM for the URANS simulations as well as for the solution of the adjoint problem, and Python for the gradient-based optimization. Our results demonstrate that data assimilation of sparse time-averaged velocity measurements not only enables accurate mean flow reconstruction, but also improves the flow dynamics, specifically the vortex shedding frequency. To validate the efficacy of our approach, we applied it to turbulent flows around cylinders of various shapes at Reynolds numbers ranging from 3000 to 22000. Our findings indicate that data points near the cylinder play a crucial role in improving the vortex shedding frequency, while additional data points further downstream are necessary to also reconstruct the time-averaged velocity field in the wake region.


title: H$\beta$ spectroscopy of the high-inclination black hole transient Swift J1357.2-0933 during quiescence

abstract: Swift J1357.2-0933 is a transient low-mass X-ray binary hosting a stellar-mass black hole. The source exhibits optical dips and very broad emission lines during both outburst and quiescence, which are thought to be the result of a high orbital inclination. We present phase-resolved spectroscopy obtained with the 10.4m Gran Telescopio Canarias (GTC). The spectra focus on the $\rm{H}\beta$ spectral region during X-ray quiescence. The emission line is exceptionally broad (full width at half maximum, FWHM > 4000 \AA), in agreement with previous studies focused on $\rm{H}\alpha$. A two-Gaussian fit to the prominent double-peaked profile reveals a periodic variability in the centroid position of the line. We also produced a diagnostic diagram aimed at constraining additional orbital parameters. Together, they allow us to independently confirm the orbital period of the system using a new dataset obtained five years after the previous outburst. However, our estimates for both the systemic velocity and the radial velocity semi-amplitude of the black hole reveal larger values than those found in previous studies. We argue that this could be explained by the precession of the disc and the presence of a hotspot. We found evidence of a narrow inner core in the double-peaked H$\beta$ emission profile. We studied its evolution across the orbit, finding that it is likely to result from the occultation of inner material by the outer rim bulge, further supporting the high orbital inclination hypothesis.


title: Counting self-dual monotone Boolean functions

abstract: Let $D_n$ denote the set of monotone Boolean functions with $n$ variables. Elements of $D_n$ can be represented as strings of bits of length $2^n$. Two elements of $D_0$ are represented as 0 and 1 and any element $g\in D_n$, with $n>0$, is represented as a concatenation $g_0\cdot g_1$, where $g_0, g_1\in D_{n-1}$ and $g_0\le g_1$. For each $x\in D_n$, we have dual $x^*\in D_n $ which is obtained by reversing and negating all bits. An element $x\in D_n$ is self-dual if $x=x^*$. Let $\lambda_n$ denote the cardinality of the set of all self-dual monotone Boolean functions of $n$ variables. The value $\lambda_n$ is also known as the $n$-th Hosten-Morris number. In this paper, we derive several algorithms for counting self-dual monotone Boolean functions and confirm the known result that $\lambda_9$ equals 423,295,099,074,735,261,880.


title: PSYCHIC: A Neuro-Symbolic Framework for Knowledge Graph Question-Answering Grounding

abstract: The Scholarly Question Answering over Linked Data (Scholarly QALD) at The International Semantic Web Conference (ISWC) 2023 challenge presents two sub-tasks to tackle question answering (QA) over knowledge graphs (KGs). We answer the KGQA over DBLP (DBLP-QUAD) task by proposing a neuro-symbolic (NS) framework based on PSYCHIC, an extractive QA model capable of identifying the query and entities related to a KG question. Our system achieved a F1 score of 00.18% on question answering and came in third place for entity linking (EL) with a score of 71.00%.


title: Tuning Dipolar and Multipolar Resonances of Chiral Silicon Nanostructures for Control of Near field Superchirality

abstract: Chiral materials display a property called optical activity, which is the capability to interact differentially with left and right circularly polarised light. This leads to the ability to manipulate the polarisation state of light, which has a broad range of applications spanning from energy efficient displays to quantum technologies. Both synthesised and engineered chiral nanomaterials are exploited in such devices. The design strategy for optimising the optical activity of a chiral material is typically based on maximising a single parameter, the electric dipole magnetic dipole response. Here we demonstrate an alternative approach of controlling optical activity by manipulating both the dipole and multipolar response of a nanomaterial. This provides an additional parameter for material design, affording greater flexibility. The exemplar systems used to illustrate the strategy are nanofabricated chiral silicon structures. The multipolar response of the structures, and hence their optical activity, can be controlled simply by varying their height. This phenomenon allows optical activity and the creation of so called superchiral fields, with enhanced asymmetries, to be controlled over a broader wavelength range, than is achievable with just the electric dipole magnetic dipole response. This work adds to the material design toolbox providing a route to novel nanomaterials for optoelectronics and sensing applications.


title: Non-Autoregressive Sentence Ordering

abstract: Existing sentence ordering approaches generally employ encoder-decoder frameworks with the pointer net to recover the coherence by recurrently predicting each sentence step-by-step. Such an autoregressive manner only leverages unilateral dependencies during decoding and cannot fully explore the semantic dependency between sentences for ordering. To overcome these limitations, in this paper, we propose a novel Non-Autoregressive Ordering Network, dubbed \textit{NAON}, which explores bilateral dependencies between sentences and predicts the sentence for each position in parallel. We claim that the non-autoregressive manner is not just applicable but also particularly suitable to the sentence ordering task because of two peculiar characteristics of the task: 1) each generation target is in deterministic length, and 2) the sentences and positions should match exclusively. Furthermore, to address the repetition issue of the naive non-autoregressive Transformer, we introduce an exclusive loss to constrain the exclusiveness between positions and sentences. To verify the effectiveness of the proposed model, we conduct extensive experiments on several common-used datasets and the experimental results show that our method outperforms all the autoregressive approaches and yields competitive performance compared with the state-of-the-arts. The codes are available at: \url{https://github.com/steven640pixel/nonautoregressive-sentence-ordering}.


title: A Novel Ferroelectric Rashba Semiconductor

abstract: Fast, reversible, and low-power manipulation of the spin texture is crucial for next generation spintronic devices like non-volatile bipolar memories, switchable spin current injectors or spin field effect transistors. Ferroelectric Rashba semiconductors (FERSC) are the ideal class of materials for the realization of such devices. Their ferroelectric character enables an electronic control of the Rashba-type spin texture by means of the reversible and switchable polarization. Yet, only very few materials have been established to belong to this class of multifunctional materials. Here, Pb1-xGexTe is unraveled as a novel FERSC system down to nanoscale. The ferroelectric phase transition and concomitant lattice distortion is demonstrated by temperature dependent X-ray diffraction, and its effect on electronic properties are measured by angle-resolved photoemission spectroscopy. In few nanometer-thick epitaxial heterostructures, a large Rashba spin-splitting is exhibiting a wide tuning range as a function of temperature and Ge content. Our work defines Pb1- xGexTe as a high-potential FERSC system for spintronic applications.


title: Semi-inclusive two-nucleon emission in (anti) neutrino CC scattering within the relativistic mean field framework

abstract: This paper delves into the distribution of semi-inclusive events involving the emission of two nucleons in (anti) neutrino charged-current scattering. The analysis is conducted within the framework of relativistic mean field theory applied to nuclear matter. To quantify the likelihood of such semi-inclusive events occurring, we employ a relativistic model of meson-exchange currents that aligns with the 2p2h inclusive cross-section. The outcomes are presented in terms of one-fold and two-fold integrated semi-inclusive cross sections. To highlight disparities among the various emission channels, including proton-proton, neutron-proton, and neutron-neutron, we compare them against a purely phase-space isotropic distribution within the center of mass of the two nucleons. These comparisons reveal significant differences in the event distributions, shedding light on the distinctive characteristics of each channel.


title: Riesz and Kolmogorov inequality for harmonic quasiregular mappings

abstract: Let $K\ge 1$ and $p\in(1,2]$. We obtain asymptotically sharp constant $c(K,p)$, when $K\to 1$ in the inequality $$\|\Im f\|_{p}\le c(K,p)\|\Re(f)\|_p$$ where $f\in \mathbf{h}^p$ is a $K-$quasiregular harmonic mapping in the unit disk belonging to the Hardy space $\mathbf{h}^p$, under the conditions $\arg(f(0))\in (-\pi/(2p),\pi/(2p))$ and $f(\mathbb{D})\cap(-\infty,0)=\emptyset$. The paper improves a recent result by Liu and Zhu in \cite{aimzhu}. We also extend this result for the quasiregular harmonic mappings in the unit ball in $\mathbb{R}^n$. We also extend Kolmogorov theorem for quasiregular harmonic mappings in the plane.


title: The damped focusing cubic wave equation on a bounded domain

abstract: For the focusing cubic wave equation on a compact Riemannian manifold of dimension $3$, the dichotomy between global existence and blow-up for solutions starting below the energy of the ground state is known since the work of Payne and Sattinger. In the case of a damped equation, we prove that the dichotomy between global existence and blow-up still holds. In particular, the damping does not prevent blow-up. Assuming that the damping satisfies the geometric control condition, we then prove that any global solution converges to a stationary solution along a time sequence, and that global solutions below the energy of the ground state can be stabilised, adapting the proof of a similar result in the defocusing case.


title: Correlation Driven Magnetic Frustration and Insulating Behavior of TiF$_3$

abstract: We investigate the halide perovskite TiF$_3$, renowned for its intricate interplay between structure, electronic correlations, magnetism, and thermal expansion. Despite its simple structure, understanding its low-temperature magnetic behavior has been a challenge. Previous theories proposed antiferromagnetic ordering. In contrast, experimental signatures for an ordered magnetic state are absent down to 10~K. Our current study has successfully reevaluated the theoretical modeling of TiF$_3$, unveiling the significance of strong electronic correlations as the key driver for its insulating behavior and magnetic frustration. In addition, our frequency-dependent optical reflectivity measurements exhibit clear signs of an insulating state. Analysis of the calculated magnetic data gives an antiferromagnetic exchange coupling with a net Weiss temperature of order 25~K as well as a magnetic response consistent with a $S$=1/2 local moment per Ti$^{3+}$. Yet, the system shows no susceptibility peak at this temperature scale and appears free of long-range antiferromagnetic order down to 1~K. Extending ab initio modeling of the material to larger unit cells shows a tendency for relaxing into a non-collinear magnetic ordering, with a shallow energy landscape between several magnetic ground states, promoting the status of this simple, nearly cubic perovskite structured material as a candidate spin liquid.


title: TRUSTED: The Paired 3D Transabdominal Ultrasound and CT Human Data for Kidney Segmentation and Registration Research

abstract: Inter-modal image registration (IMIR) and image segmentation with abdominal Ultrasound (US) data has many important clinical applications, including image-guided surgery, automatic organ measurement and robotic navigation. However, research is severely limited by the lack of public datasets. We propose TRUSTED (the Tridimensional Renal Ultra Sound TomodEnsitometrie Dataset), comprising paired transabdominal 3DUS and CT kidney images from 48 human patients (96 kidneys), including segmentation, and anatomical landmark annotations by two experienced radiographers. Inter-rater segmentation agreement was over 94 (Dice score), and gold-standard segmentations were generated using the STAPLE algorithm. Seven anatomical landmarks were annotated, important for IMIR systems development and evaluation. To validate the dataset's utility, 5 competitive Deep Learning models for automatic kidney segmentation were benchmarked, yielding average DICE scores from 83.2% to 89.1% for CT, and 61.9% to 79.4% for US images. Three IMIR methods were benchmarked, and Coherent Point Drift performed best with an average Target Registration Error of 4.53mm. The TRUSTED dataset may be used freely researchers to develop and validate new segmentation and IMIR methods.


title: Cometary surface dust layers built out of millimetre-scale aggregates: dependence of modelled cometary gas production on the layer transport properties

abstract: The standard approach to obtaining knowledge about the properties of the surface layer of a comet from observations of gas production consists of two stages. First, various thermophysical models are used to calculate gas production for a few sets of parameters. Second, a comparison of observations and theoretical predictions is performed. This approach is complicated because the values of many model characteristics are known only approximately. Therefore, it is necessary to investigate the sensitivity of the simulated outgassing to variations in the properties of the surface layer. This problem was recently considered by us for aggregates up to tens of microns in size. For millimetre-size aggregates, a qualitative extension of the method used to model the structural characteristics of the layer is required. It is also necessary to study the role of radiative thermal conductivity, which may play an important role for such large particles. We investigated layers constructed from large aggregates and having various thicknesses and porosity and evaluated the effective sublimation of water ice at different heliocentric distances. For radiative conductivity, approximate commonly used models and the complicated model based on the Dense Medium Radiative Transfer theory were compared. It was shown that for millimetre-size aggregates careful consideration of the radiative thermal conductivity is required since this mechanism of energy transfer may change the resulting gas productivity by several times. We demonstrate that our model is more realistic for an evolved comet than simple models parameterising the properties of the cometary surface layer, yet maintains comparable computational complexity.


title: Towards Real-World Streaming Speech Translation for Code-Switched Speech

abstract: Code-switching (CS), i.e. mixing different languages in a single sentence, is a common phenomenon in communication and can be challenging in many Natural Language Processing (NLP) settings. Previous studies on CS speech have shown promising results for end-to-end speech translation (ST), but have been limited to offline scenarios and to translation to one of the languages present in the source (\textit{monolingual transcription}). In this paper, we focus on two essential yet unexplored areas for real-world CS speech translation: streaming settings, and translation to a third language (i.e., a language not included in the source). To this end, we extend the Fisher and Miami test and validation datasets to include new targets in Spanish and German. Using this data, we train a model for both offline and streaming ST and we establish baseline results for the two settings mentioned earlier.


title: A measurement of $\Delta \Gamma_{s}$

abstract: Using a dataset corresponding to $9~\mathrm{fb}^{-1}$ of integrated luminosity collected with the LHCb detector between 2011 and 2018 in proton-proton collisions, the decay-time distributions of the decay modes $B_s^0 \rightarrow J/\psi \eta'$ and $B_s^0 \rightarrow J/\psi \pi^{+} \pi^{-}$ are studied. The decay-width difference between the light and heavy mass eigenstates of the $B_s^0$ meson is measured to be $\Delta \Gamma_s = 0.087 \pm 0.012 \pm 0.009 \, \mathrm{ps}^{-1}$, where the first uncertainty is statistical and the second systematic.


title: Hibikino-Musashi@Home 2023 Team Description Paper

abstract: This paper describes an overview of the techniques of Hibikino-Musashi@Home, which intends to participate in the domestic standard platform league. The team has developed a dataset generator for the training of a robot vision system and an open-source development environment running on a human support robot simulator. The robot system comprises self-developed libraries including those for motion synthesis and open-source software works on the robot operating system. The team aims to realize a home service robot that assists humans in a home, and continuously attend the competition to evaluate the developed system. The brain-inspired artificial intelligence system is also proposed for service robots which are expected to work in a real home environment.


title: Accelerating the force-coupling method for hydrodynamic interactions in periodic domains

abstract: The efficient simulation of fluid-structure interactions at zero Reynolds number requires the use of fast summation techniques in order to rapidly compute the long-ranged hydrodynamic interactions between the structures. One approach for periodic domains involves utilising a compact or exponentially decaying kernel function to spread the force on the structure to a regular grid where the resulting flow and interactions can be computed efficiently using an FFT-based solver. A limitation to this approach is that the grid spacing must be chosen to resolve the kernel and thus, these methods can become inefficient when the separation between the structures is large compared to the kernel width. In this paper, we address this issue for the force-coupling method (FCM) by introducing a modified kernel that can be resolved on a much coarser grid, and subsequently correcting the resulting interactions in a pairwise fashion. The modified kernel is constructed to ensure rapid convergence to the exact hydrodynamic interactions and a positive-splitting of the associated mobility matrix. We provide a detailed computational study of the methodology and establish the optimal choice of the modified kernel width, which we show plays a similar role to the splitting parameter in Ewald summation. Finally, we perform example simulations of rod sedimentation and active filament coordination to demonstrate the performance of fast FCM in application.


title: Exciton-exciton Interactions -- A Quantitative Comparison Between Complimentary Phenomenological Models

abstract: Many-body interactions (MBIs) such as exciton-exciton interactions significantly affect the optical response of semiconductor nanostructures. These interactions can be rigorously modeled through microscopic calculations. However, these calculations can be computationally intensive and often lack physical insights. An alternative is to use phenomenological many-body interaction models such as the modified optical Bloch equations (MOBEs) and the anharmonic oscillator (AO) model. While both these models have separately been used to interpret experimental data, to the best of our knowledge, an explicit and direct correspondence between these models has not been established. Here, we show the empirical equivalence between these two complimentary MBI models through two-dimensional coherent spectroscopy simulations. A quantitative correspondence between the MBI parameters used in the two models are obtained. We also perform a quantitative comparison of these MBI models with experiments, which highlights the usefulness of these phenomenological models in interpreting experimental results.


title: Product of Gaussian Mixture Diffusion Models

abstract: In this work we tackle the problem of estimating the density $ f_X $ of a random variable $ X $ by successive smoothing, such that the smoothed random variable $ Y $ fulfills the diffusion partial differential equation $ (\partial_t - \Delta_1)f_Y(\,\cdot\,, t) = 0 $ with initial condition $ f_Y(\,\cdot\,, 0) = f_X $. We propose a product-of-experts-type model utilizing Gaussian mixture experts and study configurations that admit an analytic expression for $ f_Y (\,\cdot\,, t) $. In particular, with a focus on image processing, we derive conditions for models acting on filter-, wavelet-, and shearlet responses. Our construction naturally allows the model to be trained simultaneously over the entire diffusion horizon using empirical Bayes. We show numerical results for image denoising where our models are competitive while being tractable, interpretable, and having only a small number of learnable parameters. As a byproduct, our models can be used for reliable noise level estimation, allowing blind denoising of images corrupted by heteroscedastic noise.


title: Optimizing a Broad Energy High Purity Germanium (BEGe) Detector Operated at Shallow Depth in Abu Dhabi

abstract: In this work we present the characterization of a Broad Energy Germanium (BEGe) type High Purity Germanium (HPGe) detector, with a carbon fiber entrance window thickness of 0.6 mm and an active area of 6305 mm2, operated at shallow depth (~ 8m) in Abu Dhabi, UAE. A 1.6 keV Full Width Half Maximum (FWHM) was obtained for the 662 keV peak of 137Cs. A muon veto was applied, reducing the background by 8 % (for energies greater than 100 keV). Flushing the volume around the detector endcap with nitrogen gas, to remove radon and thus its progeny, further reduced the background by ~3 %. A thorough analysis for the shaping filter parameters showed that the detector has better resolution at low rise-time values (2 - 5 us) especially for low energy gamma (<600keV), keeping the flattop value fixed at 1.1 us.


title: A sharp upper bound for the expected occupation density of It\^o processes with bounded irregular drift and diffusion coefficients

abstract: We find explicit and optimal upper bounds for the expected occupation density for an It\^o-process when its drift and diffusion coefficients are unknown under boundedness and ellipticity conditions on the coefficients. This is related to the optimal bound for the expected interval occupation found in Ankirchner and Wendt(2021). In contrast, our bound is for a single point and the resulting formula is less involved. Our findings allow us to find explicit upper bounds for mean path integrals.


title: Impact of measurement backaction on nuclear spin qubits in silicon

abstract: Phosphorus donor nuclear spins in silicon couple weakly to the environment making them promising candidates for high-fidelity qubits. The state of a donor nuclear spin qubit can be manipulated and read out using its hyperfine interaction with the electron confined by the donor potential. Here we use a master equation-based approach to investigate how the backaction from this electron-mediated measurement affects the lifetimes of single and multi-donor qubits. We analyze this process as a function of electric and magnetic fields, and hyperfine interaction strength. Apart from single nuclear spin flips, we identify an additional measurement-related mechanism, the nuclear spin flip-flop, which is specific to multi-donor qubits. Although this flip-flop mechanism reduces qubit lifetimes, we show that it can be effectively suppressed by the hyperfine Stark shift. We show that using atomic precision donor placement and engineered Stark shift, we can minimize the measurement backaction in multi-donor qubits, achieving larger nuclear spin lifetimes than single donor qubits.


title: 4-Cycle Free Spatially Coupled LDPC Codes with an Explicit Construction

abstract: Spatially coupled low-density parity-check (SC-LDPC) codes are a class of capacity approaching LDPC codes with low message recovery latency when a sliding window decoding is used. In this paper, we first present a new method for the construction of a class of SC-LDPC codes by the incidence matrices of a given non-negative integer matrix $E$, and then the relationship of 4-cycles between matrix $E$ and the corresponding SC-LDPC code are investigated. Finally, by defining a new class of integer finite sequences, called {\it good sequences}, for the first time, we give an explicit method for the construction of a class of 4-cycle free SC-LDPC codes that can achieve (in most cases) the minimum coupling width.


title: phyloDB: A framework for large-scale phylogenetic analysis

abstract: phyloDB is a modular and extensible framework for large-scale phylogenetic analyses, which are essential for understanding epidemics evolution. It relies on the Neo4j graph database for data storage and processing, providing a schema and an API for representing and querying phylogenetic data. Custom algorithms are also supported, allowing to perform heavy computations directly over the data, and to store results in the database. Multiple computation results are stored as multilayer networks, promoting and facilitating comparative analyses, as well as avoiding unnecessary ab initio computations. The experimental evaluation results showcase that phyloDB is efficient and scalable with respect to both API operations and algorithms execution.


title: A Comparison Of Direct Solvers In FROSch Applied To Chemo-Mechanics

abstract: Sparse direct linear solvers are at the computational core of domain decomposition preconditioners and therefore have a strong impact on their performance. In this paper, we consider the Fast and Robust Overlapping Schwarz (FROSch) solver framework of the Trilinos software library, which contains a parallel implementations of the GDSW domain decomposition preconditioner. We compare three different sparse direct solvers used to solve the subdomain problems in FROSch. The preconditioner is applied to different model problems; linear elasticity and more complex fully-coupled deformation diffusion-boundary value problems from chemo-mechanics. We employ FROSch in fully algebraic mode, and therefore, we do not expect numerical scalability. Strong scalability is studied from 64 to 4096 cores, where good scaling results are obtained up to 1728 cores. The increasing size of the coarse problem increases the solution time for all sparse direct solvers.


title: Gradient Descent Fails to Learn High-frequency Functions and Modular Arithmetic

abstract: Classes of target functions containing a large number of approximately orthogonal elements are known to be hard to learn by the Statistical Query algorithms. Recently this classical fact re-emerged in a theory of gradient-based optimization of neural networks. In the novel framework, the hardness of a class is usually quantified by the variance of the gradient with respect to a random choice of a target function. A set of functions of the form $x\to ax \bmod p$, where $a$ is taken from ${\mathbb Z}_p$, has attracted some attention from deep learning theorists and cryptographers recently. This class can be understood as a subset of $p$-periodic functions on ${\mathbb Z}$ and is tightly connected with a class of high-frequency periodic functions on the real line. We present a mathematical analysis of limitations and challenges associated with using gradient-based learning techniques to train a high-frequency periodic function or modular multiplication from examples. We highlight that the variance of the gradient is negligibly small in both cases when either a frequency or the prime base $p$ is large. This in turn prevents such a learning algorithm from being successful.


title: Consistency of Lorentz-invariance violation neutrino scenarios in time delay analyses

abstract: Modifications inspired by quantum gravity in the kinematics of special relativity can manifest in various ways, including anomalies in the time of flight of massless particles and the emergence of decay channels for otherwise stable particles. Typically, these effects are studied independently; however, it may be necessary to combine both to perform a consistent analysis. In this work, we study the interplay between time-of-flight anomalies and neutrino instability in the context of a flavor-independent high-energy Lorentz-invariance violation (LIV) in the neutrino sector. Ensuring compatibility between both types of effects imposes strong constraints on the existence of early neutrinos with energies exceeding a maximum value determined by the scale of new physics. Such constraints depend on the specific LIV scenario and should be integrated into searches for high-energy neutrinos from gamma-ray bursts exhibiting LIV time shifts.


title: A mathematical foundation for self-testing: Lifting common assumptions

abstract: In this work we study the phenomenon of self-testing from the first principles, aiming to place this versatile concept on a rigorous mathematical footing. Self-testing allows a classical verifier to infer a quantum mechanical description of untrusted quantum devices that she interacts with in a black-box manner. Somewhat contrary to the black-box paradigm, existing self-testing results tend to presuppose conditions that constrain the operation of the untrusted devices. A common assumption is that these devices perform a projective measurement of a pure quantum state. Naturally, in the absence of any prior knowledge it would be appropriate to model these devices as measuring a mixed state using POVM measurements, since the purifying/dilating spaces could be held by the environment or an adversary. We prove a general theorem allowing to remove these assumptions, thereby promoting most existing self-testing results to their assumption-free variants. On the other hand, we pin-point situations where assumptions cannot be lifted without loss of generality. As a key (counter)example we identify a quantum correlation which is a self-test only if certain assumptions are made. Remarkably, this is also the first example of a correlation that cannot be implemented using projective measurements on a bipartite state of full Schmidt rank. Finally, we compare existing self-testing definitions, establishing many equivalences as well as identifying subtle differences.


title: Knowledge from Uncertainty in Evidential Deep Learning

abstract: This work reveals an evidential signal that emerges from the uncertainty value in Evidential Deep Learning (EDL). EDL is one example of a class of uncertainty-aware deep learning approaches designed to provide confidence (or epistemic uncertainty) about the current test sample. In particular for computer vision and bidirectional encoder large language models, the `evidential signal' arising from the Dirichlet strength in EDL can, in some cases, discriminate between classes, which is particularly strong when using large language models. We hypothesise that the KL regularisation term causes EDL to couple aleatoric and epistemic uncertainty. In this paper, we empirically investigate the correlations between misclassification and evaluated uncertainty, and show that EDL's `evidential signal' is due to misclassification bias. We critically evaluate EDL with other Dirichlet-based approaches, namely Generative Evidential Neural Networks (EDL-GEN) and Prior Networks, and show theoretically and empirically the differences between these loss functions. We conclude that EDL's coupling of uncertainty arises from these differences due to the use (or lack) of out-of-distribution samples during training.


title: Is ChatGPT a Financial Expert? Evaluating Language Models on Financial Natural Language Processing

abstract: The emergence of Large Language Models (LLMs), such as ChatGPT, has revolutionized general natural language preprocessing (NLP) tasks. However, their expertise in the financial domain lacks a comprehensive evaluation. To assess the ability of LLMs to solve financial NLP tasks, we present FinLMEval, a framework for Financial Language Model Evaluation, comprising nine datasets designed to evaluate the performance of language models. This study compares the performance of encoder-only language models and the decoder-only language models. Our findings reveal that while some decoder-only LLMs demonstrate notable performance across most financial tasks via zero-shot prompting, they generally lag behind the fine-tuned expert models, especially when dealing with proprietary datasets. We hope this study provides foundation evaluations for continuing efforts to build more advanced LLMs in the financial domain.


title: SecurityNet: Assessing Machine Learning Vulnerabilities on Public Models

abstract: While advanced machine learning (ML) models are deployed in numerous real-world applications, previous works demonstrate these models have security and privacy vulnerabilities. Various empirical research has been done in this field. However, most of the experiments are performed on target ML models trained by the security researchers themselves. Due to the high computational resource requirement for training advanced models with complex architectures, researchers generally choose to train a few target models using relatively simple architectures on typical experiment datasets. We argue that to understand ML models' vulnerabilities comprehensively, experiments should be performed on a large set of models trained with various purposes (not just the purpose of evaluating ML attacks and defenses). To this end, we propose using publicly available models with weights from the Internet (public models) for evaluating attacks and defenses on ML models. We establish a database, namely SecurityNet, containing 910 annotated image classification models. We then analyze the effectiveness of several representative attacks/defenses, including model stealing attacks, membership inference attacks, and backdoor detection on these public models. Our evaluation empirically shows the performance of these attacks/defenses can vary significantly on public models compared to self-trained models. We share SecurityNet with the research community. and advocate researchers to perform experiments on public models to better demonstrate their proposed methods' effectiveness in the future.


title: Who Benefits from a Multi-Cloud Market? A Trading Networks Based Analysis

abstract: In enterprise cloud computing, there is a big and increasing investment to move to multi-cloud computing, which allows enterprises to seamlessly utilize IT resources from multiple cloud providers, so as to take advantage of different cloud providers' capabilities and costs. This investment raises several key questions: Will multi-cloud always be more beneficial to the cloud users? How will this impact the cloud providers? Is it possible to create a multi-cloud market that is beneficial to all participants? In this work, we begin addressing these questions by using the game theoretic model of trading networks and formally compare between the single and multi-cloud markets. This comparson a) provides a sufficient condition under which the multi-cloud network can be considered more efficient than the single cloud one in the sense that a centralized coordinator having full information can impose an outcome that is strongly Pareto-dominant for all players and b) shows a surprising result that without centralized coordination, settings are possible in which even the cloud buyers' utilities may decrease when moving from a single cloud to a multi-cloud network. As these two results emphasize the need for centralized coordination to ensure a Pareto-dominant outcome and as the aforementioned Pareto-dominant result requires truthful revelation of participant's private information, we provide an automated mechanism design (AMD) approach, which, in the Bayesian setting, finds mechanisms which result in expectation in such Pareto-dominant outcomes, and in which truthful revelation of the parties' private information is the dominant strategy. We also provide empirical analysis to show the validity of our AMD approach.


title: STANLEY: Stochastic Gradient Anisotropic Langevin Dynamics for Learning Energy-Based Models

abstract: We propose in this paper, STANLEY, a STochastic gradient ANisotropic LangEvin dYnamics, for sampling high dimensional data. With the growing efficacy and potential of Energy-Based modeling, also known as non-normalized probabilistic modeling, for modeling a generative process of different natures of high dimensional data observations, we present an end-to-end learning algorithm for Energy-Based models (EBM) with the purpose of improving the quality of the resulting sampled data points. While the unknown normalizing constant of EBMs makes the training procedure intractable, resorting to Markov Chain Monte Carlo (MCMC) is in general a viable option. Realizing what MCMC entails for the EBM training, we propose in this paper, a novel high dimensional sampling method, based on an anisotropic stepsize and a gradient-informed covariance matrix, embedded into a discretized Langevin diffusion. We motivate the necessity for an anisotropic update of the negative samples in the Markov Chain by the nonlinearity of the backbone of the EBM, here a Convolutional Neural Network. Our resulting method, namely STANLEY, is an optimization algorithm for training Energy-Based models via our newly introduced MCMC method. We provide a theoretical understanding of our sampling scheme by proving that the sampler leads to a geometrically uniformly ergodic Markov Chain. Several image generation experiments are provided in our paper to show the effectiveness of our method.


title: Ultracompact horizonless objects in order-reduced semiclassical gravity

abstract: The backreaction of quantum fields in their vacuum state results in equilibrium structures that surpass the Buchdahl compactness limit. Such backreaction is encapsulated in the vacuum expectation value of the renormalized stress-energy tensor (RSET). In previous works we presented analytic approximations to the RSET, obtained by dimensional reduction, available in spherical symmetry, and showed that the backreaction-generated solutions described ultracompact fluid spheres with a negative mass interior. Here, we derive a novel approximation to the RSET that does not rely on dimensional reduction, but rather on a reduction of the differential order. This approximation also leads to regular stars surpassing the Buchdahl limit. We conclude that this is a consequence of the negative energies associated with the Boulware vacuum which, for sufficiently compact fluid spheres, make the Misner-Sharp mass negative near the centre of spherical symmetry. Our analysis provides further cumulative evidence that quantum vacuum polarization is capable of producing new forms of stellar equilibrium with robust properties accross different analytical approximations to the RSET.


title: Nature of the metallic and in-gap states in Ni-doped SrTiO$_3$

abstract: Epitaxial thin films of SrTiO$_3$(100) doped with 6% and 12% Ni are studied with resonant angle-resolved photoelectron spectroscopy (ARPES) at the Ti and Ni L2,3-edges. We find that the Ni doping shifts the valence band (VB) of pristine SrTiO$_3$ towards the Fermi level (p-doping) and reduces its band gap. This is accompanied by an upward energy shift of the Ti t2g-derived mobile electron system (MES). Thereby, the in-plane dxy-derived bands reduce the embedded electron density, as evidenced by progressive reduction of their Fermi momentum with the Ni concentration, and the out-of-plane dxz/yz-derived bands depopulate, making the MES purely two-dimensional. Furthermore, the Ti and Ni L2,3-edge resonant photoemission is used to identify the Ni 3d impurity state in the vicinity of the valence-band maximum, and decipher the full spectrum of the VO-induced in-gap states originating from the Ni atoms, Ti atoms, and from their hybridized orbitals. Our experimental information about the dependence of the valence bands, MES and in-gap states in Ni-doped SrTiO$_3$ may help development of this material towards its device applications associated with the reduced optical band gap.


title: Reliable and Efficient In-Memory Fault Tolerance of Large Language Model Pretraining

abstract: Extensive system scales (i.e. thousands of GPU/TPUs) and prolonged training periods (i.e. months of pretraining) significantly escalate the probability of failures when training large language models (LLMs). Thus, efficient and reliable fault-tolerance methods are in urgent need. Checkpointing is the primary fault-tolerance method to periodically save parameter snapshots from GPU memory to disks via CPU memory. In this paper, we identify the frequency of existing checkpoint-based fault-tolerance being significantly limited by the storage I/O overheads, which results in hefty re-training costs on restarting from the nearest checkpoint. In response to this gap, we introduce an in-memory fault-tolerance framework for large-scale LLM pretraining. The framework boosts the efficiency and reliability of fault tolerance from three aspects: (1) Reduced Data Transfer and I/O: By asynchronously caching parameters, i.e., sharded model parameters, optimizer states, and RNG states, to CPU volatile memory, Our framework significantly reduces communication costs and bypasses checkpoint I/O. (2) Enhanced System Reliability: Our framework enhances parameter protection with a two-layer hierarchy: snapshot management processes (SMPs) safeguard against software failures, together with Erasure Coding (EC) protecting against node failures. This double-layered protection greatly improves the survival probability of the parameters compared to existing checkpointing methods. (3) Improved Snapshotting Frequency: Our framework achieves more frequent snapshotting compared with asynchronous checkpointing optimizations under the same saving time budget, which improves the fault tolerance efficiency. Empirical results demonstrate that Our framework minimizes the overhead of fault tolerance of LLM pretraining by effectively leveraging redundant CPU resources.


title: Neural networks for insurance pricing with frequency and severity data: a benchmark study from data preprocessing to technical tariff

abstract: Insurers usually turn to generalized linear models for modelling claim frequency and severity data. Due to their success in other fields, machine learning techniques are gaining popularity within the actuarial toolbox. Our paper contributes to the literature on frequency-severity insurance pricing with machine learning via deep learning structures. We present a benchmark study on four insurance data sets with frequency and severity targets in the presence of multiple types of input features. We compare in detail the performance of: a generalized linear model on binned input data, a gradient-boosted tree model, a feed-forward neural network (FFNN), and the combined actuarial neural network (CANN). Our CANNs combine a baseline prediction established with a GLM and GBM, respectively, with a neural network correction. We explain the data preprocessing steps with specific focus on the multiple types of input features typically present in tabular insurance data sets, such as postal codes, numeric and categorical covariates. Autoencoders are used to embed the categorical variables into the neural network and we explore their potential advantages in a frequency-severity setting. Finally, we construct global surrogate models for the neural nets' frequency and severity models. These surrogates enable the translation of the essential insights captured by the FFNNs or CANNs to GLMs. As such, a technical tariff table results that can easily be deployed in practice.


title: Emergent Properties of the Periodic Anderson Model: a High-Resolution, Real-Frequency Study of Heavy-Fermion Quantum Criticality

abstract: We study paramagnetic quantum criticality in the periodic Anderson model (PAM) using cellular dynamical mean-field theory, with the numerical renormalization group (NRG) as an impurity solver. The PAM describes an itinerant $c$ band hybridizing with a localized $f$ band. At $T=0$, it exhibits a hybridization tuned Kondo breakdown quantum critical point (KB-QCP) from a Kondo to an RKKY phase. At the KB-QCP, the $f$ band changes character from itinerant to mainly localized, while the $c$ band remains itinerant. We elucidate its nature in detail by performing a high-resolution, real-frequency study of dynamical quantities. NRG allows us to study the quantum critical non-Fermi-liquid (NFL) regime located between $T_{FL}<T_{NFL}$. Surprisingly, self-consistency is essential to stabilize the NFL and the QCP. The Fermi-liquid (FL) scale $T_{FL}$ decreases towards and vanishes at the QCP. At $T=0$, we find the following properties. The $f$ quasiparticle (QP) weight $Z_f$ decreases continuously as the QCP is approached from either side, vanishing only at the QCP. Therefore, $Z_f$ is nonzero in both the Kondo and the RKKY phase; hence, the FL QP comprise $c$ and $f$ electrons in both phases. The Fermi surface (FS) volumes in the two phases differ. Whereas the large-FS Kondo phase has a usual two-band structure, the small-FS RKKY phase has an unexpected three-band structure. We provide a detailed analysis of quasiparticle properties of both the Kondo and the RKKY phase. The FS reconstruction is accompanied by the appearance of a Luttinger surface (LS) on which the $f$ self-energy diverges. The FS and LS volumes are related to the density by a generalized Luttinger sum rule. We interpret the small FS volume and the emergent LS as evidence for $f$-electron fractionalization in the RKKY phase. Our Hall coefficient and specific heat are in good qualitative agreement with experiment.


title: Oort cloud perturbations as a source of hyperbolic Earth impactors

abstract: The observation of interstellar objects 1I/'Oumuamua and 2I/Borisov suggests the existence of a larger population of smaller projectiles that impact our planet with unbound orbits. We analyze an asteroidal grazing meteor (FH1) recorded by the Finnish Fireball Network on October 23, 2022. FH1 displayed a likely hyperbolic orbit lying on the ecliptic plane with an estimated velocity excess of $\sim$0.7 km$\,$s$^{-1}$ at impact. FH1 may either be an interstellar object, indicating a high-strength bias in this population, or an Oort cloud object, which would reinforce migration-based solar system models. Furthermore, under the calculated uncertainties, FH1 could potentially be associated with the passage of Scholz's binary star system. Statistical evaluation of uncertainties in the CNEOS database and study of its hyperbolic fireballs reveals an anisotropic geocentric radiant distribution and low orbital inclinations, challenging the assumption of a randomly incoming interstellar population. Orbital integrations suggest that the event on March 9, 2017 (IM2) from CNEOS may have experienced gravitational perturbation during the Scholz fly-by, contingent upon velocity overestimation within the expected range. These findings suggest that apparent interstellar meteors may, in fact, be the result of accelerated meteoroid impacts caused by close encounters with massive objects within or passing through our solar system.


title: Observation of the Antimatter Hypernucleus $^4_{\bar{\Lambda}}\overline{\hbox{H}}$

abstract: At the origin of the Universe, asymmetry between the amount of created matter and antimatter led to the matter-dominated Universe as we know today. The origins of this asymmetry remain not completely understood yet. High-energy nuclear collisions create conditions similar to the Universe microseconds after the Big Bang, with comparable amounts of matter and antimatter. Much of the created antimatter escapes the rapidly expanding fireball without annihilating, making such collisions an effective experimental tool to create heavy antimatter nuclear objects and study their properties, hoping to shed some light on existing questions on the asymmetry between matter and antimatter. Here we report the first observation of the antimatter hypernucleus \hbox{$^4_{\bar{\Lambda}}\overline{\hbox{H}}$}, composed of a $\bar{\Lambda}$ , an antiproton and two antineutrons. The discovery was made through its two-body decay after production in ultrarelativistic heavy-ion collisions by the STAR experiment at the Relativistic Heavy Ion Collider. In total, 15.6 candidate \hbox{$^4_{\bar{\Lambda}}\overline{\hbox{H}}$} antimatter hypernuclei are obtained with an estimated background count of 6.4. The lifetimes of the antihypernuclei \hbox{$^3_{\bar{\Lambda}}\overline{\hbox{H}}$} and \hbox{$^4_{\bar{\Lambda}}\overline{\hbox{H}}$} are measured and compared with the lifetimes of their corresponding hypernuclei, testing the symmetry between matter and antimatter. Various production yield ratios among (anti)hypernuclei and (anti)nuclei are also measured and compared with theoretical model predictions, shedding light on their production mechanisms.


title: Characterizing the spontaneous collapse of a wavefunction through entropy production

abstract: We investigate the phenomenology leading to the non-conservation of energy of the continuous spontaneous localization (CSL) model from the viewpoint of non-equilibrium thermodynamics, and use such framework to assess the equilibration process entailed by the dissipative formulation of the model (dCSL). As a paradigmatic situation currently addressed in frontier experiments aimed at investigating possible collapse theories, we consider a one-dimensional mechanical oscillator in a thermal state. We perform our analysis in the phase space of the oscillator, where the entropy production rate, a non-equilibrium quantity used to characterize irreversibility, can be conveniently analyzed. We show that the CSL model violates Clausius law, as it exhibits a negative entropy production rate, while the dCSL model reaches equilibrium consistently only under certain dynamical conditions, thus allowing us to identify the values -- in the parameter space -- where the latter mechanism can be faithfully used to describe a thermodynamically consistent phenomenon.


title: Sideband Injection Locking in Microresonator Frequency Combs

abstract: Frequency combs from continuous-wave-driven Kerr-nonlinear microresonators have evolved into a key photonic technology with applications from optical communication to precision spectroscopy. Essential to many of these applications is the control of the comb's defining parameters, i.e., carrier-envelope offset frequency and repetition rate. An elegant and all-optical approach to controlling both degrees of freedom is the suitable injection of a secondary continuous-wave laser into the resonator onto which one of the comb lines locks. Here, we study experimentally such sideband injection locking in microresonator soliton combs across a wide optical bandwidth and derive analytic scaling laws for the locking range and repetition rate control. As an application example, we demonstrate optical frequency division and repetition rate phase-noise reduction to three orders of magnitude below the noise of a free-running system. The presented results can guide the design of sideband injection-locked, parametrically generated frequency combs with opportunities for low-noise microwave generation, compact optical clocks with simplified locking schemes and more generally, all-optically stabilized frequency combs from Kerr-nonlinear resonators.


title: Weakly Supervised Learning for Breast Cancer Prediction on Mammograms in Realistic Settings

abstract: Automatic methods for early detection of breast cancer on mammography can significantly decrease mortality. Broad uptake of those methods in hospitals is currently hindered because the methods have too many constraints. They assume annotations available for single images or even regions-of-interest (ROIs), and a fixed number of images per patient. Both assumptions do not hold in a general hospital setting. Relaxing those assumptions results in a weakly supervised learning setting, where labels are available per case, but not for individual images or ROIs. Not all images taken for a patient contain malignant regions and the malignant ROIs cover only a tiny part of an image, whereas most image regions represent benign tissue. In this work, we investigate a two-level multi-instance learning (MIL) approach for case-level breast cancer prediction on two public datasets (1.6k and 5k cases) and an in-house dataset of 21k cases. Observing that breast cancer is usually only present in one side, while images of both breasts are taken as a precaution, we propose a domain-specific MIL pooling variant. We show that two-level MIL can be applied in realistic clinical settings where only case labels, and a variable number of images per patient are available. Data in realistic settings scales with continuous patient intake, while manual annotation efforts do not. Hence, research should focus in particular on unsupervised ROI extraction, in order to improve breast cancer prediction for all patients.


title: TapMo: Shape-aware Motion Generation of Skeleton-free Characters

abstract: Previous motion generation methods are limited to the pre-rigged 3D human model, hindering their applications in the animation of various non-rigged characters. In this work, we present TapMo, a Text-driven Animation Pipeline for synthesizing Motion in a broad spectrum of skeleton-free 3D characters. The pivotal innovation in TapMo is its use of shape deformation-aware features as a condition to guide the diffusion model, thereby enabling the generation of mesh-specific motions for various characters. Specifically, TapMo comprises two main components - Mesh Handle Predictor and Shape-aware Diffusion Module. Mesh Handle Predictor predicts the skinning weights and clusters mesh vertices into adaptive handles for deformation control, which eliminates the need for traditional skeletal rigging. Shape-aware Motion Diffusion synthesizes motion with mesh-specific adaptations. This module employs text-guided motions and mesh features extracted during the first stage, preserving the geometric integrity of the animations by accounting for the character's shape and deformation. Trained in a weakly-supervised manner, TapMo can accommodate a multitude of non-human meshes, both with and without associated text motions. We demonstrate the effectiveness and generalizability of TapMo through rigorous qualitative and quantitative experiments. Our results reveal that TapMo consistently outperforms existing auto-animation methods, delivering superior-quality animations for both seen or unseen heterogeneous 3D characters.


title: Landau Free Energy of small clusters beyond mean field approach

abstract: The Landau Free Energy determines the landscape of order parameter fluctuations that occur in a physical system at thermal equilibrium and, in particular, characterizes the critical phenomena. We propose a semi-analytical approach based on the Fluctuating Local Field method, which allows to estimate Landau Free Energy for small clusters with discrete (Ising model) and continuous (Heisenberg model) order parameter.


title: On the Optimization and Generalization of Multi-head Attention

abstract: The training and generalization dynamics of the Transformer's core mechanism, namely the Attention mechanism, remain under-explored. Besides, existing analyses primarily focus on single-head attention. Inspired by the demonstrated benefits of overparameterization when training fully-connected networks, we investigate the potential optimization and generalization advantages of using multiple attention heads. Towards this goal, we derive convergence and generalization guarantees for gradient-descent training of a single-layer multi-head self-attention model, under a suitable realizability condition on the data. We then establish primitive conditions on the initialization that ensure realizability holds. Finally, we demonstrate that these conditions are satisfied for a simple tokenized-mixture model. We expect the analysis can be extended to various data-model and architecture variations.


title: Observational properties of hot-spots orbiting relativistic fluid spheres

abstract: In this work we analyze the observational properties of relativistic fluid spheres when orbited by isotropically emitting sources, known as hot spots. We consider fluid star configurations in four different regimes of compacticity, from the Buchdahl limit to non-ultra compact solutions, thus obtaining fluid stars with qualitatively different geodesic structures and observational properties. We show that the observational properties for fluid stars at the Buchdahl limit are qualitatively similar to the ones for the Schwarzschild black hole, whereas for more dilute configurations one can find observational properties similar to other fundamentally different models e.g. bosonic star configurations with and without self interactions. For solutions with a radius in the range $2.25M<R<3M$, where $M$ is the total mass of the fluid star, the presence of a light-ring (LR) pair, which becomes degenerate at $R=3M$, leads to the appearance of additional observational signatures e.g. secondary images and LR contributions, which allow one to distinguish these models from their black-hole counterparts. Fluid star configurations supported by thin shells are also analyzed and it is proven that the stability of the inner LR is increased for these solutions, resulting in a non-differentiable extremum in the effective potential of the photons. Our results suggest that compact fluid star configurations provide a suitable and physically relevant alternative to the black-hole scenario in accordance with the current generation of observational experiments.


title: Correcting phenomenological quantum noise via belief propagation

abstract: Quantum stabilizer codes often face the challenge of syndrome errors due to error-prone measurements. To address this issue, multiple rounds of syndrome extraction are typically employed to obtain reliable error syndromes. In this paper, we consider phenomenological decoding problems, where data qubit errors may occur between two syndrome extractions, and each syndrome measurement can be faulty. To handle these diverse error sources, we define a generalized check matrix over mixed quaternary and binary alphabets to characterize their error syndromes. This generalized check matrix leads to the creation of a Tanner graph comprising quaternary and binary variable nodes, which facilitates the development of belief propagation (BP) decoding algorithms to tackle phenomenological errors. Importantly, our BP decoders are applicable to general sparse quantum codes. Through simulations of quantum memory protected by rotated toric codes, we demonstrates an error threshold of 3.3% in the phenomenological noise model. Additionally, we propose a method to construct effective redundant stabilizer checks for single-shot error correction. Simulations show that BP decoding performs exceptionally well, even when the syndrome error rate greatly exceeds the data error rate.


title: Quantum signal processing and nonlinear Fourier analysis

abstract: Elucidating a connection with nonlinear Fourier analysis, we extend a well known algorithm in quantum signal processing to represent measurable signals by square summable sequences. Each coefficient of the sequence is Lipschitz continuous as a function of the signal.


title: knowCC: Knowledge, awareness of computer & cyber ethics between CS/non-CS university students

abstract: Technology has advanced dramatically in the previous several years. There are also cyber assaults. Cyberattacks pose a possible danger to information security and the general public. Since data practice and internet consumption rates continue to upswing, cyber awareness has become progressively important. Furthermore, as businesses pace their digital transformation with mobile devices, cloud services, communal media, and Internet of Things services, cybersecurity has appeared as a critical issue in corporate risk management. This research focuses on the relations between cybersecurity awareness, cyber knowledge, computer ethics, cyber ethics, and cyber behavior, as well as protective tools, across university students in general. The findings express that while internet users are alert of cyber threats, they only take the most elementary and easy-to-implement precautions. Several knowledge and awareness have been proposed to knob the issue of cyber security. It also grants the principles of cybersecurity in terms of its structure, workforces, and evidence pertaining to the shield of personal information in the cyber world. The first step is for people to educate themselves about the negative aspects of the internet and to learn more about cyber threats so that they can notice when an attack is taking place. To validate the efficiency of the suggested analysis between CS and non-CS university students, case study along with several comparisons are provided.


title: Zarankiewicz numbers near the triple system threshold

abstract: For positive integers $m$ and $n$, the Zarankiewicz number $Z_{2,2}(m,n)$ can be defined as the maximum total degree of a linear hypergraph with $m$ vertices and $n$ edges. Guy determined $Z_{2,2}(m,n)$ for all $n \geq \binom{m}{2}/3+O(m)$. Here, we extend this by determining $Z_{2,2}(m,n)$ for all $n \geq \binom{m}{2}/3$ and, when $m$ is large, for all $n \geq \binom{m}{2}/6+O(m)$.


title: Mutual Information-Based Integrated Sensing and Communications: A WMMSE Framework

abstract: In this letter, a weighted minimum mean square error (WMMSE) empowered integrated sensing and communication (ISAC) system is investigated. One transmitting base station and one receiving wireless access point are considered to serve multiple users a sensing target. Based on the theory of mutual-information (MI), communication MI and sensing MI rate are utilized as the performance metrics under the presence of clutters. In particular, we propose an novel MI-based WMMSE-ISAC method by developing a unique transceiver design mechanism to maximize the weighted sensing and communication sum-rate of this system. Such a maximization process is achieved by utilizing the classical method -- WMMSE, aiming to better manage the effect of sensing clutters and the interference among users. Numerical results show the effectiveness of our proposed method, and the performance trade-off between sensing and communication is also validated.


title: Combinatorics of the Permutahedra, Associahedra, and Friends

abstract: I present an overview of the research I have conducted for the past ten years in algebraic, bijective, enumerative, and geometric combinatorics. The two main objects I have studied are the permutahedron and the associahedron as well as the two partial orders they are related to: the weak order on permutations and the Tamari lattice. This document contains a general introduction (Chapters 1 and 2) on those objects which requires very little previous knowledge and should be accessible to non-specialist such as master students. Chapters 3 to 8 present the research I have conducted and its general context. You will find: * a presentation of the current knowledge on Tamari interval and a precise description of the family of Tamari interval-posets which I have introduced along with the rise-contact involution to prove the symmetry of the rises and the contacts in Tamari intervals; * my most recent results concerning q, t-enumeration of Catalan objects and Tamari intervals in relation with triangular partitions; * the descriptions of the integer poset lattice and integer poset Hopf algebra and their relations to well known structures in algebraic combinatorics; * the construction of the permutree lattice, the permutree Hopf algebra and permutreehedron; * the construction of the s-weak order and s-permutahedron along with the s-Tamari lattice and s-associahedron. Chapter 9 is dedicated to the experimental method in combinatorics research especially related to the SageMath software. Chapter 10 describes the outreach efforts I have participated in and some of my approach towards mathematical knowledge and inclusion.


title: Compression of Recurrent Neural Networks using Matrix Factorization

abstract: Compressing neural networks is a key step when deploying models for real-time or embedded applications. Factorizing the model's matrices using low-rank approximations is a promising method for achieving compression. While it is possible to set the rank before training, this approach is neither flexible nor optimal. In this work, we propose a post-training rank-selection method called Rank-Tuning that selects a different rank for each matrix. Used in combination with training adaptations, our method achieves high compression rates with no or little performance degradation. Our numerical experiments on signal processing tasks show that we can compress recurrent neural networks up to 14x with at most 1.4% relative performance reduction.


title: $10$-dimensional positively curved manifolds with $T^3$-symmetry

abstract: We show that ten-dimensional closed simply connected positively curved manifolds with isometric effective actions of three-dimensional tori are homotopy spheres or homotopy complex projective spaces.


title: Neurosymbolic Grounding for Compositional World Models

abstract: We introduce Cosmos, a framework for object-centric world modeling that is designed for compositional generalization (CompGen), i.e., high performance on unseen input scenes obtained through the composition of known visual "atoms." The central insight behind Cosmos is the use of a novel form of neurosymbolic grounding. Specifically, the framework introduces two new tools: (i) neurosymbolic scene encodings, which represent each entity in a scene using a real vector computed using a neural encoder, as well as a vector of composable symbols describing attributes of the entity, and (ii) a neurosymbolic attention mechanism that binds these entities to learned rules of interaction. Cosmos is end-to-end differentiable; also, unlike traditional neurosymbolic methods that require representations to be manually mapped to symbols, it computes an entity's symbolic attributes using vision-language foundation models. Through an evaluation that considers two different forms of CompGen on an established blocks-pushing domain, we show that the framework establishes a new state-of-the-art for CompGen in world modeling. Artifacts are available at: https://trishullab.github.io/cosmos-web/


title: Discrete-to-Continuum Rates of Convergence for $p$-Laplacian Regularization

abstract: Higher-order regularization problem formulations are popular frameworks used in machine learning, inverse problems and image/signal processing. In this paper, we consider the computational problem of finding the minimizer of the Sobolev $\mathrm{W}^{1,p}$ semi-norm with a data-fidelity term. We propose a discretization procedure and prove convergence rates between our numerical solution and the target function. Our approach consists of discretizing an appropriate gradient flow problem in space and time. The space discretization is a nonlocal approximation of the p-Laplacian operator and our rates directly depend on the localization parameter $\epsilon_n$ and the time mesh-size $\tau_n$. We precisely characterize the asymptotic behaviour of $\epsilon_n$ and $\tau_n$ in order to ensure convergence to the considered minimizer. Finally, we apply our results to the setting of random graph models.


title: Representation Learning via Consistent Assignment of Views over Random Partitions

abstract: We present Consistent Assignment of Views over Random Partitions (CARP), a self-supervised clustering method for representation learning of visual features. CARP learns prototypes in an end-to-end online fashion using gradient descent without additional non-differentiable modules to solve the cluster assignment problem. CARP optimizes a new pretext task based on random partitions of prototypes that regularizes the model and enforces consistency between views' assignments. Additionally, our method improves training stability and prevents collapsed solutions in joint-embedding training. Through an extensive evaluation, we demonstrate that CARP's representations are suitable for learning downstream tasks. We evaluate CARP's representations capabilities in 17 datasets across many standard protocols, including linear evaluation, few-shot classification, k-NN, k-means, image retrieval, and copy detection. We compare CARP performance to 11 existing self-supervised methods. We extensively ablate our method and demonstrate that our proposed random partition pretext task improves the quality of the learned representations by devising multiple random classification tasks. In transfer learning tasks, CARP achieves the best performance on average against many SSL methods trained for a longer time.


title: RANDGENER: Distributed Randomness Beacon from Verifiable Delay Function

abstract: Buoyed by the excitement around secure decentralized applications, the last few decades have seen numerous constructions of distributed randomness beacons (DRB) along with use cases; however, a secure DRB (in many variations) remains an open problem. We further note that it is natural to want some kind of reward for participants who spend time and energy evaluating the randomness beacon value -- this is already common in distributed protocols. In this work, we present RandGener, a novel $n$-party commit-reveal-recover (or collaborative) DRB protocol with a novel reward and penalty mechanism along with a set of realistic guarantees. We design our protocol using trapdoor watermarkable verifiable delay functions in the RSA group setting (without requiring a trusted dealer or distributed key generation).


title: Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings

abstract: To answer database queries over incomplete data the gold standard is finding certain answers: those that are true regardless of how incomplete data is interpreted. Such answers can be found efficiently for conjunctive queries and their unions, even in the presence of constraints. With negation added, the problem becomes intractable however. We concentrate on the complexity of certain answers under constraints, and on effficiently answering queries outside the usual classes of (unions) of conjunctive queries by means of rewriting as Datalog and first-order queries. We first notice that there are three different ways in which query answering can be cast as a decision problem. We complete the existing picture and provide precise complexity bounds on all versions of the decision problem, for certain and best answers. We then study a well-behaved class of queries that extends unions of conjunctive queries with a mild form of negation. We show that for them, certain answers can be expressed in Datalog with negation, even in the presence of functional dependencies, thus making them tractable in data complexity. We show that in general Datalog cannot be replaced by first-order logic, but without constraints such a rewriting can be done in first-order. The paper is under consideration in Theory and Practice of Logic Programming (TPLP).


title: Efficient non-collinear antiferromagnetic state switching induced by orbital Hall effect in chromium

abstract: Recently orbital Hall current has attracted attention as an alternative method to switch the magnetization of ferromagnets. Here we present our findings on electrical switching of antiferromagnetic state in Mn3Sn/Cr, where despite the much smaller spin Hall angle of Cr, the switching current density is comparable to heavy metal based heterostructures. On the other hand, the inverse process, i.e., spin-to-charge conversion in Cr-based heterostructures is much less efficient than the Pt-based equivalents, as manifested in the almost one order of magnitude smaller terahertz emission intensity and spin current induced magnetoresistance in Cr-based structures. These results in combination with the slow decay of terahertz emission against Cr thickness (diffusion length of ~11 nm) suggest that the observed magnetic switching can be attributed to orbital current generation in Cr, followed by efficient conversion to spin current. Our work demonstrates the potential of light metals like Cr as an efficient orbital/spin current source for antiferromagnetic spintronics.


title: Protection from Evil and Good: The Differential Effects of Page Protection on Wikipedia Article Quality

abstract: Wikipedia, the Web's largest encyclopedia, frequently faces content disputes or malicious users seeking to subvert its integrity. Administrators can mitigate such disruptions by enforcing "page protection" that selectively limits contributions to specific articles to help prevent the degradation of content. However, this practice contradicts one of Wikipedia's fundamental principles$-$that it is open to all contributors$-$and may hinder further improvement of the encyclopedia. In this paper, we examine the effect of page protection on article quality to better understand whether and when page protections are warranted. Using decade-long data on page protections from the English Wikipedia, we conduct a quasi-experimental study analyzing pages that received "requests for page protection"$-$written appeals submitted by Wikipedia editors to administrators to impose page protections. We match pages that indeed received page protection with similar pages that did not and quantify the causal effect of the interventions on a well-established measure of article quality. Our findings indicate that the effect of page protection on article quality depends on the characteristics of the page prior to the intervention: high-quality articles are affected positively as opposed to low-quality articles that are impacted negatively. Subsequent analysis suggests that high-quality articles degrade when left unprotected, whereas low-quality articles improve. Overall, with our study, we outline page protections on Wikipedia and inform best practices on whether and when to protect an article.


title: Closed-form formulas, determinantal expressions, recursive relations, power series, and special values of several functions used in Clark--Ismail's two conjectures

abstract: In the paper, by virtue of the famous formula of Fa\`a di Bruno, with the aid of several identities of partial Bell polynomials, by means of a formula for derivatives of the ratio of two differentiable functions, and with availability of other techniques, the authors establish closed-form formulas in terms of the Bernoulli numbers and the second kind Stirling numbers, present determinantal expressions, derive recursive relations, obtain power series, and compute special values of the function $\frac{v^j}{1-\operatorname{e}^{-v}}$, its derivatives, and related ones used in Clark--Ismail's two conjectures. By these results, the authors also discover a formula for the determinant of a Hessenberg matrix and derive logarithmic convexity of a sequence related to the function and its derivatives.


title: Stable recovery of coefficients in an inverse fault friction problem

abstract: We consider the inverse fault friction problem of determining the friction coefficient in the Tresca friction model, which can be formulated as an inverse problem for differential inequalities. We show that the measurements of elastic waves during a rupture uniquely determine the friction coefficient at the rupture surface with explicit stability estimates.


title: Optimal estimation of high-dimensional unitary transformations

abstract: We propose an estimation procedure for $d$-dimensional unitary transformations. For $d>2$, the unitary transformations close to the identity are estimated saturating the quantum Cram\'er-Rao bound. For $d=2$, the estimation of all unitary transformations is also optimal with some prior information. We show through numerical simulations that, even in the absence of prior information, two-dimensional unitary transformations can be estimated with greater precision than by means of standard quantum process tomography.


title: Towards Parsimonious Generative Modeling of RNA Families

abstract: Generative probabilistic models emerge as a new paradigm in data-driven, evolution-informed design of biomolecular sequences. This paper introduces a novel approach, called Edge Activation Direct Coupling Analysis (eaDCA), tailored to the characteristics of RNA sequences, with a strong emphasis on simplicity, efficiency, and interpretability. eaDCA explicitly constructs sparse coevolutionary models for RNA families, achieving performance levels comparable to more complex methods while utilizing a significantly lower number of parameters. Our approach demonstrates efficiency in generating artificial RNA sequences that closely resemble their natural counterparts in both statistical analyses and SHAPE-MaP experiments, and in predicting the effect of mutations. Notably, eaDCA provides a unique feature: estimating the number of potential functional sequences within a given RNA family. For example, in the case of cyclic di-AMP riboswitches (RF00379), our analysis suggests the existence of approximately $\mathbf{10^{39}}$ functional nucleotide sequences. While huge compared to the known $< \mathbf{4,000}$ natural sequences, this number represents only a tiny fraction of the vast pool of nearly $\mathbf{10^{82}}$ possible nucleotide sequences of the same length (136 nucleotides). These results underscore the promise of sparse and interpretable generative models, such as eaDCA, in enhancing our understanding of the expansive RNA sequence space.

categories: q-bio.BM cond-mat.stat-mech q-bio.GN q-bio.QM


title: Parity Games on Temporal Graphs

abstract: Temporal graphs are a popular modelling mechanism for dynamic complex systems that extend ordinary graphs with discrete time. Simply put, time progresses one unit per step and the availability of edges can change with time. We consider the complexity of solving $\omega$-regular games played on temporal graphs where the edge availability is ultimately periodic and fixed a priori. We show that solving parity games on temporal graphs is decidable in PSPACE, only assuming the edge predicate itself is in PSPACE. A matching lower bound already holds for what we call punctual reachability games on static graphs, where one player wants to reach the target at a given, binary encoded, point in time. We further study syntactic restrictions that imply more efficient procedures. In particular, if the edge predicate is in $P$ and is monotonically increasing for one player and decreasing for the other, then the complexity of solving games is only polynomially increased compared to static graphs.


title: Benchmarking Function Hook Latency in Cloud-Native Environments

abstract: Researchers and engineers are increasingly adopting cloud-native technologies for application development and performance evaluation. While this has improved the reproducibility of benchmarks in the cloud, the complexity of cloud-native environments makes it difficult to run benchmarks reliably. Cloud-native applications are often instrumented or altered at runtime, by dynamically patching or hooking them, which introduces a significant performance overhead. Our work discusses the benchmarking-related pitfalls of the dominant cloud-native technology, Kubernetes, and how they affect performance measurements of dynamically patched or hooked applications. We present recommendations to mitigate these risks and demonstrate how an improper experimental setup can negatively impact latency measurements.


title: Totally real cubic numbers are well approximable

abstract: In this paper we prove that all irrational numbers from totally real cubic number fields are well approximable by rationals (i.e. the partial quotients in the continued fraction expansion of such a number are unbounded). This settles the long standing open question of whether or not well approximable algebraic numbers exist. Our proof uses a number theoretic classification of approximations to algebraic numbers, together with a result of Lindenstrauss and Weiss which is an application of Ratner's orbit closure theorem.


title: CatNorth: An Improved Gaia DR3 Quasar Candidate Catalog with Pan-STARRS1 and CatWISE

abstract: A complete and pure sample of quasars with accurate redshifts is crucial for quasar studies and cosmology. In this paper, we present CatNorth, an improved Gaia DR3 quasar candidate catalog with more than 1.5 million sources in the 3$\pi$ sky built with data from Gaia, Pan-STARRS1, and CatWISE2020. The XGBoost algorithm is used to reclassify the original Gaia DR3 quasar candidates as stars, galaxies, and quasars. To construct training/validation datasets for the classification, we carefully built two different master stellar samples in addition to the spectroscopic galaxy and quasar samples. An ensemble classification model is obtained by averaging two XGBoost classifiers trained with different master stellar samples. Using a probability threshold of $p_{\mathrm{QSO\_mean}}>0.95$ in our ensemble classification model and an additional cut on the logarithmic probability density of zero proper motion, we retrieved 1,545,514 reliable quasar candidates from the parent Gaia DR3 quasar candidate catalog. We provide photometric redshifts for all candidates with an ensemble regression model. For a subset of 89,100 candidates, accurate spectroscopic redshifts are estimated with the Convolutional Neural Network from the Gaia BP/RP spectra. The CatNorth catalog has a high purity of ~ 90% while maintaining high completeness, which is an ideal sample to understand the quasar population and its statistical properties. The CatNorth catalog is used as the main source of input catalog for the LAMOST phase III quasar survey, which is expected to build a highly complete sample of bright quasars with $i < 19.5$.