title: Biomedical Image Reconstruction: A Survey

abstract: Biomedical image reconstruction research has been developed for more than five decades, giving rise to various techniques such as central and filtered back projection. With the rise of deep learning technology, biomedical image reconstruction field has undergone a massive paradigm shift from analytical and iterative methods to deep learning methods To drive scientific discussion on advanced deep learning techniques for biomedical image reconstruction, a workshop focusing on deep biomedical image reconstruction, MLMIR, is introduced and is being held yearly since 2018. This survey paper is aimed to provide basic knowledge in biomedical image reconstruction and the current research trend in biomedical image reconstruction based on the publications in MLMIR. This survey paper is intended for machine learning researchers to grasp a general understanding of the biomedical image reconstruction field and the current research trend in deep biomedical image reconstruction.


title: Neutrinos from dense environments : Flavor mechanisms, theoretical approaches, observations, and new directions

abstract: Neutrino masses and mixings produce vacuum oscillations, an established quantum mechanical phenomenon. In matter, the Mikheev-Smirnov-Wolfenstein effect, due to neutrino interactions with the background particles, triggers resonant flavor modification. In dense environments, such as core-collapse supernovae or compact mergers, sizable neutrino-neutrino interactions, shock waves and turbulence impact the neutrino flavor content under a variety of phenomena. Theoretical approaches of neutrino propagation range from the mean-field approximation to the full quantum kinetic equations. Intriguing connections have been uncovered between weakly interacting dense neutrino gases and other many-body systems and domains, from condensed matter and nuclear physics to quantum computing. Besides the intrinsic theoretical interest, establishing how neutrinos change flavor contributes to answer the longstanding open questions of how massive stars explode and of the r-process sites. It is also important for future observations of core-collapse supernova neutrinos and of the diffuse supernova neutrino background that should be discovered in the foreseeable future.


title: A stochastic approach to the quantum noise of a single-emitter nanolaser

abstract: It is shown that the intensity quantum noise of a single-emitter nanolaser can be accurately computed by adopting a stochastic interpretation of the standard rate equation model under the only assumption that the emitter excitation and photon number are stochastic variables with integer values. This extends the validity of rate equations beyond the mean-field limit and avoids using the standard Langevin approach, which is shown to fail for few emitters. The model is validated by comparison to full quantum simulations of the relative intensity noise and second-order intensity correlation function, g(2)({\tau} ). Surprisingly, even when the full quantum model displays vacuum Rabi oscillations, which are not accounted for by rate equations, the intensity quantum noise is correctly predicted by the stochastic approach. Adopting a simple discretization of the emitter and photon populations, thus, goes a long way in describing quantum noise in lasers. Besides providing a versatile and easy-to-use tool for modeling a new generation of nanolasers with many possible applications, these results provide insight into the fundamental nature of quantum noise in lasers.


title: Bi-AM-RRT*: A Fast and Efficient Sampling-Based Motion Planning Algorithm in Dynamic Environments

abstract: The efficiency of sampling-based motion planning brings wide application in autonomous mobile robots. The conventional rapidly exploring random tree (RRT) algorithm and its variants have gained significant successes, but there are still challenges for the optimal motion planning of mobile robots in dynamic environments. In this paper, based on Bidirectional RRT and the use of an assisting metric (AM), we propose a novel motion planning algorithm, namely Bi-AM-RRT*. Different from the existing RRT-based methods, the AM is introduced in this paper to optimize the performance of robot motion planning in dynamic environments with obstacles. On this basis, the bidirectional search sampling strategy is employed to reduce the search time. Further, we present a new rewiring method to shorten path lengths. The effectiveness and efficiency of the proposed Bi-AM-RRT* are proved through comparative experiments in different environments. Experimental results show that the Bi-AM-RRT* algorithm can achieve better performance in terms of path length and search time, and always finds near-optimal paths with the shortest search time when the diffusion metric is used as the AM.


title: Is Consensus Acceleration Possible in Decentralized Optimization over Slowly Time-Varying Networks?

abstract: We consider decentralized optimization problems where one aims to minimize a sum of convex smooth objective functions distributed between nodes in the network. The links in the network can change from time to time. For the setting when the amount of changes is arbitrary, lower complexity bounds and corresponding optimal algorithms are known, and the consensus acceleration is not possible. However, in practice the magnitude of network changes may be limited. We derive lower communication complexity bounds for several regimes of velocity of networks changes. Moreover, we show how to obtain accelerated communication rates for a certain class of time-varying graphs using a specific consensus algorithm.


title: Predicting extreme events in a data-driven model of turbulent shear flow using an atlas of charts

abstract: Dynamical systems with extreme events are difficult to capture with data-driven modeling, due to the relative scarcity of data within extreme events compared to the typical dynamics of the system, and the strong dependence of the long-time occurrence of extreme events on short-time conditions.A recently developed technique [Floryan, D. & Graham, M. D. Data-driven discovery of intrinsic dynamics. Nat Mach Intell $\textbf{4}$, 1113-1120 (2022)], here denoted as $\textit{Charts and Atlases for Nonlinear Data-Driven Dynamics on Manifolds}$, or CANDyMan, overcomes these difficulties by decomposing the time series into separate charts based on data similarity, learning dynamical models on each chart via individual time-mapping neural networks, then stitching the charts together to create a single atlas to yield a global dynamical model. We apply CANDyMan to a nine-dimensional model of turbulent shear flow between infinite parallel free-slip walls under a sinusoidal body force [Moehlis, J., Faisst, H. & Eckhardt, B. A low-dimensional model for turbulent shear flows. New J Phys $\textbf{6}$, 56 (2004)], which undergoes extreme events in the form of intermittent quasi-laminarization and long-time full laminarization. We demonstrate that the CANDyMan method allows the trained dynamical models to more accurately forecast the evolution of the model coefficients, reducing the error in the predictions as the model evolves forward in time. The technique exhibits more accurate predictions of extreme events, capturing the frequency of quasi-laminarization events and predicting the time until full laminarization more accurately than a single neural network.


abstract: We review the derivation of the Boltzmann equation and its cosmological applications in this paper. The derivation of the Boltzmann equation, especially the collision term, is discussed in detail in the language of the quantum field theory without any assumption of the finite temperature system. We also discuss the integrated Boltzmann equation with the deal of the temperature parameter as an extension of the standard equation. Among a number of its cosmological applications, we mainly target two familiar examples, the dynamics of the dark matter abundance through the freeze-out/in process and a baryogenesis scenario. The formulations in those systems are briefly discussed with techniques in their calculations.


title: Hydrodynamic and symbolic models of hypercomputation

abstract: Dynamical systems and physical models defined on idealized continuous phase spaces are known to exhibit non-computable phenomena, examples include the wave equation, recurrent neural networks, or Julia sets in holomorphic dynamics. Inspired by the works of Moore and Siegelmann, we show that ideal fluids, modeled by the Euler equations, are capable of simulating poly-time Turing machines with polynomial advice on compact three-dimensional domains. The complexity class that is shown to be computable by stationary ideal fluids is precisely the one considered by Siegelmann in her study of analog recurrent neural networks: the class $P/poly$. In the last part, we introduce a new class of symbolic systems, related to countably piecewise linear transformations of the unit square, that is capable of simulating Turing machines with advice in real-time, contrary to previously known models.


title: Dynamical gravastars may evade no-go results for exotic compact objects, together with further analytical and numerical results for the dynamical gravastar model

abstract: Using graphs plotted from the Mathematica notebooks posted with our paper ``Dynamical Gravastars'', we show that a dynamical gravastar has no hard surface, and that a second light sphere resides in the deep interior where there is maximum time dilation. These facts may permit dynamical gravastars to evade no-go results for exotic compact objects relating to light leakage inside the shadow, and nonlinear instabilities arising from an interior light sphere. Testing these surmises will require further detailed modeling calculations, beyond what we commence in this paper, using the numerical dynamical gravastar solution. We also discuss the effect of replacing the sigmoidal function in the gravastar calculation by a unit step function, and we analyze why the dynamical gravastar evades the singularities predicted by the Penrose and Hawking singularity theorems, despite satisfying both the null and strong energy conditions. We then give a simplified two-step process for tuning the initial value $\nu(0)={\rm nuinit}$ to achieve $\nu(\infty)=0$, and give exact integrals for the pressure differential equation in terms of $\nu(r)$ in the interior and exterior regions. Finally, we briefly discuss an extension of the model that includes an external shell of massive particles.


title: Lagrangian stability for a system of non-local continuity equations under Osgood condition

abstract: We extend known existence and uniqueness results of weak measure solutions for systems of non-local continuity equations beyond the usual Lipschitz regularity. Existence of weak measure solutions holds for uniformly continuous vector fields and convolution kernels, while uniqueness follows from a Lagrangian stability estimate under an additional Osgood condition.


title: HDPV-SLAM: Hybrid Depth-augmented Panoramic Visual SLAM for Mobile Mapping System with Tilted LiDAR and Panoramic Visual Camera

abstract: This paper proposes a novel visual simultaneous localization and mapping (SLAM) system called Hybrid Depth-augmented Panoramic Visual SLAM (HDPV-SLAM), that employs a panoramic camera and a tilted multi-beam LiDAR scanner to generate accurate and metrically-scaled trajectories. RGB-D SLAM was the design basis for HDPV-SLAM, which added depth information to visual features. It aims to solve the two major issues hindering the performance of similar SLAM systems. The first obstacle is the sparseness of LiDAR depth, which makes it difficult to correlate it with the extracted visual features of the RGB image. A deep learning-based depth estimation module for iteratively densifying sparse LiDAR depth was suggested to address this issue. The second issue pertains to the difficulties in depth association caused by a lack of horizontal overlap between the panoramic camera and the tilted LiDAR sensor. To surmount this difficulty, we present a hybrid depth association module that optimally combines depth information estimated by two independent procedures, feature-based triangulation and depth estimation. During a phase of feature tracking, this hybrid depth association module aims to maximize the use of more accurate depth information between the triangulated depth with visual features tracked and the deep learning-based corrected depth. We evaluated the efficacy of HDPV-SLAM using the 18.95 km-long York University and Teledyne Optech (YUTO) MMS dataset. The experimental results demonstrate that the two proposed modules contribute substantially to the performance of HDPV-SLAM, which surpasses that of the state-of-the-art (SOTA) SLAM systems.


title: PECAN: A Deterministic Certified Defense Against Backdoor Attacks

abstract: Neural networks are vulnerable to backdoor poisoning attacks, where the attackers maliciously poison the training set and insert triggers into the test input to change the prediction of the victim model. Existing defenses for backdoor attacks either provide no formal guarantees or come with expensive-to-compute and ineffective probabilistic guarantees. We present PECAN, an efficient and certified approach for defending against backdoor attacks. The key insight powering PECAN is to apply off-the-shelf test-time evasion certification techniques on a set of neural networks trained on disjoint partitions of the data. We evaluate PECAN on image classification and malware detection datasets. Our results demonstrate that PECAN can (1) significantly outperform the state-of-the-art certified backdoor defense, both in defense strength and efficiency, and (2) on real back-door attacks, PECAN can reduce attack success rate by order of magnitude when compared to a range of baselines from the literature.


title: Construction of good codes from weak Del Pezzo surfaces

abstract: We construct algebraic geometric codes from weak del Pezzo surfaces. The codes are associated to the anti-canonical class of the anti-canonical model and to the set of rational points of these models. Since we consider weak Del Pezzo surfaces, the anti canonical model is not smooth any more. This complicates the computation of the parameters of the codes; in particular we need to distinguish the Cartier divisors from the Weil ones.


title: Deep Clustering Survival Machines with Interpretable Expert Distributions

abstract: Conventional survival analysis methods are typically ineffective to characterize heterogeneity in the population while such information can be used to assist predictive modeling. In this study, we propose a hybrid survival analysis method, referred to as deep clustering survival machines, that combines the discriminative and generative mechanisms. Similar to the mixture models, we assume that the timing information of survival data is generatively described by a mixture of certain numbers of parametric distributions, i.e., expert distributions. We learn weights of the expert distributions for individual instances according to their features discriminatively such that each instance's survival information can be characterized by a weighted combination of the learned constant expert distributions. This method also facilitates interpretable subgrouping/clustering of all instances according to their associated expert distributions. Extensive experiments on both real and synthetic datasets have demonstrated that the method is capable of obtaining promising clustering results and competitive time-to-event predicting performance.


title: Precision phenomenology with fiducial cross sections in the triple-differential Drell-Yan process

abstract: The production of lepton pairs (Drell-Yan process) at the LHC is being measured to high precision, enabling the extraction of distributions that are triply differential in the di-lepton mass and rapidity as well as in the scattering angle described by the leptons. The measurements are performed for a fiducial phase space, defined by cuts on the individual lepton momenta and rapidities. Based on the ATLAS triple-differential Drell-Yan measurement at 8~TeV, we perform a detailed investigation of the phenomenology of this process based on state-of-the-art perturbative predictions in QCD and the electroweak theory. Our results demonstrate the highly non-trivial interplay between measurement variables and fiducial cuts, which leads to forbidden regions at Born level, and induces sensitivity on extra particle emissions from higher perturbative orders. We also investigate the sensitivity of the measurement on parton distributions and electroweak parameters. We derive Standard-Model theory predictions which combine NNLO QCD and NLO EW corrections and include partial N$^3$LO QCD as well as higher-order EW corrections where appropriate. Our results will enable the use of the triple-differential Drell-Yan data in a precise experimental determination of the weak mixing angle.


title: A fast computational framework for the linear bond-based peridynamic model

abstract: Peridynamic (PD) theory is significant and promising in engineering and materials science; however, it imposes challenges owing to the enormous computational cost caused by its nonlocality. Our main contribution, which overcomes the restrictions of the existing fast method, is a general computational framework for the linear bond-based peridynamic models based on the meshfree method, called the matrix-structure-based fast method (MSBFM), which is suitable for the general case, including 2D/3D problems, and static/dynamic issues, as well as problems with general boundary conditions, in particular, problems with crack propagation. Consequently, we provide a general calculation flow chart. The proposed computational framework is practical and easily embedded into the existing computational algorithm. With this framework, the computational cost is reduced from $O(N^2)$ to $O(N\log N)$, and the storage request is reduced from $O(N^2)$ to $O(N)$, where N is the degree of freedom. Finally, the vast reduction of the computational and memory requirement is verified by numerical examples.


title: Spontaneous velocity alignment of Brownian particles with feedback-induced propulsion

abstract: Based on Brownian dynamics simulations we study the collective behavior of a twodimensional system of repulsively interacting colloidal particles, where each particle is propelled by a repulsive feedback force with time delay $\tau$. Although the pair interactions are purely isotropic we observe a spontaneous, large-scale alignment of the velocity vectors. This phenomenon persists for long times and occurs in the absence of steady-state clustering. We explain our observations by a combination of the effect of steric interactions yielding local velocity ordering, and the effect of time delay, that generates cluster dissolution, velocity persistence and velocity alignment over large distances. Overall, the behavior reveals intriguing similarities, but also differences, to that observed in models of active matter, such as active Brownian particles and the Vicsek model.


title: Detection of Ultra High Energy Cosmic Rays and Neutrinos with Lunar Orbital Radio Telescope

abstract: Particle cascades induced by ultra-high-energy (UHE) cosmic rays and neutrinos impacting on the lunar regolith usually radiate Cherenkov radio emissions due to the presence of excess negative charge, which is known as Askaryan effect. Several experiments have been carried out to detect the Cherenkov radio emissions in the lunar regolith. To prepare for future lunar Ultra-Long Wavelength (ULW, frequencies below 30 MHz) radio astronomy missions, we study the detection of the Cherenkov radio emissions with the ULW radio telescope that are operating at the lunar orbit. We have carried out instrument modelling and analytic calculations for the analysis of aperture, flux and event rate, and the analyses show the detectability of the Cherenkov radiation. Based on the properties of the Cherenkov radiation, we have demonstrated that the cosmic ray and neutrino events could be reconstructed with the three ULW vector antennas onboard the lunar satellites via measurements of the Askaryan radio pulse intensity, polarizations, etc. The results obtained by this study would be useful for future lunar radio explorer mission, where the detections of UHE cosmic rays and neutrinos could be successfully attempted.


title: Data Volume-aware Computation Task Scheduling for Smart Grid Data Analytic Applications

abstract: Emerging smart grid applications analyze large amounts of data collected from millions of meters and systems to facilitate distributed monitoring and real-time control tasks. However, current parallel data processing systems are designed for common applications, unaware of the massive volume of the collected data, causing long data transfer delay during the computation and slow response time of smart grid systems. A promising direction to reduce delay is to jointly schedule computation tasks and data transfers. We identify that the smart grid data analytic jobs require the intermediate data among different computation stages to be transmitted orderly to avoid network congestion. This new feature prevents current scheduling algorithms from being efficient. In this work, an integrated computing and communication task scheduling scheme is proposed. The mathematical formulation of smart grid data analytic jobs scheduling problem is given, which is unsolvable by existing optimization methods due to the strongly coupled constraints. Several techniques are combined to linearize it for adapting the Branch and Cut method. Based on the topological information in the job graph, the Topology Aware Branch and Cut method is further proposed to speed up searching for optimal solutions. Numerical results demonstrate the effectiveness of the proposed method.


title: SOBER: Highly Parallel Bayesian Optimization and Bayesian Quadrature over Discrete and Mixed Spaces

abstract: Batch Bayesian optimisation and Bayesian quadrature have been shown to be sample-efficient methods of performing optimisation and quadrature where expensive-to-evaluate objective functions can be queried in parallel. However, current methods do not scale to large batch sizes -- a frequent desideratum in practice (e.g. drug discovery or simulation-based inference). We present a novel algorithm, SOBER, which permits scalable and diversified batch global optimisation and quadrature with arbitrary acquisition functions and kernels over discrete and mixed spaces. The key to our approach is to reformulate batch selection for global optimisation as a quadrature problem, which relaxes acquisition function maximisation (non-convex) to kernel recombination (convex). Bridging global optimisation and quadrature can efficiently solve both tasks by balancing the merits of exploitative Bayesian optimisation and explorative Bayesian quadrature. We show that SOBER outperforms 11 competitive baselines on 12 synthetic and diverse real-world tasks.


title: PeakOTron: A Python Module for Fitting Charge Spectra of Silicon Photomultipliers

abstract: A Python program has been developed which fits a published detector-response model to SiPM charge spectra to characterise SiPMs. Spectra for SiPMs illuminated by low intensity pulsed light with Poisson-distributed number of photons and a time spread of order nanoseconds or less, can be analysed. The entire charge spectra, including the intervals in-between the photoelectron peaks, are fitted, which allows determining, in addition to the mean number of detected photons, gain, gain spread, prompt cross-talk, pedestal, and electronics noise, the dark-count rate as well as the probability and time constant of after-pulses. The starting values of the fit parameters are extracted from the charge spectra. The program performance has been evaluated using simulated charge spectra with the different SiPM parameters varied in a wide range. By analysing 100 simulated spectra for every parameter set, the biases and statistical uncertainties of the individual parameters have been determined. It is found that the parameters are precisely determined and that the entire spectra are well described, in most cases with a $\chi ^2$/NDF close to 1. In addition, measured spectra for two types of SiPMs for a wide range of over-voltages have been analysed. The program achieves mostly a good description of the spectra, and the parameters determined agree with the values from the producers and expectations. The program can be used for detailed analyses of single spectra, but, as it is compatible with the native \texttt{Python} multiprocessing module, also for the automatic characterisation of large samples of SiPMs.


title: Gas Diffusion in Cement Pastes: An Analysis using a Fluctuating Diffusivity Model

abstract: This work propose an application of the concept of fluctuating diffusivity to the diffusion of gas molecules in cementitious materials, particularly through a two-state fluctuating diffusivity (2SFD) model. The 2SFD model is utilized to investigate the diffusion of oxygen in cement pastes. The analysis provides a reasonable description of the diffusion coefficient of oxygen in cement pastes, and highlights the presence of non-Gaussian diffusion, which can be attributed to the heterogeneous microstructure. The presence of non-Gaussianity in the probability density of the molecule's displacement, characterized by heavier tails than those of the Gaussian distribution, may have a significant impact on the durability assessments of concrete structures.


title: Deep Learning-Driven Nonlinear Reduced-Order Models for Predicting Wave-Structure Interaction

abstract: Long Short-Term Memory (LSTM) network-driven Non-Intrusive Reduced Order Model (NROM) for predicting the dynamics of a floating box on the water surface in a wavemaker basin is addressed in this study. The ground truth or actual data for these wave-structure interactions (WSI) problems, namely box displacements and hydrodynamic forces and moments acting on the box due to wave interaction corresponding to a particular wave profile, are computed using the Smoothed Particle Hydrodynamics (SPH). The dimensionality of the system is first reduced using the Discrete Empirical Interpolation Method (DEIM) and the LSTM is applied to the reduced system resulting in a DEIM-LSTM network for developing a surrogate for prediction. The network is further enhanced by incorporating the physics information into the loss function resulting in a physics-informed LSTM (LSTM-PINN) for predicting the rigid body dynamics of box motion. The performance of predictions for these networks is assessed for the two-dimensional wave basin WSI problem as a proof-of-concept demonstration.


title: Global 3D radiation-hydrodynamical models of AGB stars with dust-driven winds

abstract: Convection and mass loss by stellar winds are two dynamical processes that shape asymptotic giant branch (AGB) stars and their evolution. Observations and earlier 3D models indicate that giant convection cells cause high-contrast surface intensity patterns, and contribute to the origin of clumpy dust clouds. We study the formation and resulting properties of dust-driven winds from AGB stars, using new global 3D simulations. The dynamical stellar interiors, atmospheres, and wind acceleration zones of two M-type AGB stars were modeled with the CO5BOLD code. These first global 3D simulations are based on frequency-dependent gas opacities, and they feature time-dependent condensation and evaporation of silicate grains. Convection and pulsations emerge self-consistently, allowing us to derive wind properties (e.g., mass-loss rates and outflow velocities), without relying on parameterized descriptions of these processes. In contrast to 1D models with purely radial pulsations, the shocks induced by convection and pulsation in the 3D models cover large parts, but not the entirety, of the sphere, leading to a patchy, nonspherical structure of the atmosphere. Since dust condensation critically depends on gas density, new dust clouds form mostly in the dense wakes of atmospheric shocks, where the grains can grow efficiently. The resulting clumpy distribution of newly formed dust leads to a complex 3D morphology of the extended atmosphere and wind-acceleration zone, with simultaneous infall and outflow regions close to the star. Highly nonspherical isotherms and short-lived cool pockets of gas in the stellar vicinity are prominent features. Efficient dust formation sets in closer to the star than spherical averages of the temperature indicate, in dense regions where grain growth rates are higher than average.


title: A ferromagnetic Eu-Pt surface compound grown below hexagonal boron nitride

abstract: One of the fundamental applications for monolayer-thick 2D materials is their use as protective layers of metal surfaces and in-situ intercalated reactive materials in ambient conditions. Here we investigate the structural, electronic, and magnetic properties, as well as the chemical stability in air of a very reactive metal, Europium, after intercalation between a hexagonal boron nitride (hBN) layer and a Pt substrate. We demonstrate that Eu intercalation leads to a hBN-covered ferromagnetic EuPt$_2$ surface alloy with divalent Eu$^{2+}$ atoms at the interface. We expose the system to ambient conditions and find a partial conservation of the di-valent signal and hence the Eu-Pt interface. The use of a curved Pt substrate allows us to explore the changes in the Eu valence state and the ambient pressure protection at different substrate planes. The interfacial EuPt$_2$ surface alloy formation remains the same, but the resistance of the protecting hBN layer to ambient conditions is reduced, likely due to a rougher surface and a more discontinuous hBN coating.


title: Quantum-enhanced quantum Monte Carlo: an industrial view

abstract: In this work, we test a recently developed method to enhance classical auxiliary-field quantum Monte Carlo (AFQMC) calculations with quantum computers against examples from chemistry and material science, representatives of classes of industry-relevant systems. As molecular test cases, we calculate the energy curve of H4 and relative energies of ozone and singlet molecular oxygen with respect to triplet molecular oxygen, which are industrially relevant in organic oxidation reactions. We find that trial wave functions beyond single Slater determinants improve the performance of AFQMC and allow to generate energies close to chemical accuracy compared to full configuration interaction (FCI) or experimental results. As a representative for material science we study a quasi-1D Fermi-Hubbard model derived from CuBr2, a compound displaying electronic structure properties analogous to cuprates. We find that trial wave functions with both, significantly larger fidelities and lower energies over a Hartree-Fock solution, do not necessarily lead to better AFQMC results.


title: Autonomous Needle Navigation in Retinal Microsurgery: Evaluation in ex vivo Porcine Eyes

abstract: Important challenges in retinal microsurgery include prolonged operating time, inadequate force feedback, and poor depth perception due to a constrained top-down view of the surgery. The introduction of robot-assisted technology could potentially deal with such challenges and improve the surgeon's performance. Motivated by such challenges, this work develops a strategy for autonomous needle navigation in retinal microsurgery aiming to achieve precise manipulation, reduced end-to-end surgery time, and enhanced safety. This is accomplished through real-time geometry estimation and chance-constrained Model Predictive Control (MPC) resulting in high positional accuracy while keeping scleral forces within a safe level. The robotic system is validated using both open-sky and intact (with lens and partial vitreous removal) ex vivo porcine eyes. The experimental results demonstrate that the generation of safe control trajectories is robust to small motions associated with head drift. The mean navigation time and scleral force for MPC navigation experiments are 7.208 s and 11.97 mN, which can be considered efficient and well within acceptable safe limits. The resulting mean errors along lateral directions of the retina are below 0.06 mm, which is below the typical hand tremor amplitude in retinal microsurgery.


title: Features of the Domain Boundaries of a Highly Anisotropic (S = 1) Antiferromagnet near the Transition to the Quantum Paramagnet Phase

abstract: It is shown that the structure of antiphase domain boundaries in the antiferromagnetic (AFM) phase of a highly anisotropic magnet with S = 1 on a two-dimensional square lattice depends greatly on single-ion anisotropy parameter D. Computer modeling on large square lattices illustrates the changes in the boundary structure from the quantum paramagnet (QP) to the XY phase, including the intermediate QP-XY phase at fairly small variations in positive D.


title: PhysGraph: Physics-Based Integration Using Graph Neural Networks

abstract: Physics-based simulation of mesh based domains remains a challenging task. State-of-the-art techniques can produce realistic results but require expert knowledge. A major bottleneck in many approaches is the step of integrating a potential energy in order to compute velocities or displacements. Recently, learning based method for physics-based simulation have sparked interest with graph based approaches being a promising research direction. One of the challenges for these methods is to generate models that are mesh independent and generalize to different material properties. Moreover, the model should also be able to react to unforeseen external forces like ubiquitous collisions. Our contribution is based on a simple observation: evaluating forces is computationally relatively cheap for traditional simulation methods and can be computed in parallel in contrast to their integration. If we learn how a system reacts to forces in general, irrespective of their origin, we can learn an integrator that can predict state changes due to the total forces with high generalization power. We effectively factor out the physical model behind resulting forces by relying on an opaque force module. We demonstrate that this idea leads to a learnable module that can be trained on basic internal forces of small mesh patches and generalizes to different mesh typologies, resolutions, material parameters and unseen forces like collisions at inference time. Our proposed paradigm is general and can be used to model a variety of physical phenomena. We focus our exposition on the detail enhancement of coarse clothing geometry which has many applications including computer games, virtual reality and virtual try-on.


title: Normalization for multimodal type theory

abstract: We prove normalization for MTT, a general multimodal dependent type theory capable of expressing modal type theories for guarded recursion, internalized parametricity, and various other prototypical modal situations. We prove that deciding type checking and conversion in MTT can be reduced to deciding the equality of modalities in the underlying modal situation, immediately yielding a type checking algorithm for all instantiations of MTT in the literature. This proof uses a generalization of synthetic Tait computability -- an abstract approach to gluing proofs -- to account for modalities. This extension is based on MTT itself, so that this proof also constitutes a significant case study of MTT.


title: Reading and Reasoning over Chart Images for Evidence-based Automated Fact-Checking

abstract: Evidence data for automated fact-checking (AFC) can be in multiple modalities such as text, tables, images, audio, or video. While there is increasing interest in using images for AFC, previous works mostly focus on detecting manipulated or fake images. We propose a novel task, chart-based fact-checking, and introduce ChartBERT as the first model for AFC against chart evidence. ChartBERT leverages textual, structural and visual information of charts to determine the veracity of textual claims. For evaluation, we create ChartFC, a new dataset of 15, 886 charts. We systematically evaluate 75 different vision-language (VL) baselines and show that ChartBERT outperforms VL models, achieving 63.8% accuracy. Our results suggest that the task is complex yet feasible, with many challenges ahead.


title: A Comment on the Classical Electron Self-Energy

abstract: This paper is devoted to the analysis of the divergence of the electron self-energy in classical electrodynamics. To do so, we appeal to the theory of distributions and a method for obtaining corresponding extensions. At first sight, electrostatics implies a divergence once we treat the electron as a charged point particle. However, our construction shows that its self-energy turns out to be an undetermined constant upon renormalization. Appealing to empirical results we may fix its value, demanding, for example, that all its mass comes from an electrostatic origin.


title: Learning the Effects of Physical Actions in a Multi-modal Environment

abstract: Large Language Models (LLMs) handle physical commonsense information inadequately. As a result of being trained in a disembodied setting, LLMs often fail to predict an action's outcome in a given environment. However, predicting the effects of an action before it is executed is crucial in planning, where coherent sequences of actions are often needed to achieve a goal. Therefore, we introduce the multi-modal task of predicting the outcomes of actions solely from realistic sensory inputs (images and text). Next, we extend an LLM to model latent representations of objects to better predict action outcomes in an environment. We show that multi-modal models can capture physical commonsense when augmented with visual information. Finally, we evaluate our model's performance on novel actions and objects and find that combining modalities help models to generalize and learn physical commonsense reasoning better.


title: Connectivity based Real-Time fMRI Neurofeedback Training in Youth with a History of Major Depressive Disorder

abstract: Background: Real-time functional magnetic resonance imaging neurofeedback (rtfMRI-nf) has proven to be a powerful technique to help subjects to gauge and enhance emotional control. Traditionally, rtfMRI-nf has focused on emotional regulation through self-regulation of amygdala. Recently, rtfMRI studies have observed that regulation of a target brain region is accompanied by connectivity changes beyond the target region. Therefore, the aim of present study is to investigate the use of connectivity between amygdala and prefrontal regions as the target of neurofeedback training in healthy individuals and subjects with a life-time history of major depressive disorder (MDD) performing an emotion regulation task. Method: Ten remitted MDD subjects and twelve healthy controls (HC) performed an emotion regulation task in 4 runs of rtfMRI-nf training followed by one transfer run without neurofeedback conducted in a single session. The functional connectivity between amygdala and prefrontal cortex was presented as a feedback bar concurrent with the emotion regulation task. Participants' emotional state was measured by the Positive and Negative Affect Schedule (PANAS) prior to and following the rtfMRI-nf. Psychological assessments were used to determine subjects' history of depression. Results: Participants with a history of MDD showed a trend of decreasing functional connectivity across the four rtfMRI-nf runs, and there was a marginally significant interaction between the MDD history and number of training runs. The HC group showed a significant increase of frontal cortex activation between the second and third neurofeedback runs. Comparing PANAS scores before and after connectivity-based rtfMRI-nf, we observed a significant decrease in negative PANAS score in the whole group overall, and a significant decrease in positive PANAS score in the MDD group alone.


title: A Comparative Study of Pretrained Language Models for Long Clinical Text

abstract: Objective: Clinical knowledge enriched transformer models (e.g., ClinicalBERT) have state-of-the-art results on clinical NLP (natural language processing) tasks. One of the core limitations of these transformer models is the substantial memory consumption due to their full self-attention mechanism, which leads to the performance degradation in long clinical texts. To overcome this, we propose to leverage long-sequence transformer models (e.g., Longformer and BigBird), which extend the maximum input sequence length from 512 to 4096, to enhance the ability to model long-term dependencies in long clinical texts. Materials and Methods: Inspired by the success of long sequence transformer models and the fact that clinical notes are mostly long, we introduce two domain enriched language models, Clinical-Longformer and Clinical-BigBird, which are pre-trained on a large-scale clinical corpus. We evaluate both language models using 10 baseline tasks including named entity recognition, question answering, natural language inference, and document classification tasks. Results: The results demonstrate that Clinical-Longformer and Clinical-BigBird consistently and significantly outperform ClinicalBERT and other short-sequence transformers in all 10 downstream tasks and achieve new state-of-the-art results. Discussion: Our pre-trained language models provide the bedrock for clinical NLP using long texts. We have made our source code available at https://github.com/luoyuanlab/Clinical-Longformer, and the pre-trained models available for public download at: https://huggingface.co/yikuan8/Clinical-Longformer. Conclusion: This study demonstrates that clinical knowledge enriched long-sequence transformers are able to learn long-term dependencies in long clinical text. Our methods can also inspire the development of other domain-enriched long-sequence transformers.


title: Combination of Multi-Fidelity Data Sources For Uncertainty Quantification: A Lightweight CNN Approach

abstract: Reynolds Averaged Navier Stokes (RANS) modelling is notorious for introducing the model-form uncertainty due to the Boussinesq turbulent viscosity hypothesis. Recently, the eigenspace perturbation method (EPM) has been developed to estimate the RANS model-form uncertainty. This approach estimates model-form uncertainty through injecting perturbations to the predicted Reynolds stress tensor. However, there is a need for a reliable machine learning method for estimating the perturbed amplitude of the Reynolds stress tensor. Machine learning models are often too complex and data intensive for this application. We propose a lightweight convolutional neural network (CNN) approach to learn a correction function for RANS from paired-samples of RANS and DNS simulation results. The CNN learned RANS correction function successfully facilitates the RANS uncertainty quantification (UQ), and our findings suggest that the lightweight CNN approach is effective in combining RANS and DNS simulation results to enrich the existing perturbation method in estimating the RANS UQ more precisely.


title: Complexity of equilibria in binary public goods games on undirected graphs

abstract: We study the complexity of computing equilibria in binary public goods games on undirected graphs. In such a game, players correspond to vertices in a graph and face a binary choice of performing an action, or not. Each player's decision depends only on the number of neighbors in the graph who perform the action and is encoded by a per-player binary pattern. We show that games with decreasing patterns (where players only want to act up to a threshold number of adjacent players doing so) always have a pure Nash equilibrium and that one is reached from any starting profile by following a polynomially bounded sequence of best responses. For non-monotonic patterns of the form $10^k10^*$ (where players want to act alone or alongside $k + 1$ neighbors), we show that it is $\mathsf{NP}$-hard to decide whether a pure Nash equilibrium exists. We further investigate a generalization of the model that permits ties of varying strength: an edge with integral weight $w$ behaves as $w$ parallel edges. While, in this model, a pure Nash equilibrium still exists for decreasing patters, we show that the task of computing one is $\mathsf{PLS}$-complete.


title: Predicting Sentence-Level Factuality of News and Bias of Media Outlets

abstract: Automated news credibility and fact-checking at scale require accurately predicting news factuality and media bias. This paper introduces a large sentence-level dataset, titled "FactNews", composed of 6,191 sentences expertly annotated according to factuality and media bias definitions proposed by AllSides. We use FactNews to assess the overall reliability of news sources, by formulating two text classification problems for predicting sentence-level factuality of news reporting and bias of media outlets. Our experiments demonstrate that biased sentences present a higher number of words compared to factual sentences, besides having a predominance of emotions. Hence, the fine-grained analysis of subjectivity and impartiality of news articles provided promising results for predicting the reliability of media outlets. Finally, due to the severity of fake news and political polarization in Brazil, and the lack of research for Portuguese, both dataset and baseline were proposed for Brazilian Portuguese.


title: Morphology and Magnetic vortex chiral symmetry of 2D arrays of magnetic trilayer disks with magnetostatic interlayer coupling determined by X ray resonant magnetic scattering

abstract: X ray resonant magnetic scattering (XRMS) was used to characterize the magnetization of 2D arrays of trilayer submicron magnets. The interpretation of the data required the understanding of the morphology of the magnets which was also deduced from the scattered intensity. The magnets consisted of two magnetostatically coupled ferromagnetic layers separated by a non-magnetic spacer. The scattered intensity from the disks resulted to be dependent on the disks surface curvature. This made the collected intensity at each Bragg reflection (BR) to be correlated to the reflected light from locations of the disk with the same angle of curvature. Due to this, quantitative information was obtained, averaged over the disks illuminated by x rays, of the variations in thickness and magnetization across the entire area of the disks. This averaged magnetization mapping of the disks served to study their vortex configuration in each of their magnetic layers, determining the average location of the vortex, the chiral symmetry of its magnetic circulation, and the specific locations where the vortex nucleation starts within the disks. Chiral asymmetry appeared in the disks when the field was oriented at an oblique angle with respect to the easy axis of the array. The local magnetic sensitivity of the technique allowed to identify a non-centrosymmetric distribution of the magnetization of the disks that explains the observed chiral asymmetry. Unexpectedly, the magnetic circulation sense of the vortex was the same in both ferromagnetic layers. In addition, the magnetization of the buried layer was different in the descent branch than in the ascent branch of its hysteresis loops.


title: A Sequential Global Programming Approach for Two-scale Optimization of Homogenized Multiphysics Problems with Application to Biot Porous Media

abstract: We present a new approach and an algorithm for optimizing the material configuration and behaviour of a fluid saturated porous medium in a two-scale setting. The state problem is governed by the Biot model describing the fluid-structure interaction in homogenized poroelastic structures. However, the approach is widely applicable to multiphysics problems involving several macroscopic fields where homogenization provides the relationship between the microconfigurations and the macroscopic mathematical model. The optimization variables describe the local microstructure design by virtue of the pore shape which determines the effective medium properties - the material coefficients - computed by the homogenization method. The main idea of the numerical optimization strategy consists in a) employing a precomputed database of the material coefficients associated to the geometric parameters and b) applying the sequential global programming (SGP) method for solving the problem of macroscopically optimized distribution of material coefficients. Although there are similarities with the free material optimization (FMO) approach, only effective material coefficients are considered admissible, for which a well-defined set of corresponding configurable microstructures exist. Due to the flexibility of the SGP approach, different types of microstructures with fully independent parametrizations can easily be handled. The efficiency of the concept is demonstrated by a series of numerical experiments. We show that the SGP method can handle simultaneously multiple types of microstructures with nontrivial parametrizations using a considerably low and stable number of state problems to be solved.


title: Competition between the Spin and Pseudospin Subsystems in a Model Cuprate

abstract: The competition between the magnetic and charge orderings in a model cuprate is considered in terms of a simplified static 2D spin-pseudospin model. This model is equivalent to the 2D dilute antiferromagnetic (AFM) Ising model with charged impurities. The mean-field approximation results are presented for the system under study and briefly compared to the classical Monte Carlo (MC) calculations. The numerical simulation shows that the cases of the strong exchange and the strong charge correlation differ qualitatively. In the case of a strong exchange, the AMF phase is instable with respect to the phase separation (PS) into the pseudospin (charge) and magnetic (spin) subsystems that behave as immiscible quantum liquids. The analytical expression has been obtained for the PS temperature.


title: GrGadget: an N-body TreePM relativistic code for cosmological simulations

abstract: We present the merging of the Particle-Mesh (PM) relativistic Gevolution code with the TreePM Gadget-4 code, with the aim of studying general relativity effects in cosmology. Our code, called GrGadget, is able to track the evolution of metric perturbations in the weak field limit by using Gevolution's implementation of a relativistic PM in the Poisson gauge. To achieve this, starting from Gevolution we have written a C++ library called libgevolution, that allows a code to access and use the same abstractions and resources that Gevolution uses for its PM-only N-body simulations. The code works under the assumption that particle interactions at short distances can be approximated as Newtonian, so that we can combine the forces computed with a Newtonian Tree with those computed with a relativistic PM. The result is a TreePM simulation code that represents metric perturbations at the scales where they are relevant, while resolving non-linear structures. We validate our code by closely matching Gadget-4 forces, computed with the Tree switched off, with those computed with libgevolution in the Newtonian limit. With GrGadget we obtain a matter power spectrum that is compatible with Newtonian Gadget at small scales and contains GR features at large scales that are consistent with results obtained with Gevolution. We demonstrate that, due to the better resolution of the highly non-linear regime, the representation of the relativistic fields sampled on the mesh improves with respect to the PM-only simulations.


title: Non-Lifshitz invariants corrections to Dzyaloshinskii-Moriya interaction energy

abstract: We study the continuum limit of two-dimensional chiral magnets in which Dzyaloshinskii-Moriya interaction (DMI) is due to the interplay between a smooth magnetic texture and spin-orbit coupling. The resulting free-energy density of the system contains linear terms in the spatial gradient of the magnetic texture, which mark an instability of the system towards the formation of nontrivial magnetic orders such as skyrmions or chiral domain walls. We perform a microscopic analysis of DMI tensors responsible for this contribution to free energy based on a Berry phase formulation in the mixed space of momentum and position, and reveal that they exhibit non-Lifshitz invariants features. In particular, a perturbation theory shows in the case of Rashba spin-orbit interactions the presence of non-Lifshitz invariants to third order in the small spin-orbit interaction and fourth order in the small exchange coupling. The higher-order terms may even lead to an enhancement of DMI interaction at strong spin-orbit coupling due to divergences in the density of states at the bottom of the conduction band. Finally, we also study the DMI free energy generated from Rashba spin-orbit interaction in different symmetry groups.


title: ActiveLab: Active Learning with Re-Labeling by Multiple Annotators

abstract: In real-world data labeling applications, annotators often provide imperfect labels. It is thus common to employ multiple annotators to label data with some overlap between their examples. We study active learning in such settings, aiming to train an accurate classifier by collecting a dataset with the fewest total annotations. Here we propose ActiveLab, a practical method to decide what to label next that works with any classifier model and can be used in pool-based batch active learning with one or multiple annotators. ActiveLab automatically estimates when it is more informative to re-label examples vs. labeling entirely new ones. This is a key aspect of producing high quality labels and trained models within a limited annotation budget. In experiments on image and tabular data, ActiveLab reliably trains more accurate classifiers with far fewer annotations than a wide variety of popular active learning methods.


title: Policy-Value Alignment and Robustness in Search-based Multi-Agent Learning

abstract: Large-scale AI systems that combine search and learning have reached super-human levels of performance in game-playing, but have also been shown to fail in surprising ways. The brittleness of such models limits their efficacy and trustworthiness in real-world deployments. In this work, we systematically study one such algorithm, AlphaZero, and identify two phenomena related to the nature of exploration. First, we find evidence of policy-value misalignment -- for many states, AlphaZero's policy and value predictions contradict each other, revealing a tension between accurate move-selection and value estimation in AlphaZero's objective. Further, we find inconsistency within AlphaZero's value function, which causes it to generalize poorly, despite its policy playing an optimal strategy. From these insights we derive VISA-VIS: a novel method that improves policy-value alignment and value robustness in AlphaZero. Experimentally, we show that our method reduces policy-value misalignment by up to 76%, reduces value generalization error by up to 50%, and reduces average value error by up to 55%.


title: 3D MHD models of the centrifugal magnetosphere from a massive star with an oblique dipole field

abstract: We present results from new self-consistent 3D MHD simulations of the magnetospheres from massive stars with a dipole magnetic axis that has a non-zero obliquity angle ($\beta$) to the star's rotation axis. As an initial direct application, we compare the global structure of co-rotating disks for nearly aligned ($\beta=5^o$) versus half-oblique ($\beta=45^o$) models, both with moderately rapid rotation ($\sim$ 0.5 critical). We find that accumulation surfaces broadly resemble the forms predicted by the analytic Rigidly Rotating Magnetosphere (RRM) model, but the mass buildup to near the critical level for centrifugal breakout against magnetic confinement distorts the field from the imposed initial dipole. This leads to an associated warping of the accumulation surface toward the rotational equator, with the highest density concentrated in {\em wings} centered on the intersection between the magnetic and rotational equators. These MHD models can be used to synthesize rotational modulation of photometric absorption and H$\alpha$ emission for a direct comparison with observations.


title: Synthetic Difference In Differences Estimation

abstract: In this paper, we describe a computational implementation of the Synthetic difference-in-differences (SDID) estimator of Arkhangelsky et al. (2021) for Stata. Synthetic difference-in-differences can be used in a wide class of circumstances where treatment effects on some particular policy or event are desired, and repeated observations on treated and untreated units are available over time. We lay out the theory underlying SDID, both when there is a single treatment adoption date and when adoption is staggered over time, and discuss estimation and inference in each of these cases. We introduce the sdid command which implements these methods in Stata, and provide a number of examples of use, discussing estimation, inference, and visualization of results.


title: The Cartesian Closed Bicategory of Thin Spans of Groupoids

abstract: Recently, there has been growing interest in bicategorical models of programming languages, which are "proof-relevant" in the sense that they keep distinct account of execution traces leading to the same observable outcomes, while assigning a formal meaning to reduction paths as isomorphisms. In this paper we introduce a new model, a bicategory called thin spans of groupoids. Conceptually it is close to Fiore et al.'s generalized species of structures and to Melli\`es' homotopy template games, but fundamentally differs as to how replication of resources and the resulting symmetries are treated. Where those models are saturated -- the interpretation is inflated by the fact that semantic individuals may carry arbitrary symmetries -- our model is thin, drawing inspiration from thin concurrent games: the interpretation of terms carries no symmetries, but semantic individuals satisfy a subtle invariant defined via biorthogonality, which guarantees their invariance under symmetry. We first build the bicategory $\mathbf{Thin}$ of thin spans of groupoids. Its objects are certain groupoids with additional structure, its morphisms are spans composed via plain pullback with identities the identity spans, and its $2$-cells are span morphisms making the induced triangles commute only up to natural isomorphism. We then equip $\mathbf{Thin}$ with a pseudocomonad $!$, and finally show that the Kleisli bicategory $\mathbf{Thin}_{!}$ is cartesian closed.


title: Electric-field frictional effects in confined zwitterionic molecules

abstract: We theoretically explore the effect of a transverse electric field on the frictional response of a bi-layer of packed zwitterionic molecules. The dipole-moment reorientation promoted by the electric field can lead to either stick-slip or smooth sliding dynamics, with average shear stress values varying over a wide range. A structure-property relation is revealed by investigating the array of molecules and their mutual orientation and interlocking. Moreover, the thermal friction enhancement previously observed in these molecules is shown to be suppressed by the electric field, recovering the expected thermolubricity at large-enough fields. The same holds for other basic tribological quantities, such as the external load, which can influence friction in opposite ways depending on the strength of the applied electric field. Our findings open a route for the reversible control of friction forces via electric polarization of the sliding surface.


title: Neural Additive Models for Location Scale and Shape: A Framework for Interpretable Neural Regression Beyond the Mean

abstract: Deep neural networks (DNNs) have proven to be highly effective in a variety of tasks, making them the go-to method for problems requiring high-level predictive power. Despite this success, the inner workings of DNNs are often not transparent, making them difficult to interpret or understand. This lack of interpretability has led to increased research on inherently interpretable neural networks in recent years. Models such as Neural Additive Models (NAMs) achieve visual interpretability through the combination of classical statistical methods with DNNs. However, these approaches only concentrate on mean response predictions, leaving out other properties of the response distribution of the underlying data. We propose Neural Additive Models for Location Scale and Shape (NAMLSS), a modelling framework that combines the predictive power of classical deep learning models with the inherent advantages of distributional regression while maintaining the interpretability of additive models. The code is available at the following link: https://github.com/AnFreTh/NAMpy


title: Semiring identities of semigroups of reflexive relations and upper triangular boolean matrices

abstract: We show that the following semirings satisfy the same identities: the semiring $\mathcal{R}_n$ of all reflexive binary relations on a set with $n$ elements, the semiring $\mathcal{U}_n$ of all $n\times n$ upper triangular matrices over the boolean semiring, the semiring $\mathcal{C}_n$ of all order preserving and extensive transformations of a chain with $n$ elements. In view of the result of Kl\'ima and Pol\'ak, which states that $\mathcal{C}_n$ has a finite basis of identities for all $n$, this implies that the identities of $\mathcal{R}_n$ and $\mathcal{U}_n$ admit a finite basis as well.


title: Gravity can lead to multiple peaks in the early stages of coffee ring formation

abstract: We consider the role of gravity in solute transport when a thin droplet evaporates. Under the physically-relevant assumptions that the contact line is pinned and the solutal P\'{e}clet number, $\mbox{Pe}$ is large, we identify two fundamental regimes that depend on the size of the Bond number, $\mbox{Bo}$. When $\mbox{Bo} = O(1)$, the asymptotic structure of solute transport follows directly from the surface tension-dominated regime, whereby advection drives solute towards the contact line, only to be countered by local diffusive effects, leading to the formation of the famous ``coffee ring". For larger Bond numbers, we identify the distinguished limit in which $\mbox{Bo}^{-1/2}\mbox{Pe}^{2/3} = O(1)$, where the diffusive boundary layer is comparable to the surface tension boundary layer. In each regime, we perform a systematic asymptotic analysis of the solute transport and compare our predictions to numerical simulations of the full model. Our analysis identifies the effect of gravity on the nascent coffee ring, providing quantitative predictions of the size, location and shape of the solute mass profile. Furthermore, we reveal that, for certain values of $\mbox{Bo}$, $\mbox{Pe}$ and the evaporation time, a secondary peak may exist inside the classical coffee ring. We find that the onset of this secondary peak is linked to the change in behaviour of the critical point in the droplet centre. Both the onset and the peak characteristics are shown to be independent of $\mbox{Pe}$, but solutal diffusion may act to remove the secondary peak when the classical coffee ring becomes so large as to subsume it.


title: Ultrafast CMOS image sensors and data-enabled super-resolution for multimodal radiographic imaging and tomography

abstract: We summarize recent progress in ultrafast Complementary Metal Oxide Semiconductor (CMOS) image sensor development and the application of neural networks for post-processing of CMOS and charge-coupled device (CCD) image data to achieve sub-pixel resolution (thus $super$-$resolution$). The combination of novel CMOS pixel designs and data-enabled image post-processing provides a promising path towards ultrafast high-resolution multi-modal radiographic imaging and tomography applications.


title: On the Boolean algebra tensor product via Caratheodory spaces of place functions

abstract: We show that the Carath\'{e}odory space of place functions on the free product of two Boolean algebras is Riesz isomorphic with Fremlin's Archimedean Riesz space tensor product of their respective Carath\'{e}odory spaces of place functions. We provide a solution to Fremlin's problem 315Y(f) in \cite{fremlin_measure} concerning completeness in the free product of Boolean algebras by applying our results on the Archimedean Riesz space tensor product to Carath\'{e}odory spaces of place functions.


title: The Produoidal Algebra of Process Decomposition

abstract: We introduce the normal produoidal category of monoidal contexts over an arbitrary monoidal category. In the same sense that a monoidal morphism represents a process, a monoidal context represents an incomplete process: a piece of a decomposition, possibly containing missing parts. We characterize monoidal contexts in terms of universal properties. In particular, symmetric monoidal contexts coincide with monoidal lenses, endowing them with a novel universal property. We apply this algebraic structure to the analysis of multi-party interaction protocols in arbitrary theories of processes.


title: The DEHVILS Survey Overview and Initial Data Release: High-Quality Near-Infrared Type Ia Supernova Light Curves at Low Redshift

abstract: While the sample of optical Type Ia Supernova (SN Ia) light curves (LCs) usable for cosmological parameter measurements surpasses 2000, the sample of published, cosmologically viable near-infrared (NIR) SN Ia LCs, which have been shown to be good "standard candles," is still $\lesssim$ 200. Here, we present high-quality NIR LCs for 83 SNe Ia ranging from $0.002 < z < 0.09$ as a part of the Dark Energy, H$_0$, and peculiar Velocities using Infrared Light from Supernovae (DEHVILS) survey. Observations are taken using UKIRT's WFCAM, where the median depth of the images is 20.7, 20.1, and 19.3 mag (Vega) for $Y$, $J$, and $H$-bands, respectively. The median number of epochs per SN Ia is 18 for all three bands ($YJH$) combined and 6 for each band individually. We fit 47 SN Ia LCs that pass strict quality cuts using three LC models, SALT3, SNooPy, and BayeSN and find scatter on the Hubble diagram to be comparable to or better than scatter from optical-only fits in the literature. Fitting NIR-only LCs, we obtain standard deviations ranging from 0.128-0.135 mag. Additionally, we present a refined calibration method for transforming 2MASS magnitudes to WFCAM magnitudes using HST CALSPEC stars that results in a 0.03 mag shift in the WFCAM $Y$-band magnitudes.


title: Observation of brane parity order in programmable optical lattices

abstract: The Mott-insulating phase of the two-dimensional (2d) Bose-Hubbard model is expected to be characterized by a non-local brane parity order. Parity order captures the presence of microscopic particle-hole fluctuations and entanglement, whose properties depend on the underlying lattice geometry. We realize 2d Bose-Hubbard models in dynamically tunable lattice geometries, using neutral atoms in a novel passively phase-stable tunable optical lattice in combination with programmable site-blocking potentials. We benchmark the performance of our system by single-particle quantum walks in the square, triangular, kagome and Lieb lattice. In the strongly correlated regime, we microscopically characterize the geometry dependence of the quantum fluctuations and experimentally validate the brane parity as a proxy for the non-local order parameter signaling the superfluid-to-Mott insulating phase transition.


title: Modellierung der Messung von Flussqubits mittels Quanten-Fluss-Parametron

abstract: The aim of this work is to model the measurement of flux qubits using Quantum-Flux-Parametron (QFP) and to theoretically investigate and numerically simulate the fidelity of the measurement in different bases.


title: Exploiting the Generative Adversarial Network Approach to Create a Synthetic Topography Corneal Image

abstract: Corneal diseases are the most common eye disorders. Deep learning techniques are used to per-form automated diagnoses of cornea. Deep learning networks require large-scale annotated datasets, which is conceded as a weakness of deep learning. In this work, a method for synthesizing medical images using conditional generative adversarial networks (CGANs), is presented. It also illustrates how produced medical images may be utilized to enrich medical data, improve clinical decisions, and boost the performance of the conventional neural network (CNN) for medical image diagnosis. The study includes using corneal topography captured using a Pentacam device from patients with corneal diseases. The dataset contained 3448 different corneal images. Furthermore, it shows how an unbalanced dataset affects the performance of classifiers, where the data are balanced using the resampling approach. Finally, the results obtained from CNN networks trained on the balanced dataset are compared to those obtained from CNN networks trained on the imbalanced dataset. For performance, the system estimated the diagnosis accuracy, precision, and F1-score metrics. Lastly, some generated images were shown to an expert for evaluation and to see how well experts could identify the type of image and its condition. The expert recognized the image as useful for medical diagnosis and for determining the severity class according to the shape and values, by generating images based on real cases that could be used as new different stages of illness between healthy and unhealthy patients.


title: Fracture properties of La(Fe,Mn,Si)13 magnetocaloric materials

abstract: La(Fe,Mn,Si)13 alloys are a promising material family for magnetic refrigeration. Challenges associated with their structural integrity during device assembly and operation requires deep understanding of the mechanical properties. Here we developed a workflow to quantitatively study the fracture properties of La(Fe,Mn,Si)13 plates used in magnetic cooling devices. We employed microstructural characterisation, optical examination of defects, and four-point bending tests of samples with known defect sizes to evaluate their mechanical performance. We established the residual strength curve which directly links observed defects to mechanical strength. The estimated fracture toughness KC of hydrogenated La(Fe,Mn,Si)13 is approximately 4 MPa m^1/2 for the geometry employed. The established relationship between strength and crack length enables the prediction of mechanical performance through examination of defects via optical microscopy, therefore can be used industrially for directing plate selection to guarantee the mechanical stability of refrigeration devices.


title: A Deep Learning Method for Comparing Bayesian Hierarchical Models

abstract: Bayesian model comparison (BMC) offers a principled approach for assessing the relative merits of competing computational models and propagating uncertainty into model selection decisions. However, BMC is often intractable for the popular class of hierarchical models due to their high-dimensional nested parameter structure. To address this intractability, we propose a deep learning method for performing BMC on any set of hierarchical models which can be instantiated as probabilistic programs. Since our method enables amortized inference, it allows efficient re-estimation of posterior model probabilities and fast performance validation prior to any real-data application. In a series of extensive validation studies, we benchmark the performance of our method against the state-of-the-art bridge sampling method and demonstrate excellent amortized inference across all BMC settings. We then showcase our method by comparing four hierarchical evidence accumulation models that have previously been deemed intractable for BMC due to partly implicit likelihoods. Additionally, we demonstrate how transfer learning can be leveraged to enhance training efficiency. We provide reproducible code for all analyses and an open-source implementation of our method.


title: Magnetic reconnection plasmoid model for Sagittarius A* flares

abstract: Sagittarius A*, the supermassive black hole at the center of our galaxy, exhibits episodic near-infrared flares. The recent monitoring of three such events by the GRAVITY instrument has shown that some flares are associated with orbital motions in the close environment of the black hole with super Keplerian velocity. We develop a semi-analytic model of Sagittarius~A* flares based on an ejected large plasmoid, inspired by recent particle-in-cell global simulations of black hole magnetospheres. We model the infrared astrometric and photometric signatures associated to this model. We consider a spherical large plasmoid ejected along a conical orbit around the black hole. This plasmoid is assumed to be formed by successive mergers of smaller plasmoids produced through magnetic reconnection. Non-thermal electrons are injected in the plasmoid. We compute the evolution of the electron-distribution under the influence of synchrotron cooling. We solve the radiative transfer problem and transport the radiation along null geodesics of the Schwarzschild spacetime. We also take into account the quiescent radiation of the accretion flow, on top of which the flare evolves. For the first time, we successfully account for the astrometric and flux variations of the GRAVITY data with a flare model that incorporates an explicit modeling of the emission mechanism. We find good agreement between the prediction of our model and the recent data. In particular, the azimuthal velocity is set by the magnetic field line it belongs to, which is anchored in the inner parts of the accretion flow, hence the super-Keplerian motion. The astrometric track is also shifted with respect to the center of mass due to the quiescent radiation, in agreement with the difference measured with the GRAVITY data. These results support the picture of magnetic reconnection as a viable model for Sagittarius~A* infrared flares.


title: Refining the GENEVA method for Higgs boson production via gluon fusion

abstract: We describe a number of improvements to the GENEVA method for matching NNLO calculations to parton shower programs. In particular, we detail changes to the resummed calculation used in the matching procedure, including disentangling the cross section dependence on factorisation and beam scales, and an improved treatment of timelike logarithms. We also discuss modifications in the implementation of the splitting functions which serve to make the resummed calculation differential in the higher multiplicity phase space. These changes improve the stability of the numerical cancellation of the nonsingular term at small values of the resolution parameter. As a case study, we consider the gluon-initiated Higgs boson production process $gg\to H$. We validate the NNLO accuracy of our predictions against independent calculations, and compare our showered and hadronised results with recent data taken at the ATLAS and CMS experiments in the diphoton decay channel, finding good agreement.


title: Influence of Local Correlations on the "Homogeneous Insulator-Superconductor" Transition in the Domain Boundaries of the Charge-Order Phase of a 2D System of a Mixed Valence

abstract: It is demonstrated in the (pseudo)spin S=1 formalism that the structure of antiphase domain boundaries in the phase of charge ordering of a mixed-valence system of the Cu1+, 2+, 3+ "triplet" type in cuprates on a two-dimensional square lattice depends to a considerable extent on on-site correlation parameter U. The results of computer modeling on large square lattices illustrate the change in the boundary structure (from a homogeneous monovalent nonconducting structure of the Cu2+ type to a filamentary superconducting one) induced by a relatively small variation of positive U values.


title: On KP-integrable skew Hurwitz $\tau$-functions and their $\beta$-deformations

abstract: We extend the old formalism of cut-and-join operators in the theory of Hurwitz $\tau$-functions to description of a wide family of KP-integrable {\it skew} Hurwitz $\tau$-functions, which include, in particular, the newly discovered interpolating WLZZ models. Recently, the simplest of them was related to a superintegrable two-matrix model with two potentials and one external matrix field. Now we provide detailed proofs, and a generalization to a multi-matrix representation, and propose the $\beta$ deformation of the matrix model as well. The general interpolating WLZZ model is generated by a $W$-representation given by a sum of operators from a one-parametric commutative sub-family (a commutative subalgebra of $w_\infty$). Different commutative families are related by cut-and-join rotations. Two of these sub-families (`vertical' and `45-degree') turn out to be nothing but the trigonometric and rational Calogero-Sutherland Hamiltonians, the `horizontal' family is represented by simple derivatives. Other families require an additional analysis.


title: Large Low Background kTon-Scale Liquid Argon Time Projection Chambers

abstract: We find that it is possible to increase sensitivity to low energy physics in a third or fourth DUNE-like module with careful controls over radiopurity and targeted modifications to a detector similar to the DUNE Far Detector design. In particular, sensitivity to supernova and solar neutrinos can be enhanced with improved MeV-scale reach. A neutrinoless double beta decay search with $^{136}$Xe loading appears feasible. Furthermore, sensitivity to Weakly-Interacting Massive Particle (WIMP) Dark Matter (DM) becomes competitive with the planned world program in such a detector, offering a unique seasonal variation detection that is characteristic for the nature of WIMPs.


title: Case-Based Reasoning with Language Models for Classification of Logical Fallacies

abstract: The ease and speed of spreading misinformation and propaganda on the Web motivate the need to develop trustworthy technology for detecting fallacies in natural language arguments. However, state-of-the-art language modeling methods exhibit a lack of robustness on tasks like logical fallacy classification that require complex reasoning. In this paper, we propose a Case-Based Reasoning method that classifies new cases of logical fallacy by language-modeling-driven retrieval and adaptation of historical cases. We design four complementary strategies to enrich input representation for our model, based on external information about goals, explanations, counterarguments, and argument structure. Our experiments in in-domain and out-of-domain settings indicate that Case-Based Reasoning improves the accuracy and generalizability of language models. Our ablation studies suggest that representations of similar cases have a strong impact on the model performance, that models perform well with fewer retrieved cases, and that the size of the case database has a negligible effect on the performance. Finally, we dive deeper into the relationship between the properties of the retrieved cases and the model performance.


title: Optical Flow Estimation in 360$^\circ$ Videos: Dataset, Model and Application

abstract: Optical flow estimation has been a long-lasting and fundamental problem in the computer vision community. However, despite the advances of optical flow estimation in perspective videos, the 360$^\circ$ videos counterpart remains in its infancy, primarily due to the shortage of benchmark datasets and the failure to accommodate the omnidirectional nature of 360$^\circ$ videos. We propose the first perceptually realistic 360$^\circ$ filed-of-view video benchmark dataset, namely FLOW360, with 40 different videos and 4,000 video frames. We then conduct comprehensive characteristic analysis and extensive comparisons with existing datasets, manifesting FLOW360's perceptual realism, uniqueness, and diversity. Moreover, we present a novel Siamese representation Learning framework for Omnidirectional Flow (SLOF) estimation, which is trained in a contrastive manner via a hybrid loss that combines siamese contrastive and optical flow losses. By training the model on random rotations of the input omnidirectional frames, our proposed contrastive scheme accommodates the omnidirectional nature of optical flow estimation in 360$^\circ$ videos, resulting in significantly reduced prediction errors. The learning scheme is further proven to be efficient by expanding our siamese learning scheme and omnidirectional optical flow estimation to the egocentric activity recognition task, where the classification accuracy is boosted up to $\sim$26%. To summarize, we study the optical flow estimation in 360$^\circ$ videos problem from perspectives of the benchmark dataset, learning model, and also practical application. The FLOW360 dataset and code are available at https://siamlof.github.io.


title: Electromagnetic Form Factors and Charge Radii of Pseudoscalar and Scalar Mesons: A Comprehensive Contact Interaction Analysis

abstract: We carry out a comprehensive survey of electromagnetic form factors of all light, heavy and heavy-light ground-state pseudoscalar and scalar mesons. Our analysis is based upon a Schwinger-Dyson equations treatment of a vector $\times$ vector contact interaction. It incorporates confinement and ensures axial vector and vector Ward-Takahashi identities are satisfied along with the corresponding corollaries such as the Goldberger-Treiman relations. The algebraic simplicity of the model allows us to compute the form factors at arbitrarily large virtualities of the probing photon momentum squared with relative ease. Wherever possible and insightful, we compare our results for the electromagnetic form factors and the charge radii with those obtained earlier through Schwinger-Dyson equations, lattice and with experimental observations available. We also comment on the scope and shortcomings of the model.


title: Privacy-Preserving Methods for Outlier-Resistant Average Consensus and Shallow Ranked Vote Leader Election

abstract: Consensus and leader election are fundamental problems in distributed systems. Consensus is the problem in which all processes in a distributed computation must agree on some value. Average consensus is a popular form of consensus, where the agreed upon value is the average of the initial values of all the processes. In a typical solution for consensus, each process learns the value of others' to determine the final decision. However, this is undesirable if processes want to keep their values secret from others. With this motivation, we present a solution to privacy-preserving average consensus, where no process can learn the initial value of any other process. Additionally, we augment our approach to provide outlier resistance, where extreme values are not included in the average calculation. Privacy is fully preserved at every stage, including preventing any process from learning the identities of processes that hold outlier values. To our knowledge, this is the first privacy-preserving average consensus algorithm featuring outlier resistance. In the context of leader election, each process votes for the one that it wants to be the leader. The goal is to ensure that the leader is elected in such a way that each vote remains secret and the sum of votes remain secret during the election. Only the final vote tally is available to all processes. This ensures that processes that vote early are not able to influence the votes of other processes. We augment our approach with shallow ranked voting by allowing processes to not only vote for a single process, but to designate a secondary process to vote towards in the event that their primary vote's candidate does not win the election.


title: A note on the admissibility of complex BTZ metrics

abstract: We perform a nontrivial check of Witten's recently proposed admissibility criterion for complex metrics. We consider the `quasi-Euclidean' metrics obtained from continuing the BTZ class of metrics to imaginary time. Of special interest are the overspinning metrics, which are smooth in this three-dimensional context. Their inclusion as saddle points in the gravitational path integral would lead to puzzling results in conflict with those obtained using other methods. It is therefore encouraging that the admissibility criterion discards them. For completeness, we perform an analysis of smoothness and admissibility for the family of quasi-Euclidean BTZ metrics at all values of the mass and angular momentum.


title: Long-range quantum energy teleportation and distribution on a hyperbolic quantum network

abstract: Teleporting energy to remote locations is new challenge for quantum information science and technology. Developing a method for transferring local energy in laboratory systems to remote locations will enable non-trivial energy flows in quantum networks. From the perspective of quantum information engineering, we propose a method for distributing local energy to a large number of remote nodes using hyperbolic geometry. Hyperbolic networks are suitable for energy allocation in large quantum networks since the number of nodes grows exponentially. To realise long-range quantum energy teleportation, we propose a hybrid method of quantum state telepotation and quantum energy teleportation. By transmitting local quantum information through quantum teleportation and performing conditional operations on that information, quantum energy teleportation can theoretically be realized independent of geographical distance. The method we present will provide new insights into new applications of future large-scale quantum networks and potential applications of quantum physics to information engineering.


title: Algorithmic Stability of Heavy-Tailed SGD with General Loss Functions

abstract: Heavy-tail phenomena in stochastic gradient descent (SGD) have been reported in several empirical studies. Experimental evidence in previous works suggests a strong interplay between the heaviness of the tails and generalization behavior of SGD. To address this empirical phenomena theoretically, several works have made strong topological and statistical assumptions to link the generalization error to heavy tails. Very recently, new generalization bounds have been proven, indicating a non-monotonic relationship between the generalization error and heavy tails, which is more pertinent to the reported empirical observations. While these bounds do not require additional topological assumptions given that SGD can be modeled using a heavy-tailed stochastic differential equation (SDE), they can only apply to simple quadratic problems. In this paper, we build on this line of research and develop generalization bounds for a more general class of objective functions, which includes non-convex functions as well. Our approach is based on developing Wasserstein stability bounds for heavy-tailed SDEs and their discretizations, which we then convert to generalization bounds. Our results do not require any nontrivial assumptions; yet, they shed more light to the empirical observations, thanks to the generality of the loss functions.


title: A Learned Cache Eviction Framework with Minimal Overhead

abstract: Recent work shows the effectiveness of Machine Learning (ML) to reduce cache miss ratios by making better eviction decisions than heuristics. However, state-of-the-art ML caches require many predictions to make an eviction decision, making them impractical for high-throughput caching systems. This paper introduces Machine learning At the Tail (MAT), a framework to build efficient ML-based caching systems by integrating an ML module with a traditional cache system based on a heuristic algorithm. MAT treats the heuristic algorithm as a filter to receive high-quality samples to train an ML model and likely candidate objects for evictions. We evaluate MAT on 8 production workloads, spanning storage, in-memory caching, and CDNs. The simulation experiments show MAT reduces the number of costly ML predictions-per-eviction from 63 to 2, while achieving comparable miss ratios to the state-of-the-art ML cache system. We compare a MAT prototype system with an LRU-based caching system in the same setting and show that they achieve similar request rates.


title: Symmetries and similarities of the zero-pressure-gradient turbulent boundary

abstract: The symmetries and similarities of the zero-pressure-gradient turbulent boundary layer (ZPGTBL) are investigated to derive the full set of similarity variables, to derive the similarity equations, and to obtain a higher-order approximate solution of the mean velocity profile. Previous analyses have not resulted in all the similarity variables. We perform a symmetry analysis of the equations for ZPGTBL using Lie dilation groups, and obtain local, leading-order symmetries of the equations. The full set of similarity variables were obtained in terms of the boundary layer parameters. The friction velocity was shown to be the outer-layer velocity scale. The downstream evolution of the boundary thickness and the friction velocity is obtained analytically. The dependent similarity variables are written as asymptotic expansions. By asymptotically matching the expansions, an approximate similarity solution up to the third order in the overlapping layer are obtained. These results are obtained from first principles without any major assumptions and a turbulence model. The similarities and differences between ZPGTBL and turbulent channel flows in terms of the similarity equations, the gauge functions and the approximate solutions are discussed. In particular, the leading-order expansions are identical for ZPGTBL and channel flows, supporting the notion of universality of the near-wall layer. In addition, the logarithmic friction law for ZPGTBL is accurate to all orders while it is only accurate at the leading order in channel flows. The results will help further understand ZPGTBL and the issue of universality of the near-wall layer in wall-bounded turbulent flows.


title: Transforming 2D carbon allotropes into 3D ones through topological mapping: The case of biphenylene carbon (graphenylene)

abstract: In this work, we propose a new methodology for obtaining 3D carbon allotrope structures from 2D ones through topological mapping. The idea is to select a 3D target structure and 'slice' it along different structural directions, creating a series of 2D structures. As a proof of concept, we chose the Tubulane structure 12-hexa(3,3) as a target. Tubulanes are 3D carbon allotropes based on cross-linked carbon nanotubes. One of obtained 2D 'sliced' structures was mapped into the biphenylene carbon (BPC). We showed that compressing BPC along different directions can generate not only the target Tubulane 12-hexa(3,3) but at least two other structures, bcc-C6 and an unreported member of the Tubulane family, which we called Tubulane X. The methodology proposed here is completely general, it can be used coupled with any quantum method. Considering that new 2D carbon allotropes, such as the biphenylene carbon network, which is closely related to BPC, have been recently synthesized, the approach proposed here opens new perspectives to obtain new 3D carbon allotropes from 2D structures.


title: Right-handed neutrino pair production via second-generation leptoquarks

abstract: No direct experimental constraints exist on Leptoquark (LQ) couplings with quarks and right-handed neutrinos (RHNs). If a LQ dominantly couples to RHNs, it can leave unique signatures at the LHC. The RHNs can be produced copiously from LQ decays as long as they are lighter than the LQs. LQ-induced RHN production has never been searched for in experiments. This channel can act as a simultaneous probe for RHNs and LQs that dominantly couple to RHNs. In this paper, we consider all possible charge-$2/3$ and $1/3$ scalar and vector LQs that dominantly couple to second-generation quarks and RHN. We study the pair and single productions of TeV-scale LQs and their subsequent decay to sub-TeV RHNs, realised in the inverse seesaw framework. We also consider RHN pair production through a $t$-channel LQ exchange. The single LQ production and $t$-channel contributions can be significant for large LQ-RHN-quark couplings. We systematically combine events from these processes leading to a pair of RHNs plus jets to study the prospects of LQ-assisted RHN pair production. We analyse the monolepton and opposite-sign dilepton final states and estimate the discovery reach at the high-luminosity LHC.


title: Algorithms for ranking and unranking the combinatorial set of RNA secondary structures

abstract: In this paper, we study the combinatorial set of RNA secondary structures of length $n$ with $m$ base-pairs. For a compact representation, we encode an RNA secondary structure by the corresponding Motzkin word. For this combinatorial set, we construct an AND/OR tree structure, find a bijection between the combinatorial set and the set of variants of the AND/OR tree, and develop algorithms for ranking and unranking the variants of the AND/OR tree. The developed ranking and unranking algorithms have polynomial time complexity $O(m^2 (n - m))$ for $m < n - 2 m$ and $O(m (n - m)^2)$ for $m > n - 2 m$. In contrast to the existing algorithms, the new algorithms do not require preprocessing steps and have better time complexity.


title: Polycraft World AI Lab (PAL): An Extensible Platform for Evaluating Artificial Intelligence Agents

abstract: As artificial intelligence research advances, the platforms used to evaluate AI agents need to adapt and grow to continue to challenge them. We present the Polycraft World AI Lab (PAL), a task simulator with an API based on the Minecraft mod Polycraft World. Our platform is built to allow AI agents with different architectures to easily interact with the Minecraft world, train and be evaluated in multiple tasks. PAL enables the creation of tasks in a flexible manner as well as having the capability to manipulate any aspect of the task during an evaluation. All actions taken by AI agents and external actors (non-player-characters, NPCs) in the open-world environment are logged to streamline evaluation. Here we present two custom tasks on the PAL platform, one focused on multi-step planning and one focused on navigation, and evaluations of agents solving them. In summary, we report a versatile and extensible AI evaluation platform with a low barrier to entry for AI researchers to utilize.


title: Streaming LifeLong Learning With Any-Time Inference

abstract: Despite rapid advancements in lifelong learning (LLL) research, a large body of research mainly focuses on improving the performance in the existing \textit{static} continual learning (CL) setups. These methods lack the ability to succeed in a rapidly changing \textit{dynamic} environment, where an AI agent needs to quickly learn new instances in a `single pass' from the non-i.i.d (also possibly temporally contiguous/coherent) data streams without suffering from catastrophic forgetting. For practical applicability, we propose a novel lifelong learning approach, which is streaming, i.e., a single input sample arrives in each time step, single pass, class-incremental, and subject to be evaluated at any moment. To address this challenging setup and various evaluation protocols, we propose a Bayesian framework, that enables fast parameter update, given a single training example, and enables any-time inference. We additionally propose an implicit regularizer in the form of snap-shot self-distillation, which effectively minimizes the forgetting further. We further propose an effective method that efficiently selects a subset of samples for online memory rehearsal and employs a new replay buffer management scheme that significantly boosts the overall performance. Our empirical evaluations and ablations demonstrate that the proposed method outperforms the prior works by large margins.


title: Observation of low-lying isomeric states in $^{136}$Cs: a new avenue for dark matter and solar neutrino detection in xenon detectors

abstract: We report on new measurements establishing the existence of low-lying isomeric states in $^{136}$Cs using $\gamma$ rays produced in $^{136}$Xe(p,n)$^{136}$Cs reactions. Two states with $\mathcal{O}(100)$~ns lifetimes are placed in the decay sequence of the $^{136}$Cs levels that are populated in charged-current interactions of solar neutrinos and fermionic dark matter with $^{136}$Xe. Xenon-based experiments can therefore exploit a delayed-coincidence tag of these interactions, greatly suppressing backgrounds to enable spectroscopic studies of solar neutrinos and dark matter.


title: Next-generation multi-fluid hydrodynamic model for RHIC BES

abstract: We have developed a next-generation hybrid event-by-event three-fluid hydrodynamic model, suitable for simulations of heavy-ion collisions in the energy range from few up to tens of GeV per colliding NN pair. At such energies the interpenetration time of the nuclei is of the same order as the lifetime of the system, however this model treats the initial phase hydrodynamically. Thanks to that it is more sensitive to the Equation of State than 1-fluid models with initial states being parametrised or generated by transport approach. Hence, our model is well designed for simulations at collision energies, at which matter in vicinity of the QCD critical endpoint is expected. The construction of the model is explained and basic observables like hadron spectra in rapidity and transverse momentum, as well as elliptic flow are calculated.